Introduc)on to System Engineering The SysML language Toward … · 2016-12-10 · AP-233, INCOSE, Georgia InsZtute of Technology, AFIS, … Nicolas Belloir 11 décembre 2016 15 UML:

Plan

Introduc)ontoSystemEngineering

TheSysMLlanguage

TowardandintegratedMBSE

Conclusion

Acasestudy

2NicolasBelloir 11décembre2016

SystemEngineering

  NotSo5wareEngineering…

  …BeforeSo5wareEngineering!

  Ford1911

  AT&T1940

  USARMY1962


SystemEngineering

  NotSo5wareEngineering…

  …BeforeSo5wareEngineering!

  Inthedevelopmentprocess

So5.Eng.Oneofthesub-systems


AComplexSystem

  Setofhumanandmaterialelementscomposedofvarioustechnologies  Computer,Hydraulic,Electronic,…

  Integratedtoprovideservicestoitsenvironmentcorrespondingtothesystemfinality

  Interac)ngbetweenthemselvesandtheenvironment

AcomplexsystemisverydifferentfromasimplesoBwaresystem

Aerodynamics

Authorities

Avionics

Safety Regulations

Airlines

Propulsion System

Mechanical Structure

Environmental Impact

Navigation Communications

Human-Machine

Interaction

5

Multipleconcerns,

stakeholders, tools and methods

©B.Combemale

6

Aerodynamics

Authorities

Avionics

Safety Regulations

Airlines

Propulsion System

Mechanical Structure

Environmental Impact

Navigation Communications

Human-Machine

Interaction

Heterogeneous Modeling

©B.Combemale


SystemModeling

7

Requirements Functional and/or Behavioural Model

Ground Take Off

Landing Flying

Structural Model

Engine Flying Command

Brakes Flaps

Performance Model

Data Acquisition

Equations

Reactions

Other Engineering Analysis Models

Cost Model

Security Model

Business Model

…

? OK


SystemsofSystems

  Asystem  ShouldmanageinteracZonsbetweenparts

  Supportexpectedbehavior  Handleunexpectedones


SEpracZcesformodelingsystems

  SpecificaZons  RequirementDefiniZon  SystemDesign

  Analysis  TestPlans

After

Before*

Moving from Document centric To Model centric

Generatelotofwri)ngwork

Notadaptedtodiscusswithinamul)-domainteam

• 2001, Human Centrifuge, DO 178 B

•  Total documenation : 1.2 m hight

EasytoreadAdapted to numerous team

“neutral” language Only one source


DoesUMLgoodenoughformodelingsystems?

  UMLagoodbasis  DefactostandardinSo5wareEngineering  Providesalotofusefulconceptstodescribeacomplexsystem  Stableandextensible-canbeadaptedfortheSEneeds  Lotofavailabletools

  But…  LackofseveralkeyconceptsofSE  UMLvocabularyistoo«so5ware-like»tobeusedbySystemEngineers

  Toomanydiagrams(13differentkinds)

 =>SysML

Plan


TheSysMLlanguage


Conclusion

Acasestudy


SysML:idenZtycard

  Dateofbirth:2001!

  Currentversion:1.4(September2015)

  Parents  OMG/UML+INCOSE

  Leadingauthors  ConradBock  CrisKobryn  SanfordFriedenthal


SysML/UML

  RelaZonshipbetweenthetwo


SysML:who’sbehind

  Industry  AmericanSystems,BAESystems,Boeing,Deere&Company,EADSAstrium,Eurostep,IsraelAircra5Industries,LockheedMarZn,Motorola,NIST,NorthropGrumman,oose.de,Raytheon,Thales,…

  Toolvendors  ArZsan,EmbeddedPlus,Gentleware,IBM,MentorGraphics,PivotPointTechnology,SparxSystems,vitech,…

  OtherorganisaZons  AP-233,INCOSE,GeorgiaInsZtuteofTechnology,AFIS,…


UML:13diagrams(in2001)


SysML:13-7+2=9diagrams

16

Block Definition Diagram

Internal Block Diagram

Parametric Diagram

Requirement Diagram


SysMLdiagrams

17 Master Technologies de l'Internet - 2ième année 17

Same as UML

Modified from UML

New


SysMLdiagramframes

  EachSysMLdiag.representsamodelelement

  EachSysMLdiag.musthaveaDiagramFrame  Diagramcontextisindicatedintheheader:  Diagramkind(req,act,bdd,ibd,sd,etc.)

  Modelelementtype(package,block,acZvity,etc.)

  Modelelementname  Userdefineddiagramnameorviewname

  AseparatediagramdescripZonblockisusedtoindicateifthediagramiscomplete,orhaselementselided


