A Better Design with Model-Based Systems …

1 2018 Maplesoft, a division of Waterloo Maple Inc. A Better Design with Model-Based Systems EngineeringFunctional Verification using system -Level ModelingPaul Goossens, VP, engineering Solutions, MaplesoftAndy Ko, , Manager of engineering Services, Phoenix IntegrationQ&A PanelHisashi Miyashita, PhD, Director of MBSE Development, MaplesoftJoydeep Banerjee, PhD, Application Engineer, Maplesoft 2018 Maplesoft, a division of Waterloo Maple Inc. ReleaseCandidateSystem ValidationSystem IntegrationSubsystem TestUnit TestSystemRequirementsFunctional SpecificationSystem-levelSynthesisSubsys tem DesignDetailed DesignDetailed AnalysisImplementationSoftware/Hardware/ ProcurementUnit Test PlanUnit Test PlanSubsystem Verification PlanSystem Verification PlanSystem Validation PlanCustomer/Market FeedbackDetect Design Issues EarlyAvoid High Cost of Late-stage Design ChangesConceptProductAdapted from: Forsberg, Kevin, Hal Mooz, and Howard Project Management.

2 John Wiley & Sons. Hoboken, NJ. Design & Development Process 2018 Maplesoft, a division of Waterloo Maple Inc. Functional MockupReleaseCandidateSystem ValidationSystem IntegrationSub- system TestUnit TestSystemRequirementsFunctional SpecificationSystem-levelSynthesisSubsys tem DesignDetailed DesignDetailed AnalysisImplementationSoftware/Hardware/ ProcurementCompliance Test PlanConceptProductSystems Design & Development ProcessFunctional VerificationFunctional Verification system -level virtual prototype Multi-domain sub- system integrationIdentify Design issues very early 2018 Maplesoft, a division of Waterloo Maple Inc. par [Block ] VehicleEv alC ontext[PDVehiclePerformance]componentSiz ing:ComponentSizing1<<Cons traintProperty>>Tagsty pe: A naly sisTy pe=A nalysisServ erurl: RhpString=aty pe: //localhost/EV/Look UPMmotorMcoolingMcellPcoolmaxC A cellWnoloadTstallvehiclePerformance:Vehi clePerformance1<<Cons traintProperty>>Tagsty pe: A naly sisTy pe=A nalysisServ erurl: RhpString=aserv: //localhost/EV/testingTstallVA LO megaF reeLoadVA LRangeC A RBA TpowerPEA KBA TpowerA VEINV powerA VEINV powerPEA KC oolingF ractionA v eTEMPPeak TEMPPeak ERRA v eERRP coolingVALR tireVA LMcarVA LJtireVA LC A cellVA LncellVA LTambVA LmcellVA LvehicleWeight:VehicleWeight1<<Cons traintProperty>>Tagsty pe: A naly sisTy pe=A naly sisServ erurl: RhpString=aserv.

3 //localhost/EV/A ddUPMcarMmotorMbodyMcellncellMcoolingbod y1weight:Kilogram=400<<Attr ibute >>batteryCooler1max_cooling_power<<Attr ibute >>motor1angular_velocity_freespin<<Attr ibute >>torque_stoll<<Attr ibute >>batteryModule1numberOfCells:int=10<<Attr ibute >>capacityPerCell<<Attr ibute >>itsAmbient1temp:Kelvin=293<<Attr ibute >>tire1radius:Meter= <<Attr ibute >>inertia:RhpReal= <<Attr ibute >>itsVehicle:Vehicle1weight:Kilogram=1800<<Attr ibute >>range:Meter<<Attr ibute >>Functional MockupSystemRequirementsFunctional SpecificationSystem-levelSynthesisSubsys tem DesignDetailed DesignDetailed AnalysisImplementationSoftware/Hardware/ ProcurementCompliance Test Planreq [Package] Reqs[TopLevel]Performance<<Re quireme nt>>ID = P001T his vehicle performance must be sporty and provide an affordable driving range for inter-city <<Property Ba sedRe quire ment>>ID = P002T he driving range must be longer than 300km in the normal driv e :RhpRea l=300units:RhpString=kmPerformance::Velo city<<Property Ba sedRe quire ment>>ID = P003T he max velocity mus t be larger than 130km/hlowerBound:RhpReal=130units:RhpSt ring=km/hPerformance.

