Modeling Requirements, Architectures, Behaviour...
|
|
- Naomi Hart
- 6 years ago
- Views:
Transcription
1 Modeling Requirements, Architectures, Behaviour... The System Modeling Language (SysML) and the SYSMOD modeling approach Budapest University of Technology and Economics Department of Measurement and Information Systems
2 Acknowledgement Portions of this presentation are from o Systems Engineering with SysML/UML, by Tim Weilkiens, published by Morgan Kaufmann Publishers, Copyright 2007 Elsevier Inc. All rights reserved. o A Practical Guide to SysML, by Sanford Friedenthal, Alan Moore, and Rick Steiner, published by Morgan Kaufmann Publishers, Copyright 2009 Elsevier Inc. All rights reserved. o IBM course, Requirements management 2
3 Overview Context SysML Overview SysML details + the SYSMOD Systems Engineering Methodology 3
4 Systems Engineering Systems Engineering is a multidisciplinary approach to develop balanced system solutions in response to diverse stakeholder needs ~ Integration Engineering o Software engineering o Hardware engineering o Mechanical engineering o Safety engineering o Security engineering o... ~ Process Engineering System o Military, airplane, car, aviation, railway interlocking, notebook, etc. 4
5 Systems Engineering Process V-model 5
6 V-model v2 EN
7 V-model v3 7 Vision Operational Use Stakeholder Requirements Problem Space Acceptance Tests Solution Space System Requirements Component Requirements Component Tests System Tests
8 Differentiating Problem and Solution 8 Problem Solution Stakeholder requirements A description of the problem and its context Describes what stakeholders want from the system Not the definition of the solution (except for environment) Quality of results Created by stakeholders System requirements An abstract representation of the solution Describes what the system will do Not the definition of the design How well it does it Created by systems engineers The user shall be able to... The system shall do.
9 9 Input Specification agree with customer Acceptance Strategy Request Change analyze & model Request Change Models derive requirements and acceptance strategy Request Change Output Specification agree with supplier Acceptance Strategy
10 10 Vision Operational Use Stakeholder Requirements Acceptance Tests System Requirements System Tests Component Requirements Component Tests
11 Models Bridge Layers of Requirements 11 Vision e.g Goal / Usage modeling Stakeholder Requirements Functional e.g. Functional modeling modeling System Requirements Functional Functional e.g. Performance modeling modeling modeling Subsystem Requirements
12 Vision Importance of Traceability Impact Analysis Operational Use satisfies Accepting the product Stakeholder Requirements Acceptance Strategy satisfies Validating the product System Requirements System Test satisfies Verifying the product Architecture Acceptance Strategy Evaluating subsystems 12
13 Vision Importance of Traceability Coverage analysis Operational Use satisfies Stakeholder Requirements Acceptance Strategy satisfies? System Requirements System Test satisfies? Architecture Acceptance Strategy 13
14 Overview Context SysML Overview SysML details + the SYSMOD Systems Engineering Methodology 14
15 SysML overview UML for Systems Engineering o Supports the specification, analysis, design, verification and validation of systems that include hardware, software, data, personnel, procedures, and facilities Developed by OMG and International Council on Systems Engineering (INCOSE) OMG SysML ( o RFP March 2003 o Version 1.0 September 2007 o Version 1.1 November 2008 o Version 1.2 June 2010 o Version 1.3 June
16 Relationship Between SysML and UML UML 2 UML4SysML SysML UML not required by SysML (UML - UML4SysML) UML reused by SysML UML 2 Reuse (1, 2) SysML extensions to UML SysML Profile 16
17 SysML Diagram Taxonomy 17
18 Aspects of SysML 18
19 Overview Context SysML Overview SysML details + the SYSMOD Systems Engineering Methodology 19
20 Language vs. Methodology Modeling Language o Defines elements and their relationship o Defines syntax and semantics o What type of elements can be used during modeling? o E.g. SysML Development Methodology o Defines the steps of analyzing and designing the system o Defines the usage of the model elements and diagrams o How shall the model be built? o E.g. SYSMOD (SYStem MODeling) by Tim Weilkiens 20
21 The SYSMOD approach Analyzing Requirements 21
22 The SYSMOD approach for design 22
23 SysML Activity diagram Name of activity Action in activity Pin Object Parameter of activity Object flow Represents behavior in terms of the ordering of actions based on the availability of inputs, outputs, and control, and how the actions transform the inputs to outputs 23
24 Describe Project Context Car rental system o Works without staff Customer identification needed o Central computer in radio compartment Communicates with central reservation system Collects usage data Comfort features Navigation Radio Phone... 24
25 Determine requirements 25
26 Identify stakeholders 26
27 Identify stakeholders 27
28 Collect requirements 28
29 SysML Requirements diagram Name of diagram Type of context element Name of context element Requirement composition Requirement Requirements diagram Represents text-based requirements and their relationship with other requirements, design elements, and test cases to support requirements traceability 29
30 Collect requirements 30
31 Model System Context 31
32 Identify System Actors 32
33 SysML Block definition diagram Block Actor Block Definition Diagram Represents structural elements called blocks, and their composition and classification 33
34 Model System-Actor Information Flow 34
35 Identify System Interaction Points 35
36 System Context 36
37 Model Use Cases 38
38 Model Use Cases 39
39 SysML Use case diagram Object flow Actor Use case Use Case Diagram Represents functionality in terms of how a system or other entity is used by external entities (i.e., actors) to accomplish a set of goals 40
40 Model Use Cases Organizing use cases into packages 41
41 SysML Requirements traceability 42
42 Describe Use Cases Essences 43
43 Describe Use Cases Essences 44
44 Describe Use Cases Essences 45
45 Model Use Case Flows 46
46 Model Object Flows 47
47 Model Domain Knowledge 48
48 Create Glossary Supports better understanding 49
49 The SYSMOD approach for design 50
50 Model System/Actor Interaction 51
51 SysML Sequence diagram Sequence Diagram Represents behavior in terms of a sequence of messages exchanged between parts 52
52 Derive System Interfaces 53
53 Model System Structures Identify system components 54
54 Model System Structures Identify relation of components 55
55 SysML Internal block diagram Standard port Flow port Item flow Interfaces Part: usage of block type Internal Block Diagram Represents interconnection and interfaces between the parts of a block 56
56 Model System Structures Structural allocation 57
57 Model System Structures Functional allocation: Actions to System components 58
58 Model System Structures Traceability to requirements: Blocks satisfying a req. 59
59 Derive State Model 60
60 Derive State Model 61
61 SysML State Machine Diagram Represents behavior of an entity in terms of its transitions between states triggered by events 62
62 Parametrics Constraints on block properties 66
63 SysML Parametric diagram Parametric Diagram Represents constraints on property values used to support engineering analysis Constraint property node Block value Value binding 67
64 Variant Management 68
Modeling Requirements
Modeling Requirements Critical Embedded Systems Dr. Balázs Polgár Prepared by Budapest University of Technology and Economics Faculty of Electrical Engineering and Informatics Dept. of Measurement and
More informationOMG Systems Modeling Language Tutorial May, 2012
OMG Systems Modeling Language Tutorial May, 2012 Giuseppe Scanniello Giuseppina Casalaro System Engineering Overview System Engineering (SE) is a discipline to deal with complex system realised through
More informationTechnical Overview for
Technical Overview for Webinar - Time and Duration Analysis Nerijus Jankevicius, Product Manager November 22, 2016 Speaker Nerijus Jankevičius, nerijus@nomagic.com Product Manager @ No Magic Europe Since
More informationSonderdruck aus 3/ High-quality interface specifications with SysML modelling
Sonderdruck aus 3/2011 www.eurailpress.de/sd High-quality interface specifications with SysML modelling Interfaces High-quality interface specifications with SysML modelling Thomas Lauscher / Christian
More informationAn Introduction to SySML
An Introduction to SySML Ljerka Beus-Dukic University of Westminster, London, UK L.Beus-Dukic@wmin.ac.uk 2007, Ljerka Beus-Dukic 1 What is SySML? SysML is a graphical modelling language for Systems Engineering
More informationInformation systems modeling. Tomasz Kubik
Information systems modeling Tomasz Kubik OMG specifications adopted by ISO Name Acronym Version ISO documents Business Process Model And Notation BPMN 2.0.1 19510:2013 Common Object Request Broker Architecture
More informationInstructors: Sanford Friedenthal Joseph Wolfrom
Modeling with SysML Instructors: Sanford Friedenthal sanford.friedenthal@lmco.com Joseph Wolfrom joe.wolfrom@jhuapl.edu Tutorial presented at INCOSE 2010 Symposium, Chicago, IL, July 2010. OMG SysML Specification
More informationIntegrated modeling: Adopting Architecture Frameworks for Model-based Systems Engineering
Integrated modeling: Adopting Architecture Frameworks for Model-based Systems Engineering Copyright 2014 by No Magic Inc. Published and used by The SSSE and INCOSE with permission. The author or assignee
More informationIntroduction to SysML
ALaRI Faculty of Informatics, University of Lugano, Switzerland Introduction to SysML Workshop on UML for SoC and Embedded Systems Design DATE 07 - Nice Friday, April 20 th, 2007 Some questions before
More informationComponent Design. Systems Engineering BSc Course. Budapest University of Technology and Economics Department of Measurement and Information Systems
Component Design Systems Engineering BSc Course Budapest University of Technology and Economics Department of Measurement and Information Systems Traceability Platform-based systems design Verification
More informationSysML Past, Present, and Future. J.D. Baker Sparx Systems Ambassador Sparx Systems Pty Ltd
SysML Past, Present, and Future J.D. Baker Sparx Systems Ambassador Sparx Systems Pty Ltd A Specification Produced by the OMG Process SysML 1.0 SysML 1.1 Etc. RFI optional Issued by Task Forces RFI responses
More informationDeliver robust products at reduced cost by linking model-driven software testing to quality management.
Quality management White paper September 2009 Deliver robust products at reduced cost by linking model-driven software testing to quality management. Page 2 Contents 2 Closing the productivity gap between
More informationCapella to SysML Bridge: A Tooled-up Methodology for MBSE Interoperability
Capella to SysML Bridge: A Tooled-up Methodology for MBSE Interoperability Nesrine BADACHE, ARTAL Technologies, nesrine.badache@artal.fr Pascal ROQUES, PRFC, pascal.roques@prfc.fr Keywords: Modeling, Model,
More informationSysML, It s Coming Are You Prepared?
SysML, It s Coming Are You Prepared? Presentation for George Mason University Shana L. Lloyd The Aerospace Corporation 703-324-8877 Shana.l.lloyd@aero.org January 31, 07 1 Outline Introduction SysML Background
More informationAnalyzing Suitability of SysML for System Engineering Applications
Master Thesis Software Engineering Thesis no: MSE-2007-19 June 2007 Analyzing Suitability of SysML for System Engineering Applications Saleem Zubair Ahmad School of Engineering Blekinge Institute of Technology
More informationIntroduction to Model-Driven System Development
Introduction to Model-Driven System Development Ákos Horváth Dept. of Measurement and Information Systems Budapest University of Technology and Economics Department of Measurement and Information Systems
More informationSESE Tour 2018 Toulouse May 22
SESE Tour 2018 Toulouse May 22 Optimal function modelling with SysML Authors: Regis Casteran, Xavier Dorel, Raphaël Faudou, David Gouyon, Frederic Risy Presented by Xavier Dorel (Schneider-Electric) And
More informationA Paper Presentation from ARTiSAN Software Tools THE SYSTEMS MODELING LANGUAGE
A Paper Presentation from ARTiSAN Software Tools THE SYSTEMS MODELING LANGUAGE The Systems Modeling Language is published by ARTiSAN Software Tools. Authors: Matthew Hause and Alan Moore Copyright 2006,
More informationUMLEmb: UML for Embedded Systems. I. Introduction. Ludovic Apvrille Eurecom, office 470
UMLEmb: UML for Embedded Systems I. Introduction Ludovic Apvrille ludovic.apvrille@telecom-paristech.fr Eurecom, office 470 http://soc.eurecom.fr/umlemb/ @UMLEmb Eurecom Goals System specification (includes
More informationModelling & Simulation of Complex Socio-Cyber- Physical Systems and Large Scale Systems of Systems
Modelling & Simulation of Complex Socio-Cyber- Physical Systems and Large Scale Systems of Systems Along their Lifetime, a System Owner Standpoint CSDM 2016 December 13-14, 2016 N. Thuy - EDF R&D General
More informationSystems Design: SysML vs. Flowthing Modeling
, pp.355-370 http://dx.doi.org/10.14257/ijseia.2014.8.1.31 Systems Design: SysML vs. Flowthing Modeling Sabah Al-Fedaghi Kuwait University sabah@alfedaghi.com Abstract In model-based systems engineering,
More informationMODEL-BASED PRODUCT LINE ENGINEERING ENABLING PRODUCT FAMILIES WITH VARIANTS
2014 NDIA GROUND EHICLE SYSTEMS ENGINEERING AND TECHNOLOGY SYMPOSIUM SYSTEMS ENGINEERING (SE) TECHNICAL SESSION AUGUST 12-14, 2014 NOI, MICHIGAN MODEL-BASED PRODUCT LINE ENGINEERING ENABLING PRODUCT FAMILIES
More informationEnterprise Architect. User Guide Series. SysML Models. Author: Sparx Systems. Date: 30/06/2017. Version: 1.0 CREATED WITH
Enterprise Architect User Guide Series SysML Models Author: Sparx Systems Date: 30/06/2017 Version: 1.0 CREATED WITH Table of Contents Systems Engineering 3 Systems Modeling Language (SysML) 8 SysML Activity
More informationSystems Modeling Language (SysML) INCOSE MDSD Review
Systems Modeling Language (SysML) INCOSE MDSD Review SysML Partners www.sysml.org 10 July 2005 Objectives Summarize submission status and proposed updates to V0.9 since MDSD Review at INCOSE IW on Jan
More informationFuture Directions for SysML v2 INCOSE IW MBSE Workshop January 28, 2017
Future Directions for SysML v2 INCOSE IW MBSE Workshop January 28, 2017 Sanford Friedenthal safriedenthal@gmail.com 1/30/2017 Agenda Background System Modeling Environment (SME) SysML v2 Requirements Approach
More informationBest Practices for Model-Based Systems Engineering
Seminar / Workshop Best Practices for Model-Based Systems Engineering Hans-Peter Hoffmann, Ph.D. Chief Systems Methodologist, IBM Rational Software hoffmape@us.ibm.com Overview Successfully delivering
More informationSystems Modeling Languages: OPM Versus SysML
Systems Modeling Languages: OPM Versus SysML Yariv Grobshtein, Valeriya Perelman +, Eliyahu Safra, Dov Dori + Technion, Israel institution of Technology, Haifa, Israel {yarivg, valeriya, safra, dori}@technion.ac.il
More informationIntegrating SysML and OWL
Integrating SysML and OWL Henson Graves Lockheed Martin Aeronautics Company Fort Worth Texas, USA henson.graves@lmco.com Abstract. To use OWL2 for modeling a system design one must be able to construct
More informationTRANSITIONING PROJECTS TO A MODEL-BASED APPROACH
: Distribution Statement A. Approved for public release; release is unlimited. 2017 NDIA GROUND VEHICLE SYSTEMS ENGINEERING AND TECHNOLOGY SYMPOSIUM SYSTEMS ENGINEERING (SE) TECHNICAL SESSION AUGUST 8-10,
More informationHOW TO DESIGN PRODUCT LINES BY MEANS OF MBSE. Prof. Dr. Claudio Zuccaro, HS München Andreas Korff, PTC
HOW TO DESIGN PRODUCT LINES BY MEANS OF MBSE Prof. Dr. Claudio Zuccaro, HS München Andreas Korff, PTC AGENDA Short Introduction to Orthogonal Variability Modeling (OVM) Approaches for Variant Modeling
More informationBUILDING GOOD-QUALITY FUNCTIONAL SPECIFICATION MODEL
BUILDING GOOD-QUALITY FUNCTIONAL SPECIFICATION MODEL A few words on Samares Engineering Research and Consultancy on Systems Engineering Requirement engineering Model-Based Systems Engineering Co-simulation
More informationProject Proposal: OSLC4MBSE - OMG SE and OSLC working group as part of the OMG SE DSIG. OSLC for Model-Based Systems Engineering Interoperability
OSLC4MBSE OSLC for Model-Based Systems Engineering Interoperability This document presents the work of the OSLC4MBSE working group, which has been initiated as a collaborative effort between members of
More informationINF5120 and INF9120 Modelbased System development
INF5120 and INF9120 Modelbased System development Lecture 5: 13.02.2016 Arne-Jørgen Berre arneb@ifi.uio.no and Arne.J.Berre@sintef.no Telecom and Informatics 1 Course parts (16 lectures) - 2017 January
More informationV&V: Model-based testing
V&V: Model-based testing Systems Engineering BSc Course Budapest University of Technology and Economics Department of Measurement and Information Systems Traceability Platform-based systems design Verification
More informationAvailable online at ScienceDirect. Procedia Computer Science 44 (2015 )
Available online at www.sciencedirect.com ScienceDirect Procedia Computer Science 44 (2015 ) 403 412 2015 Conference on Systems Engineering Research Technical evaluation of the Systems Modeling Language
More informationEnterprise Architect. User Guide Series. SysML Models. Author: Sparx Systems Date: 26/07/2018 Version: 1.0 CREATED WITH
Enterprise Architect User Guide Series SysML Models Author: Sparx Systems Date: 26/07/2018 Version: 1.0 CREATED WITH Table of Contents Systems Engineering 5 Parametric Diagram Modeling Assistant 13 Create
More informationUML 2.0 UML 2.0. Scott Uk-Jin Lee. Division of Computer Science, College of Computing Hanyang University ERICA Campus
UML 2.0 Division of Computer Science, College of Computing Hanyang University ERICA Campus Introduction to UML 2.0 UML Unified Modeling Language Visual language for specifying, constructing and documenting
More informationArchitectural Modeling in SysML
Architectural Modeling in SysML A Practical Approach to Mapping Functions to Logical Architectural Variants Michael J. Vinarcik, ESEP-Acq, OCSMP-Model Builder Advanced Booz Allen Hamilton National Defense
More informationProcess and data flow modeling
Process and data flow modeling Vince Molnár Informatikai Rendszertervezés BMEVIMIAC01 Budapest University of Technology and Economics Fault Tolerant Systems Research Group Budapest University of Technology
More informationIntroduction To Systems Engineering CSC 595_495 Spring 2018 Professor Rosenthal Midterm Exam Answer Key
Part 1. Each question is worth 4 points. 1. Define what a system is. Introduction To Systems Engineering CSC 595_495 Spring 2018 Professor Rosenthal Midterm Exam Answer Key A system is a construct or collection
More informationThe Verification and Validation activity for a railway control system
The Verification and Validation activity for a railway control system Davide Alagna, Alessandro Romei [alagna.davide@asf.ansaldo.it, romei.alessandro@asf.ansaldo.it] RAMS Department Geneva, 19 th September
More informationIBM Technical Report 2006
IBM Technical Report 2006 TR-20060603 Accepted to appear in Journal of Object Technology (JOT) at www.jot.fm An Overview of the Systems Modeling Language for Products and Systems Development Laurent Balmelli,
More informationMARTE Based Modeling Tools Usage Scenarios in Avionics Software Development Workflows
MARTE Based Modeling Tools Usage Scenarios in Avionics Software Development Workflows Alessandra Bagnato, Stefano Genolini Txt e-solutions FMCO 2010, Graz, 29 November 2010 Overview MADES Project and MADES
More informationSystems Engineering Training Courses 2015 Catalog
Last update: November 2015 ASTER S.p.A. - Capitale Sociale: 215.520 i.v. C.F. / P.IVA 11002491006 Sede legale: Via Tiburtina 1166-00156 Roma, Italia - Telefono: +39 06 94533950/1 Fax: + 39 06 94533959
More informationEvent Metamodel and Profile (EMP) Proposed RFP Updated Sept, 2007
Event Metamodel and Profile (EMP) Proposed RFP Updated Sept, 2007 Robert Covington, CTO 8425 woodfield crossing boulevard suite 345 indianapolis in 46240 317.252.2636 Motivation for this proposed RFP 1.
More informationEnterprise Architect. User Guide Series. SysML Models
Enterprise Architect User Guide Series SysML Models How to model Systems Engineering? Sparx Systems Enterprise Architect provides a platform for system engineers, with the Systems Modeling Language (SysML)
More informationUML Fundamental. OutLine. NetFusion Tech. Co., Ltd. Jack Lee. Use-case diagram Class diagram Sequence diagram
UML Fundamental NetFusion Tech. Co., Ltd. Jack Lee 2008/4/7 1 Use-case diagram Class diagram Sequence diagram OutLine Communication diagram State machine Activity diagram 2 1 What is UML? Unified Modeling
More informationEnhancing Model-Based Systems Engineering with the Lifecycle Modeling Language
Enhancing Model-Based Systems Engineering with the Lifecycle Modeling Language Warren K. Vaneman, Ph.D. Systems Engineering Department Naval Postgraduate School Monterey, CA Abstract As systems become
More informationSCADE. SCADE Architect System Requirements Analysis EMBEDDED SOFTWARE
EMBEDDED SOFTWARE SCADE SCADE Architect 19.2 SCADE Architect is part of the ANSYS Embedded Software family of products and solutions, which gives you a design environment for systems with high dependability
More informationEnterprise Architect Training Courses
On-site training from as little as 135 per delegate per day! Enterprise Architect Training Courses Tassc trainers are expert practitioners in Enterprise Architect with over 10 years experience in object
More informationOMG SysML. Appendix A
Appendix A OMG SysML The OMG Systems Modeling Language (OMG SysML) [105] is a modeling language for model-based systems engineering. It supports and enables the specification, analysis, architecture and
More informationCase Study On SYSML and VHDL-AMS for Designing and Validating Systems
, 23-25 October, 2013, San Francisco, USA Case Study On SYSML and VHDL-AMS for Designing and Validating Systems J. Verries and A. Sahraoui Abstract : An approach combining SysML and VHDL-AMS is proposed
More informationEvaluating Aspects of Systems Modeling Languages by Example: SysML and OPM
Evaluating Aspects of Systems Modeling Languages by Example: SysML and OPM Yariv Grobshtein and Dov Dori Faculty of Industrial Engineering and Management Technion Israel Institute of Technology Technion
More informationUsing SysML for Modeling of Safety-Critical Software Hardware Interfaces: Guidelines and Industry Experience
Using SysML for Modeling of Safety-Critical Software Hardware Interfaces: Guidelines and Industry Experience Mehrdad Sabetzadeh 1 Shiva Nejati 1 Lionel Briand 1 Anne-Heidi Evensen Mills 2 1 Certus Software
More informationThe SysML Modelling Language
The SysML Modelling Language Fifth European Systems Engineering Conference 18-20 September 2006 Matthew Hause Artisan Software Tools, Eagle Tower Suite 701, Cheltenham, Glos. UK, MatthewH@Artisansw.com
More informationSOFTWARE MODELING AND DESIGN. UML, Use Cases, Patterns, and. Software Architectures. Ki Cambridge UNIVERSITY PRESS. Hassan Gomaa
SOFTWARE MODELING AND DESIGN UML, Use Cases, Patterns, and Software Architectures Hassan Gomaa George Mason University, Fairfax, Virginia Ki Cambridge UNIVERSITY PRESS Contents Preface P"U
More informationAUTOSAR: from concept to code.
Embedded software development White paper December 2009 AUTOSAR: from concept to code. Introducing support for behavior modeling tool (BMT) implementation, providing automated code and internal behavior
More informationExtending SysML with AADL Concepts for Comprehensive System Architecture Modeling
Extending SysML with AADL Concepts for Comprehensive System Architecture Modeling Razieh Behjati 1,2, Tao Yue 1, Shiva Nejati 1, Lionel Briand 1,2, and Bran Selic 1,3 1 Simula Research Laboratory, Lysaker,
More informationAdding Formal Requirements Modeling to SysML
Adding Formal Requirements Modeling to SysML Mark R. Blackburn www.markblackburn.com Abstract. This paper seeks to raise awareness on the SCR extensions derived from industry use, and discusses how an
More informationVerification of the Requirements Specification
Software Verification and Validation (VIMMD052) Verification of the Requirements Specification Istvan Majzik majzik@mit.bme.hu Budapest University of Technology and Economics Dept. of Measurement and Information
More informationSemantics-Based Integration of Embedded Systems Models
Semantics-Based Integration of Embedded Systems Models Project András Balogh, OptixWare Research & Development Ltd. n 100021 Outline Embedded systems overview Overview of the GENESYS-INDEXYS approach Current
More informationSystems Modeling Language (SysML) Specification
Date: 10 January 2005 Systems Modeling Language (SysML) Specification version 0.9 DRAFT SysML Partners (www.sysml.org) American Systems Corporation ARTISAN Software Tools* BAE SYSTEMS The Boeing Company
More informationA COMPUTATIONAL PRODUCT MODEL FOR CONCEPTUAL DESIGN USING SYSML
Proceedings of the ASME 2009 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference IDETC/CIE 2009 Proceedings of the ASME 2009 International August
More informationBody of Knowledge and Curriculum to Advance Systems Engineering
Body of Knowledge and Curriculum to Advance Systems Engineering Guide to the Systems Engineering Body of Knowledge Graduate Reference Curriculum for Systems Engineering Rick Adcock Senior Lecturer Cranfield
More informationExecutives Will Want to use MBSE
Executives Will Want to use MBSE The value of MBSE to a non-engineer Loyd Baker VP of Technology 3SL, Inc Track 2: MBSE, M-8 The presenter, Loyd Baker, is VP for Technology with 3SL Inc., with extensive
More informationTowards Effective SysML Model Reuse
Roy Mendieta, Jose Luis de la Vara, Juan Llorens and Jose María Álvarez-Rodríguez Computer Science and Engineering Department, Carlos III University of Madrid, Madrid, Spain Keywords: Abstract: Systems
More informationQuantitative Safety Analysis of SysML Models
University of Konstanz Department of Computer and Information Science Bachelor Thesis for the degree Bachelor of Science (B. Sc.) in Information Engineering Quantitative Safety Analysis of SysML Models
More informationSoftware architecture in ASPICE and Even-André Karlsson
Software architecture in ASPICE and 26262 Even-André Karlsson Agenda Overall comparison (3 min) Why is the architecture documentation difficult? (2 min) ASPICE requirements (8 min) 26262 requirements (12
More informationModel-based control of a handling system with SysML
Available online at www.sciencedirect.com Procedia Computer Science 16 (2013 ) 197 205 Conference on Syst Eds.: C.J.J. Paredis, C. Bishop, D. Bodner, Georgia Institute of Technology, Atlanta, GA, March
More informationTest and Evaluation of Autonomous Systems in a Model Based Engineering Context
Test and Evaluation of Autonomous Systems in a Model Based Engineering Context Raytheon Michael Nolan USAF AFRL Aaron Fifarek Jonathan Hoffman 3 March 2016 Copyright 2016. Unpublished Work. Raytheon Company.
More informationAn Information Model for High-Integrity Real Time Systems
An Information Model for High-Integrity Real Time Systems Alek Radjenovic, Richard Paige, Philippa Conmy, Malcolm Wallace, and John McDermid High-Integrity Systems Group, Department of Computer Science,
More informationFourth International Workshop on Model Based Architecting and Construction of Embedded Systems
ACES MB 2011 FourthInternationalWorkshopon ModelBasedArchitectingandConstruction ofembeddedsystems October18 th,2011,wellington,newzealand OrganizedinconjunctionwithMoDELS2011 14 th InternationalConferenceonModelDrivenEngineeringLanguagesandSystems
More informationTrain control language teaching computers interlocking
Computers in Railways XI 651 Train control language teaching computers interlocking J. Endresen 1, E. Carlson 1, T. Moen 1, K. J. Alme 1, Ø. Haugen 2, G. K. Olsen 2 & A. Svendsen 2 1 ABB, Bergensveien
More informationRequirements to models: goals and methods
Requirements to models: goals and methods Considering Garlan (2000), Kruchen (1996), Gruunbacher et al (2005) and Alter (2006-08) CIS Department Professor Duane Truex III Wojtek Kozaczynski The domain
More informationGMF Tooling 3.0 Vision, Architecture, Roadmap
GMF Tooling 3.0 Vision, Architecture, Roadmap 2012.03.25, OMG/Eclipse Symposium, Reston VA Michael Golubev, GMF Tooling lead Montages AG www.montages.com GMF Tooling - Overview Vision: Support creation
More informationModel driven Engineering & Model driven Architecture
Model driven Engineering & Model driven Architecture Prof. Dr. Mark van den Brand Software Engineering and Technology Faculteit Wiskunde en Informatica Technische Universiteit Eindhoven Model driven software
More informationModeling and Simulation (An Introduction)
Modeling and Simulation (An Introduction) 1 The Nature of Simulation Conceptions Application areas Impediments 2 Conceptions Simulation course is about techniques for using computers to imitate or simulate
More informationModel-based Transition from Requirements to High-level Software Design
Model-based Transition from Requirements to High-level Software Institut für Computertechnik ICT Institute of Computer Technology Hermann Kaindl Vienna University of Technology, ICT Austria System overview
More informationDIVERSITY TG Automatic Test Case Generation from Matlab/Simulink models. Diane Bahrami, Alain Faivre, Arnault Lapitre
DIVERSITY TG Automatic Test Case Generation from Matlab/Simulink models Diane Bahrami, Alain Faivre, Arnault Lapitre CEA, LIST, Laboratory of Model Driven Engineering for Embedded Systems (LISE), Point
More informationRover Use Case, Specification, design and implementation using Polarsys Tools: Capella, CDT, Gendoc, Papyrus and ReqCycle
Open Source Tools for Embedded Systems Rover Use Case, Specification, design and implementation using Polarsys Tools: Capella, CDT, Gendoc, Papyrus and ReqCycle What is the rover use case? One Polarsys
More informationFormal Verification for UML/SysML models
Formal Verification for UML/SysML models IBM Research Lab - Haifa Content Formal verification v.s. testing Correctness properties Formal verification for Rhapsody models 2 Formal Verification Desired Properties
More informationRequirement Model for Mechanical, Electrical and Software Integrated Products Using SysML
956 Requirement Model for Mechanical, Electrical and Software Integrated Products Using SysML Tadashi Gotoh 1, Takao Eguchi 1, Tsuyoshi Koga 2, Kazuhiro Aoyama 3 1 IBM Japan, Ltd., 19-21 Nihonbashi Hakozaki-cho,
More informationUsing knowledge and expressions to validate inter-model constraints
Using knowledge and expressions to validate inter-model constraints David Simon Zayas*. Anne Monceaux*. Yamine Ait-Ameur** *EADS Innovation Works, Toulouse, 31025 FRANCE (e-mails: david.simon-zayas@eads.net,
More informationMeta-Modeling and Modeling Languages
member of Meta-Modeling and Modeling Languages Models and Modelling Model A reproduction of the part of reality which contains the essential aspects to be investigated. Modelling Describing and Representing
More informationBUSINESS REQUIREMENTS SPECIFICATION (BRS) Documentation Template
BUSINESS REQUIREMENTS SPECIFICATION (BRS) Documentation Template Approved UN/CEFACT Forum Bonn 2004-03-09 Version: 1 Release: 5 Table of Contents 1 REFERENCE DOCUMENTS...3 1.1 CEFACT/TMWG/N090R10 UN/CEFACTS
More informationVerification of Requirements For Safety-Critical Software
Verification of Requirements For Safety-Critical Software Paul B. Carpenter Director, Life Cycle Technology Aonix, 5040 Shoreham Place, San Diego, CA USA, 92122 Email: paulc@aonix.com; Tel: 602-816-0245;
More informationRobust Architecture Development: SysML Usage across Industry Tools
Robust Architecture Development: SysML Usage across Industry Tools Geoff Martin Raytheon IDS, San Diego gdmartin@raytheon.com Rick Steiner Raytheon IDS, San Diego fsteiner@raytheon.com October 25 th, 2008
More informationAn Overview of the SysML-Modelica Transformation Specification
An Overview of the SysML-Modelica Transformation Specification Christiaan J.J. Paredis 1, Yves Bernard 2, Roger M Burkhart 3. Hans-Peter de Koning 4, Sanford Friedenthal 5, Peter Fritzson 6, Nicolas F
More informationChristian Doppler Laboratory
Christian Doppler Laboratory Software Engineering Integration For Flexible Automation Systems AutomationML Models (in EMF and EA) for Modelers and Software Developers Emanuel Mätzler Institute of Software
More informationMBSE with the ARCADIA Method and the Capella Tool
MBSE with the ARCADIA Method and the Capella Tool Pascal Roques To cite this version: Pascal Roques. MBSE with the ARCADIA Method and the Capella Tool. 8th European Congress on Embedded Real Time Software
More informationLecture 8 Requirements Engineering
Lecture 8 Requirements Engineering Software Engineering ITCS 3155 Fall 2008 Dr. Jamie Payton Department of Computer Science University of North Carolina at Charlotte September 18, 2008 Lecture Overview
More informationRequirements and Design Overview
Requirements and Design Overview Robert B. France Colorado State University Robert B. France O-1 Why do we model? Enhance understanding and communication Provide structure for problem solving Furnish abstractions
More informationSE 1: Software Requirements Specification and Analysis
SE 1: Software Requirements Specification and Analysis Lecture 4: Basic Notations Nancy Day, Davor Svetinović http://www.student.cs.uwaterloo.ca/ cs445/winter2006 uw.cs.cs445 U Waterloo SE1 (Winter 2006)
More informationIntegrating Systems and Software Engineering Concepts in AP-233
Integrating Systems and Software Engineering Concepts in AP-233 Asmus Pandikow, Erik Herzog, Anders Törne Real-Time Systems Laboratory Linköpings Universitet 581 83 Linköping, Sweden E-mail: {asmpa, erica,
More informationPractical Model-based Testing With Papyrus and RT-Tester
Practical Model-based Testing With Papyrus and RT-Tester Jan Peleska and Wen-ling Huang University of Bremen Verified Systems International GmbH Fourth Halmstad Summer School on Testing, 2014-06-11 Acknowledgements.
More informationSOFT 423: Software Requirements
SOFT 423: Software Requirements Week 1 Class 3 Requirements Process SOFT 423 Winter 2015 1 Last Class What are Requirements Requirements Eng vs. System Analysis Requirements Eng vs. Design Classes of Custom
More informationTowards a Unified Component & Deployment Model for Distributed Real Time Systems
Your systems. Working as one. Towards a Unified Component & Deployment Model for Distributed Real Time Systems Gerardo Pardo Castellote, Ph.D. CTO, Real Time Innovations Co Chair OMG DDS SIG Sumant Tambe,
More informationMapping Architectural Concepts to SysML Profile for Product Line Architecture Modeling
Mapping Architectural Concepts to SysML Profile for Product Line Architecture Modeling Shahliza Abd Halim, Mohd Zulkifli Mohd Zaki, Noraini Ibrahim, Dayang N. A. Jawawi and Safaai Deris Software Engineering
More information3rd Lecture Languages for information modeling
3rd Lecture Languages for information modeling Agenda Languages for information modeling UML UML basic concepts Modeling by UML diagrams CASE tools: concepts, features and objectives CASE toolset architecture
More informationAADL Requirements Annex Review
Dominique Blouin Lab-STICC Université de Bretagne-Occidentale Université de Bretagne-Sud Bretagne, France 1 AADL Standards Meeting, April 23 th, 2013 Agenda Comments from Annex Document Review Motivations
More information