Tool Vendor Perspectives SysML Thus Far

Transcription

1 Frontiers 2008 Pnel Georgi Tec, Tool Vendor Perspectives SysML Thus Fr Hns-Peter Hoffmnn, Ph.D Chief Systems Methodologist Telelogic, Systems & Softwre Modeling Business Unit

2 Tool Vendor Perspectives SysML Thus Fr SysML defines the stndrdized vocbulry of the lnguge for model-bsed systems engineering. As stndrd, this vocbulry needs to cover ll possible pplictions. SysML does not specify, how to pply these words. Systems engineering is strongly communiction-driven. Systems engineers hve to communicte with stkeholders from different domins, e.g. - mechnicl engineers - electricl engineers - softwre engineers, - test engineers, nd not to forget - customers, who not necessrily hve n engineering bckground. In such n environment it is prmount to keep the lnguge domin independent nd esy understndble. Complince to stndrd does not men tht ll elements of this stndrd hve to be pplied. It is recommended to stndrdize the usge of the SysML within the orgniztion, if compny wnts to deploy SysML-bsed systems engineering. 2

3 Tool Vendor Perspectives SysML Thus Fr In mny cses, customers - even if they re quite fmilir with the SysML - struggle with the usge of the pproprite SysML digrms becuse there is n overlp between the different digrms. Key for successful usge of the SysML is systems engineering process tht is n integrl prt of the model-driven development (MDD) process. The systems engineering process should define the essentil SysML rtifcts tht re needed to enble semless trnsition to the subsequent HW/SW development, e.g. Telelogic Integrted System/Embedded Softwre Development Process Hrmony. Our recommendtion is, tht the OMG, INCOSE, nd ssocited groups should ddress this issue in respective forums. 3

4 Tool Vendor Perspectives SysML Thus Fr Key requirement for model-bsed systems engineering is model execution. - In the functionl nlysis phse, model execution ssures tht the requirements re correct, complete, nd unmbiguous. - In the design synthesis phse, model execution verifies nd vlidtes the system rchitecturl design incl. ssocited interfces. The OMG is working on this topic. The Telelogic tool Rhpsody lredy supports model execution. Importnt is, tht model execution does not require tht the user hs to write code. With regrd to model execution, SysML prmetric digrms lso need to be executble. Currently, engineers put lot of effort in to produce decent prmetric digrm, but it does nothing s result of ll this work. Wht is gined is n understnding of the mthemticl principles which govern prticulr problem, but it cnnot be tken ny further. 4

5 5 Bckup Slides

6 Rhpsody 7.2 Advnces in Systems Engineering

7 Advnces in Systems Engineering OMG SysML 1.0 enhncements to better orgnize nd communicte informtion effectively Requirements Tbles, Alloction Tbles, N-2 Mtrix Vlue Types, Dimensions, Units help in trde study nlysis XMI 2.1 for SysML Independently certified by NIST (Ntionl Institute of Stndrds nd Technology) Improved design consistency Improved user interfce to pinpoint design errors in model Crete customizble checks to ensure complince to compny/project stndrds Integrted grphicl pnels vlidte design correctness 7

8 Tbles nd Mtrix Views Orgnize lrge mounts of informtion concisely Requirements tbles summrize requirements informtion Alloction tbles show key informtion how blocks re llocted N-2 mtrices show how model elements re connected Define tbles nd mtrices to orgnize ny desired informtion 8

9 Vlue Types, Units, Dimensions Model physicl dimensions nd mesurement units Enble trde study nlysis of different designs by compring units Ensure proper units re being used for system integrtion nd prmetrics Stndrd SI librry includes stndrd units 9

10 Improved Model Consistency Checks Check for completeness, model integrity nd correctness of the design Design qulity into the model Configure the check model dilog esily Nvigte directly to model errors Include your own check scripts to ensure the design meets your compny stndrds 10

11 Grphicl Pnels Crete mock ups of interfce to effectively communicte intended design behvior to customers Esily modify, monitor nd nlyze dt vlues during simultion to ensure the design is correct erly in the process 11

12 Hrmony/SE Model-Bsed Systems Engineering

13 Integrted System / Embedded Softwre Development Process Hrmony Model-Driven Development of Embedded Systems System Chnges Stkeholder Requirements Systems Engineering Hrmony/SE Scenrios System Acceptnce Model / Requirements Repository * Requirements Models Use Cse Model Executble Use Cse Models Architecturl Anlysis Model(s) Executble System Architecture Model Requirements Anlysis System Architecture Bseline Softwre Implementtion Model Systems Anlysis & Design SW Anlysis & Design SW Implementtion & Unit Test Test Module Integrtion & Test (Sub-)System Integrtion & & Test Test Softwre Engineering Hrmony/ESW System Acceptnce * Configurtion Controlled Knowledge of the System Under Development: Requirements Documenttion Requirements Trcebility Design Documenttion Test Definitions 13

14 Essentil SysML Artifcts for Model-Bsed Systems Engineering SysML Digrm Structurl Digrms Behviorl Digrms Requirements Digrm Block Definition Digrm Use Cse Digrm Internl Block Digrm Sequence Digrm Prmetric Digrm Activity Digrm UML4SysML Sttechrt Digrm UML 2.1 SysML

15 Model-Bsed Systems Engineering (Hrmony/SE ) Artifct Reltionships t the Requirements Anlysis / Functionl Anlysis Level Requirements Digrm Use Cse Digrm * 1 Structure Digrm Block Definition Digrm Internl Block Digrm * Use Cse * Sequence Digrm 2..* Block 1 Activity Digrm 1 1 Sttechrt Digrm Requirements Anlysis Functionl Anlysis 15