4 Accererlation<<Property Ba sedRe quire ment>>ID = P004T he max vehicle acceralation needs to be larger than 4m/s^2 but must be lowe r than 10m/s ^2lowerBound:RhpReal=4upperBound:RhpReal =10units :RhpString=m/s^2 SystemLimitation<<Re quireme nt>>ID = S001 For safety and regulations , the vehicle mus t conform to the conditions defined hereSystemLimitation::BatteryTemperature<<Property Ba sedRe quire ment>>ID = S002T he battery temperature must be between 250K and 320 KlowerBound:RhpRea l=250upperBound:RhpRea l=320units:RhpString=KSystemLimitation:: VehicleW eight<<Property Ba sedRe quire ment>>ID = S003T he total weight must not excee d 1900kgupperBound:RhpRea l= :RhpString=kgweight:Kilogram=1800<<Attribute>> <<satis fy>>range:Meter<<Attribute>> <<satis fy>>CAD, FEA, CFD, Spice, , MapleSim, , Rhapsody, Design & Development ProcessFunctional Verification 2018 Maplesoft, a division of Waterloo Maple Inc.

5 Domain-Specific (SW)ElectricalMechanicalMulti-domain Systems Design 2018 Maplesoft, a division of Waterloo Maple Inc. Control (SW)ElectricalMechanicalFunctional Verification against formal requirements models 2018 Maplesoft, a division of Waterloo Maple Inc. Maplepar [Block ] VehicleEv alC ontext[PDVehiclePerformance]componentSiz ing:ComponentSizing1<<Cons traintProperty>>Tagsty pe: A naly sisTy pe=A nalysisServ erurl: RhpString=aty pe: //localhost/EV/Look UPMmotorMcoolingMcellPcoolmaxC A cellWnoloadTstallvehiclePerformance:Vehi clePerformance1<<Cons traintProperty>>Tagsty pe: A naly sisTy pe=A nalysisServ erurl: RhpString=aserv: //localhost/EV/testingTstallVA LO megaF reeLoadVA LRangeC A RBA TpowerPEA KBA TpowerA VEINV powerA VEINV powerPEA KC oolingF ractionA v eTEMPPeak TEMPPeak ERRA v eERRP coolingVALR tireVA LMcarVA LJtireVA LC A cellVA LncellVA LTambVA LmcellVA LvehicleWeight:VehicleWeight1<<Cons traintProperty>>Tagsty pe: A naly sisTy pe=A naly sisServ erurl: RhpString=aserv.

6 //localhost/EV/A ddUPMcarMmotorMbodyMcellncellMcoolingbod y1weight:Kilogram=400<<Attr ibute >>batteryCooler1max_cooling_power<<Attr ibute >>motor1angular_velocity_freespin<<Attr ibute >>torque_stoll<<Attr ibute >>batteryModule1numberOfCells:int=10<<Attr ibute >>capacityPerCell<<Attr ibute >>itsAmbient1temp:Kelvin=293<<Attr ibute >>tire1radius:Meter= <<Attr ibute >>inertia:RhpReal= <<Attr ibute >>itsVehicle:Vehicle1weight:Kilogram=1800<<Attr ibute >>range:Meter<<Attr ibute >>req [Package] Reqs[TopLevel]Performance<<Re quireme nt>>ID = P001T his vehicle performance must be sporty and provide an affordable driving range for inter-city <<Property Ba sedRe quire ment>>ID = P002T he driving range must be longer than 300km in the normal driv e :RhpRea l=300units:RhpString=kmPerformance::Velo city<<Property Ba sedRe quire ment>>ID = P003T he max velocity mus t be larger than 130km/hlowerBound:RhpReal=130units:RhpSt ring=km/hPerformance::Accererlation<<Property Ba sedRe quire ment>>ID = P004T he max vehicle acceralation needs to be larger than 4m/s^2 but must be lowe r than 10m/s ^2lowerBound:RhpReal=4upperBound:RhpReal =10units :RhpString=m/s^2 SystemLimitation<<Re quireme nt>>ID = S001 For safety and regulations , the vehicle mus t conform to the conditions defined hereSystemLimitation::BatteryTemperature<<Property Ba sedRe quire ment>>ID = S002T he battery temperature must be between 250K and 320 KlowerBound:RhpRea l=250upperBound:RhpRea l=320units:RhpString=KSystemLimitation.