SysMLdiagramframes(e.g.)

header

content

diag. type diag. name


SysMLstructurediagrams

  Package  BlockDefini)on  InternalBlock  Parametric


BlockDefiniZonDiagrams(bdd)

  Classesaredead…welcometoblocks!  Canbeanything(System,Hardware,So5ware,Data,Procedure,Facility,Person)

  SaZsfySystemsEngineers


BlockDefiniZonDiagrams(bdd)

  Compartments  ProperZes  OperaZons  Constraints  AllocaZons  Requirements

  Userdefined!

  BlocksDefiniZonDiagrams  DescriberelaZonsbetweenblocks(composiZons,generalizaZons…)

  InternalBlockDiagrams  Describeinternalablockstructurewithparts,portsetconnecteurs

BlockDefiniZonvs.Usage


SysMLPorts(cont.)


SysMLPorts(delegaZon)

  topreserveencapsulaZonofblock

  interacZonsatouterportsaredelegatedtoportsofchildparts

  portsmustmatch  samekind,type,direcZon,etc.

  connectorscancrossboundarywithoutrequiringportsateachlevelofnestedhierarchy


SysMLPorts(e.g.)


SysMLPorts(e.g.)


ParametricDiagrams(par)

  ToexpressconstraintsbetweenvalueproperZes  equaZons  supportforengineeringanalysis(e.g.,performance)  idenZficaZonofcriZcalperformanceproperZes

  ConstraintblockcapturesequaZons  Expressionlanguagecanbeformal(e.g.,MathML,OCL)

  ComputaZonalengineisnotprovidedbySysML

  Parametricdiagram  usageoftheconstraintsinananalysiscontext


Parametrics(e.g.1)


Parametrics(e.g.2)


SysMLbehavioraldiagrams

  UseCase  Sequence  StateMachine

  Ac)vity


StateMachineDiagrams(stm)

  FewmodificaZons


AcZvityDiagrams(act)

  Tospecify  controlledsequenceofacZons  theflowofinputs/outputs  control,includingsequenceandcondiZonsforcoordinateacZviZes

  Swimlanes  toshowresponsibilityoftheacZvity


AcZvityDiagrams(cont.)

  ImprovementsfromUML:

  conZnuousordiscreteflow

  controloperators  tostart/stopotheracZons

 OverwriteandNoBufferports  forconZnuousflows

 probabiliZesontransiZonsorparameters


AcZvityDiagrams(e.g.)


AcZvityDiagrams(e.g.)


SysMLcross-cuongconstructs

  AllocaZon

  RequirementDiagrams


AllocaZon

  Generalrela)onshipbetweentwoelementsofthemodel

  DifferentkindsofallocaZon:  FuncZonality-component

  Logicalcomponent–physicalcomponent

  So#ware–hardware  …

  Usableinalotofdifferentdiagrams

  UsableundergraphicalortabularrepresentaZon


AllocaZon(e.g.)

  Useofswimlanes


NotaZonsamples


AllocaZonfromso5waretohardware


AllocaZonexplicitedecomportements

•  UZlisaZondesswimlanes(parZZons)


RequirementDiagrams(req)

  <<requirement>>allowstorepresentatextbasedrequirement  IncludesoneidenZfieridandsometextualproperZes  CanadduserdefinedproperZes  Canadduserdefinedrequirementcategories

  Requirementscanbe  decomposed  specialized

  RequirementrelaZonships  «deriveRqt»,«refine»  «saZsfy»,«verify»  «trace»,«copy»


RequirementDiagrams(e.g.)


RaZonalandProblems


RequirementsTables


ThefourpillarsofSysML


Links

Plan


TheSysMLlanguage


Conclusion

Acasestudy

©LauraE.Hart,IntroducZonToModel-BasedSystemEngineering(MBSE)andSysML,INCOSEChapterMeeZng,July302015


IntroducZon

  SysMLnotaZonandtoolsarenotenough

Documentation Tools

Requirements Tools

Analysis Tools

Collaborative Tools

SysML DOORS, Goal, … Doc2Gen, asciidoc, LaTeX, …

MatLab, Simulink, … Redmine, ModelBus, SVN, Git

Rhapsody, Topcased, …


Model-basedSystemsEngineering

