ロボット開発におけるSysMLの活用

1 SysML SysML SysML SysML RT Change Vision 2006 2 h5 US Office 66 Front St, Berea, Ohio, 44017, USA 2- 7- 7 HS 8 3- 111 SysML SysML SysML SysML UML SysML.

2 = Systems Modeling Language(SysML) SysML OMG 6 SysML UML UML UML ( ) SysML UML SysML SysML UML SysML 10 IPA/SEC SysML UML [package] [Customer Specification]

3 Req Customer Specification<<requirement>>text = 1 24 7 Id = S1 Operating Environment<<requirement>>text = Id = S2 Availavility<<requirement>>text = Id = Weather Operation<<requirement>>text = 1 23 7 Id = Operation<<requirement>>text = Id = D1 Sensor Decision<<deriveReqt>> <<deriveReqt>> <<testCase>>AvailavilityTest<<verify>> <<block>>Camera<<satisfy>> 11 [2] p312 [package] HUV [ ]bdd ecuiceepctsrm 13 SysML p195.

4 14 [package] [Block Definition Diagram6]bdd : Realvalues : references : partsout : Realin : Realflow properties () : voidoperations{ }constraints flow propertiesoperations<<interfaceBlock>>InterfaceBlock0valuesflow propertiesoperationsBlock39 ibd [block] [ ]ice : epc : tsrm : ecu : ctrl : EPCctrl : TSRM ctrl : ICEepc : ~EPCice : ~ICEtsrm : ~TSRM 15 : : SysML p74 [package] HUV [ ]bdd ecuiceepctsrmibd [block] [ ]ice : epc : tsrm : ecu : ctrl : EPCctrl : TSRM ctrl : ICEepc : ~EPCice : ~ICEtsrm : ~TSRM 16 18 bdd [Package] <<constraint>> K parameters a: Real b: Real c: Real d: Real K: Real <<constraint>> K1 parameters a: Real b: Real K1.

5 Real constraints {K1 = a * b} <<constraint>> K1 * K2 parameters K1: Real K2: Real K: Real constraints {K = K1 * K2} <<constraint>> K2 parameters c: Real d: Real K2: Real constraints {K2 = c * d} eq1 eq2 eq3 OCL 19 par [ConstraintBlock] K eq1 : K1 {K1 = a * b} a b a b eq3 : K2 {K2 = c * d} c d c d eq2 : K1 * K2 {K = K1 * K2} K1 K2 K K K1 K2 20 [package] [ ]bdd t : V : I : Q : parameters<<constraint>> I : R : V : parameters{ E = RI }constraints<<constraint>> t : R : I : Q : parameters{ Q = I * I * R * t }constraints<<constraint>> par [constraintBlock] [ ] : : t : V : I : Q : t : Q : I : R : R : I : V.

6 { E = RI } { Q = I * I * R * t } 21 SysML p137 SysML 4 22 allocate value binding verify satisfy SysML 23 SYSML SysML .. DSL ( .RTC ) (Modelica, ) S/W,H/W SysML.

7 Analysis Design Implementa\on astah SysML Implementa\on DSL SysML RT (1) RTC Plugin Component spec. SysML requirements SysML Requirements SysML Use cases SysML Use cases another RTM OpenRTM- aist SysML Component (block) SysML Components (Block) RTC source codes (Skeleton) Executable RTC RTC source codes (Skeleton ) SysML requirements SysML Context (Block) FSM astah RTM SysML STMs Executable RTC RTCB uilder RTSystemEditor SysML Component (block) RTCs SysML Component (block) RTCs FSM RTC FSMs Restore connectors DSL SysML RT (2)

8 SysML RTC = / SysML RTC / OpenRTM-aist DSL SysML RT (3) RTC RTC SysML RTC RTC RTS RTS DSL SysML RT (4) OMG RTC Finite State Machine for RTC FSM4 RTC OMG RTC FSM Diagrams Internal Block Diagram Block Definition Diagram Requirement Diagram Requirement Table Parametric Diagram UseCase Diagram Activity Diagram Statemachine Diagram Sequence Diagram Mind Map Input-Output Printing, Print options, Print Preview Exporting to JPEG, PNG, EMF, SVG files Exporting Mind Map to PowerPoint System Requirements 20 270 2014 astah SysML version.

9 SysML / RTC Astah SysML was made possible in part from a grant from the Measures to Support Global Technical Collaboration program IEC 61508 SysML SysML ( ) SysML Goal Structuring Nota\on GSN Goal Structuring Nota\on ex) /ISO26262 GSN SysML Example GSN Control System is acceptably safe to operateG1 Operating Role and ContextC1 Control System DefinitionC2 Tolerability targets (Ref Z)C3 All identified hazards have been eliminated or sufficiently mitigatedG2 Hazards identified from FHA (Ref Y)C4 Argument over each identified hazardsS1 Hazard H1 has been eliminatedG4 Probability of Hazard H2 occuring < 1x10-6 per yearG5 Formal VerificationSn1 AAll hazards have been identifiedA1 Goal(Claim)

10 ContextAssumptionSolution(Evidence)Strat egySupportedByInContextOfProbability of Hazard H3 occuring < 1x10-3 per yearM2 ModuleGSN COMMUNITY STANDARD VERSION 1 SysML Context Diagrams GSN Diagram Input-Output Printing, Print options, Print Preview Exporting to JPEG, PNG, EMF, SVG files Exporting Mind Map to PowerPoint NOTE Astah GSN is currently in its alpha release, diagrams and features may be changed without notice. Any file created with Astah GSN alpha may not be compatible with future releases. System Requirements *Astah GSN was made in collaboration with AIST GSN (Goal Structuring Notation) is a graphical notation developed at the University of York for specifying safety cases for safety critical systems.