7 VehicleW eight<<Property Ba sedRe quire ment>>ID = S003T he total weight must not excee d 1900kgupperBound:RhpRea l= :RhpString=kgweight:Kilogram=1800<<Attribute>> <<satis fy>>range:Meter<<Attribute>> <<satis fy>>MagicDraw, to scale MBSE beyond Expert use ? system Architecture (SysML)StructureBehaviorRequirementsPara metric ConstraintsArchitectureDetailed ArchitectureMBSE ExpertsEngineering AnalystsDesign Stakeholders engineering , UX, Software, Business process etcTrade studies, etcImpact AnalysisCompliance TestsMapleMBSEM apleSim 2018 Maplesoft, a division of Waterloo Maple Inc..many stakeholders need to do modeling The aim of Systems engineering is for many stakeholders to collaborate across many disciplines, so modeling tools for non-experts are vitalProject ManagerDesignerMechanical EngineerSoftware [Package] Reqs[TopLevel]Performance<<Re quireme nt>>ID = P001T his vehicle performance must be sporty and provide an affordable driving range for inter-city <<Property Ba sedRe quire ment>>ID = P002T he driving range must be longer than 300km in the normal driv e :RhpRea l=300units:RhpString=kmPerformance::Velo city<<Property Ba sedRe quire ment>>ID = P003T he max velocity mus t be larger than 130km/hlowerBound:RhpReal=130units:RhpSt ring=km/hPerformance.

8 Accererlation<<Property Ba sedRe quire ment>>ID = P004T he max vehicle acceralation needs to be larger than 4m/s^2 but must be lowe r than 10m/s ^2lowerBound:RhpReal=4upperBound:RhpReal =10units :RhpString=m/s^2 SystemLimitation<<Re quireme nt>>ID = S001 For safety and regulations , the vehicle mus t conform to the conditions defined hereSystemLimitation::BatteryTemperature<<Property Ba sedRe quire ment>>ID = S002T he battery temperature must be between 250K and 320 KlowerBound:RhpRea l=250upperBound:RhpRea l=320units:RhpString=KSystemLimitation:: VehicleW eight<<Property Ba sedRe quire ment>>ID = S003T he total weight must not excee d 1900kgupperBound:RhpRea l= :RhpString=kgweight:Kilogram=1800<<Attribute>> <<satis fy>>range:Meter<<Attribute>> <<satis fy>>Integrate models with commonly used spreadsheet interface 2018 Maplesoft, a division of Waterloo Maple Inc.

9 MapleMBSE Intuitive, spreadsheet- based UI for entering detailed system Design definitions Structures Behaviors Requirements Parametric constraints Integration with standard MBSE platforms (egRhapsody, MagicDraw) for rapid impact analysis of Design changes, egconflicting requirements Optimized views for specific tasks Impact Analysis of Requirements FMEA: Failure Mode & Effects Analysis Trade-off studies Structure analysis ( Design Structure Matrix)Excel-baseddevelopment of requirements 2018 Maplesoft, a division of Waterloo Maple Inc. Design Verification with ModelCenterAndy Ko 2018 Maplesoft, a division of Waterloo Maple Inc. Cameo Systems ModelerMapleMBSEP hoenix ModelCenterwith MBSEPakMapleRequirements Compliance TestingMapleSimNo MagicTeamwork Cloud 2018 Maplesoft, a division of Waterloo Maple Inc.

10 Compliance verification demo 2018 Maplesoft, a division of Waterloo Maple Inc. MBSE: Proven business methodology for managing Design complexity, risk and costs MapleMBSE provides Excel- based UI for detailed product definition by a wide range of stakeholders, while maintaining integration with SysMLarchitectural model MapleSim provide rapid functional mockups for verification of complex multidomaindynamic Systems ModelCenterbrings everything together for rapid requirements-compliance testing, trade-off studies, and impact analysis due to changes in Design requirements Convergence of tools helps realize the V processSummary 2018 Maplesoft, a division of Waterloo Maple Inc. Easy implementation of Maple calculation worksheets in ModelCenter. No need to convert to scripts No ModelCenterversion required Automatic detection of inputs and outputs from header information Dimensional units support Support for execution of MapleSimmodels Pre-processing of model parameters model execution Post-processing of resultsFREE Maple Plug-in for 2018 Maplesoft, a division of Waterloo Maple Inc.