model-driven innovation

© 2017 Maplesoft, a division of Waterloo Maple Inc.

Model-Driven InnovationThe Role of Multi-domain Dynamic Models for Functional Verification in Model-based Systems Engineering (MBSE)

Paul Goossens, VP, Engineering Solutions, MaplesoftJoydeep Banerjee, Application Engineer, MaplesoftAndy Ko, Ph.D., Manager of Engineering Services, Phoenix Integration

NIST MBE Summit 2017, Gaithersburg, MD


ReleaseCandidate

System Validation

System Integration

Subsystem Test

Unit Test

SystemRequirements

Functional Specification

System-levelSynthesis

Subsystem Design

Detailed Design

Detailed Analysis

ImplementationSoftware/Hardware/

Procurement

Unit Test Plan

Unit Test Plan

Subsystem Verification Plan

System Verification Plan

System Validation Plan

Customer/Market Feedback

$

$$$$$

Detect Design Issues Early

Avoid High Cost of Late-stage Design Changes

Design-change costs increase significantly when required later in the development process

Systems Design & Development Process

Concept Product

$$$$

Adapted from: Forsberg, Kevin, Hal Mooz, and Howard Cotterman.Visualizing Project Management. John Wiley & Sons. Hoboken, NJ. 2005.


req [Package] Reqs

Performance<<Requirement>>

ID = P001

This vehicle performance must be sporty and provide an affordable driving range for inter-city mobility.

DrivingRange<<PropertyBasedRequirement>>

ID = P002

The driving range must be longer than 300km in the normal drive mode.

lowerBound:RhpReal=300units:RhpString=km

Performance::Velocity<<PropertyBasedRequirement>>

ID = P003

The max velocity must be larger than 130km/h

lowerBound:RhpReal=130units:RhpString=km/h

Performance::Accererlation<<PropertyBasedRequirement>>

ID = P004

The max vehicle acceralation needs to be larger than 4m/s^2 but must be lower than 10m/s^2

lowerBound:RhpReal=4upperBound:RhpReal=10units:RhpString=m/s^2

SystemLimitation<<Requirement>>

ID = S001

For safety and regulations, the vehicle must conform to the conditions defined here

SystemLimitation::BatteryTempera<<PropertyBasedRequirement>>

ID = S002

The battery temperature must be between 250K and 320 K

lowerBound:RhpReal=250upperBound:RhpReal=320units:RhpString=K

SystemLimitation::VehicleWeight<<PropertyBasedRequirement>>

ID = S003

The total weight must not exceed 1900kg

upperBound:RhpReal=19...units:RhpString=kg

weight:Kilogram=1800<<Attribute>>

<<satisfy>>

range:Meter<<Attribute>>

<<satisfy>>

Model-based Systems Engineering vs Model-based Engineering

I say “system engineering”, you say “systems engineering”.…Let’s call the whole thing off…

With apologies to George and Ira…


Model-based Systems Engineering vs Model-based Engineering

Architectural ModelsAnalytical Models

Consistency: Faithful to all known and relevant aspects of the system at the current time


ReleaseCandidate

System Validation

System Integration

Subsystem Test

Unit Test

SystemRequirements



Subsystem Design

Detailed Design

Detailed Analysis


Procurement

Unit Test Plan

Unit Test Plan

Subsystem Verification Plan

System Verification Plan

System Validation Plan

Customer/Market Feedback

Systems Design & Development ProcessFunctional Verification

Concept Product


Functional Mockup

ReleaseCandidate

System Validation

System Integration

Sub-system Test

Unit Test

SystemRequirements



Subsystem Design

Detailed Design

Detailed Analysis


Procurement

Compliance Test Plan

Concept Product



Functional Mockup

SystemRequirements



Subsystem Design

Detailed Design

Detailed Analysis

Integration

Verification

Validation


Procurement

Compliance Test Planreq [Package] Reqs


ID = P001



ID = P002




ID = P003




ID = P004




ID = S001



ID = S002




ID = S003




<<satisfy>>


