Model-Based Systems Engineering - McGill University

1 Systems Realization Laboratory 2008, Chris ParedisModel-BasedSystems EngineeringChris ParedisSystems Realization LaboratoryProduct and Systems Lifecycle Management Woodruff School of Mechanical EngineeringGeorgia Institute of Realization Laboratory 2008, Chris Paredis2 Presentation Overview Context: What is Model-Based Systems Engineering ?Why MBSE? A simple model of knowledge and information in MBSE Which kinds of knowledge and information? Information schema Language mappings Abstractions and idealizations Analysis patterns Synthesis patterns Design Workflow Challenges and SummarySystems Realization Laboratory 2008, Chris Paredis3A Systems Approach for Product Development Technology Trends Miniaturization Embedded intelligence Networked connectivity Modularization One subsystem per function Standardized interfaces Systems Approach Increased number of functions New functions by integrating multiple subsystems New architectures(source.)

2 DaimlerChrysler) Systems Realization Laboratory 2008, Chris Paredis4 Traditional Design Approaches Document-centric, systematic information transformations Generally, information is transferred manually between design steps and team members Output is large set of documents Inadequate for contemporary SEPlanning & Task ClarificationConceptual DesignEmbodiment DesignDetail DesignSystems Realization Laboratory 2008, Chris Paredis5 Challenges in Systems Engineering Multiple integrated functions Multiple Engineering disciplines Multiple stakeholders Globally distributed, heterogeneous design teams Complex, emergent system behavior Large quantities of design knowledge and information Need Formal, Model-Based ApproachSystems Realization Laboratory 2008, Chris Paredis6 Presentation Overview What is Model-Based Systems Engineering ?

3 Why MBSE? A simple model of knowledge and information in MBSE Which kinds of knowledge and information? Information schema Language mappings Abstractions and idealizations Analysis patterns Synthesis patterns Design Workflow Challenges and SummarySystems Realization Laboratory 2008, Chris Paredis7 RRRK nowledge & Information in Systems EngineeringRRRRRRRD esignersSuppliersRRRRRRRRRRRRRRRRRRM anufacturingAnalystsImplicitNot Computer-interpretableNot InteroperableCoarse-grainedPDMCAD1 CAD2 FEMP rocessPlanningRSystems Realization Laboratory 2008, Chris Paredis8A Workflow PerspectiveRRRRRRRRRRRRRRRRRRRRRRRRRRRRR RRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRR RRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRR RRRRRRRRRP roduct PerspectiveWorkflow PerspectiveRRRRRRRRRRRRRRS ystems Realization Laboratory 2008, Chris Paredis9 Knowledge & Information in Systems EngineeringInfrastructure:SecurityNotifi cationCommunicationVisualizationInfrastr ucture.

4 SecurityNotificationCommunicationVisuali zationProcessPerspectiveRequirements DefinitionProduct Portfolio PlanningRRRRRRRRRRRRRRRRRRRRM aintenance & SupportRRRRK nowledgeInformationKnowledgeInformationE xecutionPerspectiveGRIDA nalystsAnalystsDesignersDesignersSupplie rsSuppliersManufacturingManufacturingCAD RRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRR RRRRCADFEMP rocessPlanningPDMP roduct PerspectiveInformationKnowledgeInformati onKnowledgeInformationKnowledgeInformati onKnowledgeInformationKnowledgeKnowledge & InformationRepositoriesWorkflowPerspecti veSystems Realization Laboratory 2008, Chris Paredis10 Information EconomicsBenefitCost Information is only valuableto the extent that it leads to better decisions Representation Modeling ComputationBetter designdecision higher utilityDesign Research: Models, Methods, Toolsfor Shifting the Balance towards Higher ValueSystems Realization Laboratory 2008, Chris Paredis11 Presentation Overview What is Model-Based Systems Engineering ?

5 Why MBSE? A simple model of knowledge and information in MBSE Which kinds of knowledge and information? Information schema Language mappings Abstractions and idealizations Analysis patterns Synthesis patterns Design Workflow Challenges and SummarySystems Realization Laboratory 2008, Chris Paredis12 Information Schema Traditionally: tool-specific proprietary schema CAD Finite element modeling Discrete event simulation Few formal representations in SE Standardization : STEP (ISO 10303) Standard for the Exchange of Product data Intent: Reduce the number of translators from N2to N Always lagging behind Overlap and inconsistenciesNot all types of information have been modeled models are changing over ofKnowledge & InformationSystems Realization Laboratory 2008, Chris Paredis13 Example of Standardization: STEPS ystems Realization Laboratory 2008, Chris Paredis14 Federated model (Russell Peak et al.)

6 One single master model is impossible / impractical Evolution Different levels of abstraction Relationships must be fine-grained Not file-basedDomainAbstraction LevelRequirementsStructuresElectronicsHu man InteractionSystems EngineeringModels of varying abstractions and domainsLegendModel interfaces:Associativities among domain-specific models & system -level modelsDevelopment models:Information objectsParametric Bajaj, Peak, & Waterbury2003-09 Customer Realization Laboratory 2008, Chris Paredis15 SysML as a Federated model for MBSE Visual information modeling for Systems Engineering based on UML 2 Used to support system specification, analysis, design, verification and validationUML2 SysML Systems Realization Laboratory 2008, Chris Paredis16 GIT Testbed: Tools and Models Authoring innative tools Integration in SysML Different levels of abstraction Language Mapping Graph transformations ( , Modelica) Direct interface ( , Excel) Systems Realization Laboratory 2008, Chris Paredis17 Related Work: model Integration with SysML.

7 SysML is intended to unify the diverse modeling languages used by Systems engineers. (SysML Specification, 2007) Constrained Objects (Peak et al., 2001, 2005) ModelicaML (Pop et al., 2007) UMLH(Nytsch-Geusen, 2007) Systems Realization Laboratory 2008, Chris Paredis18 Relevant SysML Modeling Constructs Blocks Value types Part properties Value properties Stereotypesbdd Car DefinitionWheelSuspensionShockvaluesdamp ingCoef: RealCarvaluesmass: = 1500 CoilvaluesspringRate: Real requirement ReboundReqtext = When disturbed by m, the suspension shall settle to 5% of steady state in under 1 sec. satisfy values moe settlingTime: Timesuspension valueType = kg coilshockSystems Realization Laboratory 2008, Chris Paredis19 The SysML MetamodelblocksysmlElementsysmlPackageva lueTypeconstraintBlockpropertyumlMultipl icitypartsysmlConnectorvalueconstraintco nstraintPropertysysmlParametersysmlUnitS tringgeneralizationsysmlImportstereotype typepropAssnmulticontainendAssnunitAssnM S work byTommy JohnsonSystems Realization Laboratory 2008, Chris Paredis20 The Modelica MetamodelmodelicaPackageclassmodelicaCon nectormodelicaTypemodelicaUnitequationin itialEquationconnectClausecomponentarray SizemodelicaParameterunitAssnextendscomp ositionmodelicaImporteqnAssnsizetypecomp onentRefSystems Realization Laboratory 2008.

8 Chris Paredis21 The Correspondence MetamodelblocksysmlPackagevalueTypeprope rtysysmlConnectorconstraintmodelicaPacka geclassmodelicaConnectormodelicaTypeequa tioninitialEquationconnectClausecomponen tmodelicaParameterblock2classblock2model icaConnectorvalueType2modelicaTypeproper ty2componentproperty2modelicaParameterco nstraint2equationconstraint2initialEquat ionsysmlConnector2connectClausesysmlPack age2modelicaPackageclassRclassRclassRmod elicaPackageRcomponentRcomponentRequatio nRequationRconnectClauseRblockRblockRblo ckRsysmlPackageRpropertyRpropertyRconstr aintRconstraintRsysmlConnectorRSysMLMode licaCorrespondenceSystems Realization Laboratory 2008, Chris Paredis22 Implementation in RSD/Eclipse Created Java software that.

9 Queries Embedded Plus (E+) SysML CD model Transforms model in VIATRA2 framework Generates Modelica code & simulates in DymolaSystems Realization Laboratory 2008, Chris Paredis23 Implementation in RSD/Eclipse Created Java software that .. Queries Embedded Plus (E+) SysML CD model Transforms model in VIATRA framework Generates Modelica code & simulates in DymolaSystems Realization Laboratory 2008, Chris Paredis24 Implementation in RSD/Eclipse Created Java software that .. Queries Embedded Plus (E+) SysML CD model Transforms model in VIATRA framework Generates Modelica code & simulates in DymolaSystems Realization Laboratory 2008, Chris Paredis25 Implementation in RSD/Eclipse Created Java software that.

10 Queries Embedded Plus (E+) SysML CD model Transforms model in VIATRA framework Generates Modelica code & simulates in DymolaSystems Realization Laboratory 2008, Chris Paredis26 Implementation in RSD/Eclipse Created Java software that .. Queries Embedded Plus (E+) SysML CD model Transforms model in VIATRA framework Generates Modelica code & simulates in DymolaSystems Realization Laboratory 2008, Chris Paredis27 Implementation in RSD/Eclipse Created Java software that .. Queries Embedded Plus (E+) SysML CD model Transforms model in VIATRA framework Generates Modelica code & simulates in DymolaSystems Realization Laboratory 2008, Chris Paredis28 Implementation in RSD/Eclipse Created Java software that.