16 Key Objectives of the Model-Bsed Systems Engineering Process Hrmony/SE Stkeholder Requirements Requirements Anlysis Systems Engineering Hrmony/SE Scenrios Identify / derive required system functionlity Identify ssocited system modes nd sttes Systems Anlysis & Design Allocte system functionlity / modes to physicl rchitecture 16

17 Model-Bsed Systems Engineering (Hrmony/SE ) Requirements Anlysis Stkeholder Requirements Stkeholder Requirements System Requirements Requirements Anlysis System Use Cses In the Requirements Anlysis phse, the focus is on the nlysis of the process inputs. Customer requirements re trnslted into set of requirements tht define - wht the system must do (functionl requirements) nd - how well it must perform (qulity of service requirements). Model / Requirements Repository Once the requirements re sufficiently understood they re grouped into Use Cses. Generte System Req s Define System Level Use Cses Anlyze/Refine Stkeholder Req s Stkeholder Requirements Specifiction Crete Trcebility between Stkeholder nd System Req s System Requirements Specifiction (Drft) Link Req s to Use Cses Links providing trcebility to originl requirements 17

18 Model-Bsed Systems Engineering (Hrmony/SE ) System Functionl Anlysis Stkeholder Requirements System Requirements System Use Cse Model(s) Use Cse Scenrios (Blck-Box) Requirements Anlysis System Use Cses System Functionl Anlysis (Use Cse-Bsed) System-Level Opertions In the System Functionl Anlysis phse, the focus is on the trnsltion of the functionl requirements into coherent description of system functions (Opertions ). Ech use cse is trnslted into model nd the underlying requirements verified nd vlidted through model execution. Define Use Cse Model Context Define UC Functionl Flow Derive UC Scenrios from UC Functionl Flow Define Ports nd Interfces Derive UC Stte-Bsed Behvior from UC BB-AD nd BB-SDs UC Internl Block Digrm UC Internl Block Digrm Model / Requirements Repository Verify / Vlidte UC Model trough Model Execution Link UC Block Properties to Req s UC Blck-Box Activity Digrm UC Blck-Box Sequence Digrm UC Sttechrt Digrm Links providing trcebility to originl requirements [Next Use Cse] [else] Merge Use Cse Blocks in SuD Block System Requirements Specifiction ( Bselined) 18

19 Model-Bsed Systems Engineering (Hrmony/SE ) Design Synthesis System Use Cse Model(s) Use Cse Scenrios (Blck-Box) Architecturl Anlysis Model(s) UC Activity Digrm(s) (Blck-Box) Use Cse Scenrios (Blck-Box) System Architecture Model Scenrios (White-Box) System Functionl Anlysis (Use Cse-Bsed) System-Level Opertions Design Synthesis Repeted for ech Level of System Architecture Decomposition Architecturl Anlysis (Trde Study) Architecturl Concept Architecturl Design Allocted System-Level Opertions Detiled Architecturl Design Model / Requirements Repository Logicl ICDs HW/SW Req Specs (Bseline) incl. Test Scenrios HW/SW Development Architecturl Anlysis Architecturl Design Detiled Architecturl Design Elborte Architecturl Concept (Trde Study) Allocte Non-Functionl Req s to Prts [Next Use Cse] [Next Level of Decomposition] Decompose UC Blck-Box Sequence Digrms [Next Use Cse] Define Prts of Decomposition Hierrchy Allocte System-Level Opertions to Prts [else] [else] [else] Define Ports nd Interfces Prmetric Digrm(s) System Architecture Structure Digrm (BDD, IBD) Use Cse White-Box Activity Digrms System White-Box Sequence Digrms System Architecture Structure Digrm (IBD) Links providing trcebility to originl requirements Define Lef Blocks Stte-Bsed Behvior Lef Blocks Sttechrt Digrm Verify System Architecture Model In the Design Synthesis phse, the focus is on the lloction of system-level opertions to system rchitecture - optionlly elborted through trde studies - nd on the definition of ports / interfces nd stte-bsed behvior t the lowest level of the structurl decomposition. 19

20 20 Model-Bsed Systems Engineering System Chnges Stkeholder Requirements Requirements Anlysis Systems Engineering Hrmony/SE Scenrios Systems Anlysis & Design SW Anlysis & Design SW Implementtion & Unit Test Test Module Integrtion & Test System Acceptnce (Sub-)System Integrtion & & Test Test Model / Requirements Repository Stkeholder Requirements Stkeholder Requirements System Requirements System Use Cse Model(s) Use Cse Scenrios (Blck-Box) Architecturl Anlysis Model(s) UC Activity Digrm(s) (Blck-Box) SE / ESW Hnd-off Softwre Engineering Hrmony/ESW HW/SW Design Model / Requirements Repository Use Cse Scenrios (Blck-Box) System Architecture Model Scenrios (White-Box) Links providing trcebility to originl requirements Requirements Anlysis System Use Cses System Functionl Anlysis (Use Cse-Bsed) System-Level Opertions Architecturl Anlysis & Design Repeted for ech Level of System Architecture Decomposition Architecturl Anlysis (Trde Study) Architecturl Concept Architecturl Design Allocted System-Level Opertions Detiled Architecturl Design Logicl ICDs HW/SW Req Specs (Bseline) incl. Test Scenrios