<<satisfy>>

CAD, FEA, CFD, Spice, Saber…

Maple, MapleSim, Simulink…

DOORS, Rhapsody, MagicDraw…



Functional Mockup

SystemRequirements



Subsystem Design

Detailed Design

Detailed Analysis


Procurement

Compliance Test Planreq [Package] Reqs


ID = P001



ID = P002




ID = P003




ID = P004




ID = S001



ID = S002




ID = S003




<<satisfy>>


<<satisfy>>

CAD, FEA, CFD, Spice, Saber…

Maple, MapleSim, Simulink…

DOORS, Rhapsody, MagicDraw…

ModelCenter



Domain-Specific Design

MCADeCAD/EDASoftware …

Control (SW)

Electrical

Mechanical

Multi-domain Systems Design


Control (SW)

Electrical

Mechanical

Modelica: Object-oriented Physical Modeling


Control (SW)

Electrical

Mechanical

Functional Verification against formal requirements models


Post-Processing

Dynamic Load Analysis

Vibration Analysis

Inverse Kinematics and Dynamics

Motor Sizing

Symbolic Tools for Design-space Exploration


PHX ModelCenter


PHX Systems Engineering Integration Module

• Connect systems architecture models with engineering analyses to calculate system performance, check requirements, and perform design trade-offs

• Capabilities– Execute SysML parametric diagrams to evaluate designs– Perform requirements compliance analysis using modeling and simulation– Perform design trade-off studies– Update SysML models with analysis results– Import engineering analyses into a SysML model

bddreq

paract

Systems Engineering:Architectural Model

Domain Engineering:Executable Analysis Model

Engineering Analysis

MBSE Analyzer


Electric Vehicle: Battery System Thermal Performance

Stored Energy• Battery Capacity• State-of-Charge• Affects driving range

Temperature Control• Heat flow to/from battery• Thermal effects on battery performance• Active/passive cooling system

Battery Power Electronics and Cooling


Electric Vehicle: Battery System Thermal Performance

Safety requirements

Performance requirements

• Battery must operate in a safe temperaturerange

• Roll / pitch acceleration must be under acertain target

• Stopping distance should not be more thana specific target

• Maximum acceleration / speed should be more than designated targets.

• Must be operable within a designated range

Battery requirements

Cooling system

requirements

• Battery mass, energy density• Max/min operating temperature• Max/min peak temperature• Efficiency vs SOC characteristics• State of Health characteristics

• Heat transfer characteristics• Maximum heat transfer rate• Temperature control system• Multi-component cooling• Maximum weight of the system• Critical temperature detection


Architectural ModelRequirement Diagram


Block Definition Diagram (1)Context Def.


Block Definition Diagram (2)


Architectural Model Parametric Diagram


The Satisfy Relationship with Requirements


Analytical ModelMulti-domain System-level Dynamics


Normal Loading25°C Ambient, Gentle Grades

Time [sec] Time [sec]

Driveshaft Torque [Nm]

Vehicle Speed [km/h] and Altitude [m] Battery Temperature [°C] and Cooling System State [on/off]

Battery State of Charge [0-1]

Max Battery Temperature


Extreme Loading35°C Ambient, Steep Grades

Driveshaft Torque [Nm]

Vehicle Speed [km/h] and Altitude [m] Battery Temperature [°C] and Cooling System State [on/off]

Battery State of Charge [0-1]

Time [sec] Time [sec]

Max Battery Temperature


Requirements Compliance Testing

© 2017 Maplesoft, a division of Waterloo Maple Inc. PHX System Engineering Integration Module

ModelCenter

Maple

Requirements Compliance Testing

Rhapsody

MapleSim


• MBSE: Process is being increasingly automated through architectural modeling tools

• MapleSim provide rapid functional verification of complex multidomain dynamic systems

• Maple provides powerful environment for data pre- and post-processing as well as managing executable requirements

• ModelCenter brings 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 Systems Design (“V“) process

Summary


Thank You

Questions?

model-driven innovation

Documents