“Model-basedsystemsengineering(MBSE)istheformalizedapplicaZonofmodelingtosupportsystemrequirements,design,analysis,verificaZonandvalidaZonacZviZesbeginningintheconceptualdesignphaseandconZnuingthroughoutdevelopmentandlaterlifecyclephases.”

INCOSESEVision2020(INCOSE-TP-2004-004-02,Sep2007)


TowardMBSE

  Model-BasedSystemEngineering  Ongoingandstressedwork  SupportedbyINCOSE  SystemEngineering2025,INCOSE,hKp://www.incose.org/docs/default-source/aboutse/se-vision-2025.pdf

©SystemEngineeringVision2025,INCOSE


TrendsofEmergingSystemProper)es

©SystemEngineeringVision2025,INCOSE


Needsof

  CollaboraZveengineering  FullysupportedMul)-desciplinaryengineering

  ArchitecZngComplexSystem  ArchitecZngwillincorporatedesignapproachesforsystemstoperformtheirintendedfuncZoninthefaceofchangingcircumstancesorinvalidassumpZons

  Systemarchitecture,designandanalysisisintegratedacrossdisciplines,domainsandlifecyclephasestoprovideasingle,consistent,unambiguous,systemrepresenta)on


Needsof

  SystemDesignInaSystemofSystemsContext  Techniquesforanalyzinginterac)onsamongindependentsystemsandunderstandingemergentbehaviorsinSoSmustbecomemature

  Requirementsmanagementwillevolvetoaddressmorediversestakeholders

  CyberSecurity  Cybersecuritymustbecomeafundamentalsystemavributethatsystemsengineersunderstandandincorporateintodesignsusingwell-idenZfiedstrategies

  requiresunderstandingtheboundaryofthesystemandanalyzingwhatporZonsofthatboundaryneedtobeprotected


Needsof

  SimulaZonandvisualizaZon  Modeling,simula)on,andvisualizaZonenablecomplexsystemunderstandingthathelpusanZcipateandverifysolu)onsandtheircostbeforebuildingthem.

  IntegratedModel-basedApproaches  Model-basedSystemsEngineeringwillbecomethe“norm”forsystemsengineeringexecuZon,withspecificfocusplacedonintegratedmodelingenvironments.

  Tools   SystemsengineeringtoolswillfacilitatesystemsengineeringpracZcesaspartofafullyintegratedengineeringenvironment


SysMLisaSpecificaZon



BeforeSysMLanalysis

©M.Ahamd,N.BelloiretJMBruel.«ModelingandverificaTonofFuncTonalandNon-FuncTonalRequirementsofambientSelf-AdapTveSystems».JournalofSystemsandSo[ware,Elsevier,volume107,pages50-70,sept2015.


SysMLisaSpecificaZon



SimulaZonwithArZsan

© Pascal Roques, « Modélisation de systèmes complexes avec SysML », Eyrolles


SysML2ModelicatransformaZon

An equation-based object-oriented language for modeling and simulation of physical systems

© Paredis and Al., « An Overview of the SysML-Modelica Transformation Specification », INCOSE, 2010

Plan


TheSysMLlanguage


Conclusion

Acasestudy


Conclusions

  SysMLis:  aspecificlanguageforcomplexsystems

  stronglyUML-Based  focusingonspecificaZonandfirstlevelanalysis

  SysMLisnot:  amethod

  justaUMLprofile

  sufficientinitself


Conclusions

  SysMLmightbecome

  IntegratedwithinacompletemulZ-domainengineeringtoolchain

  Atargetforrequirementsanalysisresults

  IncorporaZngnonfuncZonaltopicslikecyber-securityconcerns

  AcentralspecificaZonmodelintoamoregeneralSystemEngineeringapproach

 Model-baseddriven

FIN

Contact:[email protected]

Plan


TheSysMLlanguage


Conclusion

Acasestudy © Pascal Roques, « Modélisation de systèmes complexes avec SysML », Eyrolles


Casestudies:theAlarmClock

  AllfollowingdiagramswereextractedfromthePascalRoques‘sBook

RadioClockexample(cont.)

68

©PascalRoques,«ModélisaZondesystèmescomplexesavecSysML»,Eyrolles


Requirements



Requirements



Requirements



Diagrammedecontexte



Casd’uZlisaZon

PascalRoques,«ModélisaZondesystèmescomplexesavecSysML»,Eyrolles







Contraintes

76



AllocaZons


Documents

Introduc)on to System Engineering The SysML language Toward … · 2016-12-10 · AP-233, INCOSE, Georgia InsZtute of Technology, AFIS, … Nicolas Belloir 11 décembre 2016 15 UML: