Bridging the gap between SysML tools and Simulink within System Engineering context

Transcription

1 Bridging the gap between SysML tools and Simulink within System Engineering context Ascension Vizinho-Coutry, Application Engineering Manager MathWorks France 2014 The MathWorks, Inc. 1

2 Requirements = f(needs) Maintenance System architects Marketing & Customers Suppliers REQUIREMENTS Operations Integration Regulations 2

3 Outline SysML and Simulink Large-Scale Modelling and Project Management with Simulink Requirements modelling and testing Multi-Domain Simulations 3

4 SysML? Abstract Detailed System Structure SysML System Behavior Requirements Diagram Structure Block Definition Behavior Activity Internal Block Use Case Parametric State Machine Package Sequence 4

5 What about Simulink? Abstract Detailed Designed System Structure SysML System Behavior System Design Simulink 5

6 Use case of EA to Simulink Automated Teller Machine (ATM) example EA Sequence Diagram Simulink Stateflow Sequence Diagram in Simulink 6

7 7

8 3 typical workflows (3) Traceability * (1) modeling (2) verification * Bi-Directional Trace via RMI (in Simulink Verification & Validation) (1) Automatic generation of Simulink models from SysML diagrams (2) Automatic verification of data consistency (3) Traceability between SysML diagrams and Simulink models 8

9 Completeness Analysis through Insight Simulation Abstract Functional Behavior (Stateflow and SimEvents) Assertion of Expected Behavior (Simulink) Signal Ranges, System Performance and Robustness Formal Methods Analysis Prove properties Generate tests Work out possible ranges 9

10 General Motors Large-Scale Models and Team Development The Simulink models served as a single source of truth for teams around the world, says Greg Hubbard, senior manager, Hybrid and Electric Drive Controls, GM. 10

11 Projects in Simulink Environment to support file management and team-based collaboration Peer review workflow Simplified configuration management Tools for: Dependency analysis Project consistency checking Metadata tagging Model differencing Connection to Apache Subversion and other version-control software using common API v2.0 v3.1 v2.0 v3.1 Repository 11

12 Model Variants Variants 12

13 Airbus Develops Fuel Management System for the A380 Using Model-Based Design The Simulink and Stateflow models enabled us to validate requirements early and communicate the functional specification to our suppliers, complementing the written requirements in conformance with ARP 4754, says Christopher Slack, Airbus Airbus A380, the world s largest commercial aircraft. 13

14 Requirements Traceability Requirements Confirm the relationship of design items with requirements Control Plant Closed-Loop Prototype Component Models C Elaborated Components (fixed-point, error handling etc.) Component Source Code 14

15 Eurocopter Uses Model-Based Design to Accelerate Development of DO-178B Certified Systems Using Simulink for systems and software development has provided efficient means to validate the requirements and design the system and saves time on verification and validation. Ronald Blanrue Eurocopter Group Avionic System Avionic Certification/EADS Expert 15

16 One Single Modeling Environment for Multidomain Systems Modeling domains Continuous-time System elements System environment Discrete-time Simulink Discrete-event SimEvents State machine Simscape SimElectronics SimMechanics Stateflow Simulink Physical models SimHydraulics SimDriveline Text-based MATLAB Digital hardware Analog/RF hardware Embedded software Mechanical systems 16

17 Modeling the Design and Requirements Design Requirements Verification Algorithm Properties/Test Specification C Verification Model (Reference Design) 17

18 Dynamic behavior System insight Image Sources: Peter Jackson on Flickr, License CC-BY 18

19 Key Take Aways Find errors thanks to Multi-Domain Simulations One single environment for Requirements and System Modelling and Simulation MATLAB/Simulink Open Environment facilitating the connectivity with Third-Party Tools 19

20 20