Model-Based Development of Embedded Systems with MDA and xtuml
|
|
- Sandra Dickerson
- 5 years ago
- Views:
Transcription
1 Model-Based Development of Embedded Systems with MDA and xtuml Presentation at the MODPROD Workshop on Model-based Product Development at the University of Linköping, Sweden February 7, 2007 Erik Wedin Software Systems Architecture Specialist Saab Bofors Dynamics AB Linköping, Sweden 1
2 Contents Saab Presentation MDA and xtuml and its application at Saab Bofors Dynamics The benefits of MDA and xtuml Vision References Questions & Answers 2
3 Saab Saab is one of the world s leading high-technology companies, with its main operations focusing on defence, aviation and space. Employees 12,500 Turnover, MSEK 17,000 3
4 Saab Worldwide 4
5 Three Segments 17 Business Units Defence and security solutions Aeronautics 27 Percent of sales 2005 Systems and products 34 Percent of sales Percent of sales 2005 Saab Systems Saab Aerotech Combitech Saab Bofors Dynamics Saab Space Saab Avitronics Saab Barracuda Saab Aerosystems Saab Aerostructures Gripen International Saab Grintek Saab Communication Saab Surveillance Systems Saab Underwater Systems Saab Training Systems Saab Microwave Systems Saab Aircraft Leasing 5
6 Saab Bofors Dynamics A vital part of Saab s defence activities Certification to the following standards: ISO ISO Tick IT + AQAP 2110 Employees Turnover Exports Backlog of orders Exports 1,404 SEK 3,200 million SEK 2,350 million SEK 8,600 million SEK 7,200 million 6
7 Complete Missiles Solutions Develops advanced missile systems for the Swedish Defence Forces and other national defence forces Participates in international projects 7
8 International Collaborations IRIS-T Meteor TAURUS NLAW ASRAD-R RBS15 8
9 Technical System Characteristics Embedded real-time systems but also planning systems and simulators Specially-designed hardware and computer platforms but also COTS Autonomous systems reliable, predictable Complex communications internally and externally Application functionality guidance, navigation and control; signal and image processing; data fusion complex mathematics, computationally demanding mission management telemetry supervision of missile systems in flight Hard real-time requirements missed deadline may result in loss of the system communication & execution Periodic mixed-frequency execution but also aperiodic Safety-critical usually solved in hardware, but not in the near future 9
10 Abstraction in System Development The Next Step Integrated Software/Electronics/System Development Executable & Translatable Specifications Specifications (Text, Pictures, Models, ) (Models) Manual Model Implementation Compiler Model Manual Compiler Implementation Compiler High-Level Language (Ada95, C, ) High-Level Language (VHDL, ) Synthesizer Assembler Assembly Code Netlist File Placer & Router Object Code Processor System Programmable Logic Device Programming File 10
11 xtuml/mda-based Software Development at SBD Simulator System Ada83/OOD-architecture 11 Missile System Master s Thesis: Ada Code Generation Transponder System Ada83/OOD-architecture Navigation System Thesis Work: VHDL Code Generation Blueprint Specifications/ UML Models and Manual Code Implementation, BridgePoint Executable Specifications/ xtuml Models and Automatic Code Generation, BridgePoint Ada83/OOD-architecture Ada95/OOD-architecture Missile System C/OOD-architecture Missile System Study: Executable UML Translation to Ada Study: Executable UML Translation to VHDL Master s Thesis: Implicit Bridging Missile System Navigation Demonstrator Ada83/OOD-architecture 2xMissile Systems Missile System Blueprint Specifications/ UML Models and Manual Code Implementation, Teamwork & BridgePoint Ada95/Ada MC mechanisms Ada95/Ada MC mechanisms Ada95/Ada MC Ada95/Ada MC Master s Thesis: Simulator Framework C++/MC2020 Distributed Real-Time System Code Generation from Executable UML Missile System SPARK/SPARK MC
12 Different Ways of Using UML Sketches informal capture of ideas and concepts, coding may proceed directly visualises a solution and enables communication among persons Blueprints specifies software structure near one-to-one mapping to code code frames may be generated code is then directly added in the model or in separate files if generated code is modified by hand model code need for round-trip i.e. generate model from code; only sensible if code and model has a near one-to-one relationship Executable models Executable specifications separates the application from the implementation, i.e. the platform-independent parts from the platform-specific parts the model does not necessarily have a one-to-one relationship with the code what the rest of the presentation is all about 12
13 Executable (and Translatable) UML xtuml Executable UML is a well-defined profile (subset) of UML 2.0, including precise Action Semantics Enables development of Software and Hardware platform-independent specifications of the problem Supports the OMG Model-Driven Architecture (MDA) initiative PIM Platform-Independent Model - models the solution of a problem PSM Platform-Specific Model - models the details of the implementation Separation of Subject Matters Abstraction & Reuse of models (not code) A Model Compiler weaves the models together, guided by marks into an implementation at design-time not at specification-time Executable UML (xtuml) models Executable Specifications can be executed and simulated (platform-independently) without generating code can be translated to one/several implementation(s) onto one/several specific software/hardware platform(s) without changing the models 13
14 Core Executable and Translatable UML Diagrams UML Unified Modelling Language Diagram Type Component Package Class State machine Use case Activity Sequence Communication Composite structure Deployment Interaction Object Timing Usage Large-scale components and their interfaces Groupings of elements and dependencies between them Classes, attributes, associations and generalisations Behaviour over time in response of events Requirements in terms of interactions between a system an its users Parallel and sequential behaviours connected by data and control flows Synchronous/asynchronous interactions between objects Communications between objects (previously collaborations ) Internal structure, ports, collaborations and structured classes Deployment onto nodes in a specific implementation Overview of activities and interactions Selected instances of classes and values of attributes at run-time Timing in a variation of sequence/interaction diagrams BridgePoint Support To be supported 14
15 Core Executable and Translatable UML Diagrams Component (Domain) Diagram - Domains, Bridges Domain Package Diagram - Data Types, Functions, Subsystems, Class Diagram - Classes (Attributes, Derived Attributes, External Entities Operations), Associations Application Comm IO 15 Model Compiler/ Architecture Ada95 VHDL = Contains Action Language State Transition Table - Events, States, State Transitions E1 E2 E3 E4 S1 S2 IG IG CH S2 CH S1 IG S3 S3 IG IG S1 IG Procedure - Action Language xxxx xxxxx x xxxxxxx xxxxxxx xxxx xxxxx x xxxxxxx xxxx xxxx Action - Action Language Statement Class/Instance State Machine - Events, States, State Transitions
16 BridgePoint xtuml Modeling Perspective Eclipse 16
17 BridgePoint xtuml Verification Perspective 17
18 BridgePoint xtuml Build Perspective 18
19 xtuml Process 1. Requirements Gathering (Use Cases, Activity Diagrams & Sequence Diagrams) 5. Organise Control Interactions (Class Communication Diagram) Legend = PIM-Related Activities = Architecture-Related Activities = System Design Activities 3. Build Class Models (Class Diagram & Descriptions) 4. Build State Models (State Machines & Tables) 7. Build Procedure Models (Action Language) 2. Organise System (Component/Domain Diagram) 6. Execute Instance Interactions (Sequence Diagrams) 10. Translate Models (Marking & Bridging) 11. Integrate and Test 8. Specify Architecture 9. Build/Buy Model Compiler (Software Architecture) 19
20 Model Compilers Reusable software architectures In-house MCs are invaluable strategic assets Ada MC developed from scratch, based on OOD-architecture from previous projects used/reused in several projects tailored to specific project-needs VHDL MC architecture designed, not formalised in an MC yet SPARK Ada MC SPARK Ada=safe subset of Ada + augmented with annotations in comments generating code that can undergo formal verification to prove absence of run-time errors suitable both for high-performance and safety-critical systems in development, first prototype ready in March 2007 Commercial MCs MC C++ extended with implicit bridging MC ANSI C used on selected parts of a product, the Ada MC on the major parts Model Compiler Archetypes (Templates & Rules) xtuml Model Marks (Translation Control) Mechanisms (Class Components, Execution Control,...) xtuml Metamodel (predefined) Marking+ Architecture Metamodels 20
21 xtuml Model Builder & Model Verifier Bought Off-the-Shelf or Developed by the User, Depending on Specific Architectural Requirements Open Model Compilation Process xtuml Metamodel (predefined) Mapping Marking+ Architecture Metamodel xtuml Application Model(s) Other Design Fsdfsdfffffffffffffffffffffffffff Fsdfsdfffffffffffffffffffffffffff sdfddsd sdfddsd ERREREREDDFKMOMJIQOERN ERREREREDDFKMOMJIQOERN CWCNJIWNVIÅSERUVNÅ CWCNJIWNVIÅSERUVNÅ VRWEIVWNVWOIVÄNSDIRNVÄIRVNRÄINRVNTIWTV VRWEIVWNVWOIVÄNSDIRNVÄIRVNRÄINRVNTIWTV NFKMIWEUQIUECNCECNANCAC NFKMIWEUQIUECNCECNANCAC COCIRNANCIANC CNÄCN COCIRNANCIANC CNÄCN CNONCA<NRUCINU CNONCA<NRUCINU ACNECI<URCU<RC ACNECI<URCU<RC FSFSFFSVKSCNÄSV FSFSFFSVKSCNÄSV VEVN<NVOIVBAIRVNIOÄRNVÄVNWRUWR4584VAS VEVN<NVOIVBAIRVNIOÄRNVÄVNWRUWR4584VAS KCNNVBT7VAWNJJVB8WURVERVÖITVWRVIQVBB KCNNVBT7VAWNJJVB8WURVERVÖITVWRVIQVBB W7RVBÖBUBUAWEÖW57BVVBDFHVSHFHHHHHU W7RVBÖBUBUAWEÖW57BVVBDFHVSHFHHHHHU RYVBHNVHFVÖALSVV RYVBHNVHFVÖALSVV FVNÅV9V3VSC FVNÅV9V3VSC NVDSFSBVAÖSFDVÖWLUFVFÖWVAÖSKJDCVKWB NVDSFSBVAÖSFDVÖWLUFVFÖWVAÖSKJDCVKWB ERÖÖÖ ERÖÖÖ C SDFHVBSAYVBWEsd C SDFHVBSAYVBWEsd sd sd sddddddddddddddddddddddddddsswrwekrllköfks sddddddddddddddddddddddddddsswrwekrllköfks LFJSRVIOUYVBSFIVHBWIUERVBHILSHFVIWBVIF LFJSRVIOUYVBSFIVHBWIUERVBHILSHFVIWBVIF 21 Model Compiler Archetypes (Templates & Rules) xtuml Model Marks (Translation Control) Mechanisms (Class Components, Execution Control,...) Ada95 SPARK Ada C C++ Ada2005 VHDL SystemC Generation Database Doc Mapping Generator Build Info Source Code (Ada95, VHDL, ) Compiler/ Build Tools Manual/ Automatic Implementation Mapping Executable System Legend = PIM-Related Tools = Architecture-Related Tools = Implementation and Build-Related Tools/Activities xtuml Model Debugger
22 What has MDA and xtuml Delivered? Executable models/specifications (with an abstract and executable action language) Early validation of specifications execute the models while building them, without code generation Raised abstraction-level to a suitable level for each subject matter Reuse of applications across architectures and platforms capturing corporate knowledge of the company s applications without muddling them with implementation details Translation of executable models/specifications to implementations Possibility for repartitioning of functionality across a platform, e.g. between software and hardware Retargeting of functionality to new/modified platforms Reuse of architectural patterns across applications capturing corporate knowledge of the company s architectures and platforms Consistency between models, documentation and code Integration of systems, software and electronics engineering disciplines Raises the productivity Shortens the development time Gives cost effectiveness + competitive edge Increases product quality Increases flexibility in building systems (And it s a lot of fun too! ) 22
23 Vision: Platform-Independent Multi-System Translation System 1 Design Marking 1 System Specification System 2 Design Marking 2 Bridge Mapping 1 Realised Domain Domain xtuml Domain Model Realised Bridge Mappings2 Architecture Ada MC + Generator Ada/HDL MC Msl MC + Generator BP Build Tools GNAT Pro HDL Synthesis AdaMULTI AdaMULTI Implementation Application SW Application SW Application SW Software Platform GNAT Ada RTS SUN Solaris GH Ada RTS BSP GH Ada RTS BSP Hardware Platform SUN Sparc Workstation System 1 Same Functionality, Different Realisations Implementation System 2 Memory PowerPC PCI PowerPC FPGA Application FPGA Memory Network 23 Hardware
24 References Mellor/Scott/Uhl/Weise MDA Distilled Principles for Model Driven Architecture, 2004 overall principles of MDA Mellor/Balcer - Executable UML - A Foundation for Model-Driven Architecture, 2002 the official book about Executable UML Leon Starr - Executable UML, a case study, a hands-on example project Leon Starr - Executable UML - How to Build Class Models, 2001 book about Information Modelling with Executable UML the official Object Management Group MDA home page SMUG2004 Conference Presentations Mentor Graphics Erik Wedin, Saab Bofors Dynamics Evolving / Formalizing / Automating an Embedded Real-Time Software Architecture - The Leap from Hand-Coding to Automatic Code Translation with Retained Control over the Code Generation Process Anders Eriksson, Saab Bofors Dynamics Experiences from the First Step in Designing an Architecture Executing Executable UML Semantics in Programmable Logic Using VHDL 24
25 25
Evolving / Formalising / Automating an Embedded Real-Time Software Architecture
Evolving / Formalising / Automating an Embedded Real-Time Software Architecture The Leap from Hand-Coding to Automatic Code Translation with Retained Control over the Code Generation Process Erik Wedin
More informationOpen Code Translation from Executable UML Models
Open Code Translation from Executable UML Models Erik Wedin erik.wedin@dynamics.saab.se - Information Systems Development Department, Software Systems (RTLIS) - 2002 Saab Bofors Dynamics AB 2002-10-21
More informationMODEL-DRIVEN ARCHITECTURE OCH xtuml I PRAKTIKEN
MODEL-DRIVEN ARCHITECTURE OCH xtuml I PRAKTIKEN Erik Wedin, Senior Specialist Software Systems Architecture, Saab Bofors Dynamics erik.wedin@saabgroup.com November 20 2008 SESAM HÖSTSEMINARIE 2008 CONTENTS
More informationExperiences from the first step in designing an Architecture executing Executable UML semantics in Programmable Logic using VHDL
Experiences from the first step in designing an Architecture executing Executable UML semantics in Programmable Logic using VHDL 1 SAAB BOFORS DYNAMICS Anders Eriksson Senior Software Systems Engineer
More informationFirst To Market through Translation of Executable UML
1(40) A swedish friend asked: What is this uml uml that I see everywhere on the web? Humla : Swedish for bumble-bee. 2(40) The old story about the Depending on its weight in relation to the size of its
More informationRole of Executable UML in MDA. Presented by Shahid Alam
Role of Executable UML in MDA Presented by Shahid Alam salam3@connect.carleton.ca 12/2005 Outline Introduction to MDA Executable UML Does it apply to MDA Model Compilers Conclusion Model Driven Architecture
More informationxuml, AADL and Beyond
xuml and AADL xuml, AADL and Beyond Chris Raistrick www.kc.com xuml and AADL xuml Overview Chris Raistrick www.kc.com Platform Independent Model A Platform Independent Model (PIM) is a technology agnostic
More informationExecutable UML for Model Driven Architecture
Executable UML for Model Driven Architecture Executable UML update Raising the level of abstraction Some history & benefits. Short about Executable UML and Model Driven Architecture (MDA) PIM vs PSM Separation
More informationAn Introduction to Model Driven Engineering (MDE) Bahman Zamani, Ph.D. bahmanzamani.com
An Introduction to Model Driven Engineering (MDE) Bahman Zamani, Ph.D. bahmanzamani.com Department of Software Systems Engineering University of Isfahan Fall 2013 Overview Model & Modeling UML & UML Profile
More informationExecutable UML for Model Driven Architecture
Executable UML for Model Driven Architecture Executable UML update Raising the level of abstraction Some history & benefits. Executable UML and Model Driven Architecture (MDA) PIM vs PSM Separation and
More informationModel Driven Development with xtuml and BridgePoint
Model Driven Development with xtuml and BridgePoint xtuml Executable and Translatable UML Unified Modeling Language Industry standard notation Family of languages Executable UML Defines a method, including:
More informationRaising the Level of Development: Models, Architectures, Programs
IBM Software Group Raising the Level of Development: Models, Architectures, Programs Dr. James Rumbaugh IBM Distinguished Engineer Why Is Software Difficult? Business domain and computer have different
More informationModel Transformation Impact on Test Artifacts: An Empirical Study
Model Transformation Impact on Test Artifacts: An Empirical Study Anders Eriksson Informatics Research Center University of Skövde, Sweden anders.eriksson@his.se Birgitta Lindström Sten F. Andler Informatics
More informationSystem Level Design with IBM PowerPC Models
September 2005 System Level Design with IBM PowerPC Models A view of system level design SLE-m3 The System-Level Challenges Verification escapes cost design success There is a 45% chance of committing
More informationFrom MDD back to basic: Building DRE systems
From MDD back to basic: Building DRE systems, ENST MDx in software engineering Models are everywhere in engineering, and now in software engineering MD[A, D, E] aims at easing the construction of systems
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 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 informationMDA and Integration of Legacy Systems: An Industrial Case Study
MDA and Integration of Legacy Systems: An Industrial Case Study Parastoo Mohagheghi 1, Jan Pettersen Nytun 2, Selo 2, Warsun Najib 2 1 Ericson Norway-Grimstad, Postuttak, N-4898, Grimstad, Norway 1 Department
More informationEXECUTABLE UML. Author : Selo Sulistyo and Warsun Najib
EXECUTABLE UML Author : Selo Sulistyo and Warsun Najib Dept of Information and Communications Technology Agder University College, Norway Email : ssulis01@siving.hia.no wnajib01@siving.hia.no Abstract
More informationMDA, META-MODELLING and MODEL TRANSFORMATION. Introducing new Technology into the Defence Industry
MDA, META-MODELLING and MODEL TRANSFORMATION. Introducing new Technology into the Defence Industry Tony Bloomfield SELEX Sensors and Airborne Systems Ltd. (formerly BAE Systems Avionics Ltd) Crewe Toll,
More informationModelling in Enterprise Architecture. MSc Business Information Systems
Modelling in Enterprise Architecture MSc Business Information Systems Models and Modelling Modelling Describing and Representing all relevant aspects of a domain in a defined language. Result of modelling
More informationWhy and Where do we need Executable modeling?
Why and Where do we need Executable modeling? Presented by Francis Bordeleau francis.bordeleau@ericsson.com EXE 2015 Workshop, Ottawa (Canada) Sept. 27 th, 2015 Page 2 Outline context Personal background
More informationComposable Code Generation Applied to MDA
Composable Code Generation Applied to MDA Kirk Schloegel, David Oglesby, Eric Engstrom MDA Implementers Workshop December 2-5, 2003 Work is supported by a grant from DARPA. Agenda Modeling, Meta-modeling,
More informationCOMPANY RESTRICTED NOT EXPORT CONTROLLED NOT CLASSIFIED Your Name Document number Issue X Saab STEW Pontus de Laval, CTO
STEW 2016 Pontus de Laval, CTO AT THE FOREFRONT OF CHANGE 1941 First B17 delivered 1979 First order RBS 15 1990 First laser simulator BT 46 1992 ANZAC combat management systems for Australia s frigates
More informationTowards a PIM for virtual prototyping
Towards a PIM for virtual prototyping Adel SGHAIER, Thierry SORIANO, Skander TURKI Mechatronics department LIISIM SUPMECA Maison des technologies 83000 Toulon FRANCE Abstract: We work on the way of modelling
More informationComputation Independent Model (CIM): Platform Independent Model (PIM): Platform Specific Model (PSM): Implementation Specific Model (ISM):
viii Preface The software industry has evolved to tackle new approaches aligned with the Internet, object-orientation, distributed components and new platforms. However, the majority of the large information
More informationModel Driven Engineering (MDE)
Model Driven Engineering (MDE) Yngve Lamo 1 1 Faculty of Engineering, Bergen University College, Norway 26 April 2011 Ålesund Outline Background Software Engineering History, SE Model Driven Engineering
More informationCOMET. Component and Model-based development Methodology. Adapted from COMET I and COMBINE. COMET Methodology Handbook
COMET Component and Model-based development Methodology Adapted from COMET I and COMBINE COMET Methodology Handbook Business, Requirements, Architecture and Platform modelling documentation Date: 05. April
More informationSpemmet - A Tool for Modeling Software Processes with SPEM
Spemmet - A Tool for Modeling Software Processes with SPEM Tuomas Mäkilä tuomas.makila@it.utu.fi Antero Järvi antero.jarvi@it.utu.fi Abstract: The software development process has many unique attributes
More informationAutomation of Semantic Web based Digital Library using Unified Modeling Language Minal Bhise 1 1
Automation of Semantic Web based Digital Library using Unified Modeling Language Minal Bhise 1 1 Dhirubhai Ambani Institute for Information and Communication Technology, Gandhinagar, Gujarat, India Email:
More informationSYLLABUS CHAPTER - 1 [SOFTWARE REUSE SUCCESS FACTORS] Reuse Driven Software Engineering is a Business
Contents i UNIT - I UNIT - II UNIT - III CHAPTER - 1 [SOFTWARE REUSE SUCCESS FACTORS] Software Reuse Success Factors. CHAPTER - 2 [REUSE-DRIVEN SOFTWARE ENGINEERING IS A BUSINESS] Reuse Driven Software
More informationbahmanzamani.com Computer Engineering i Dept. University of Isfahan
(MDSE) Bh Bahman Zamani, iphd Ph.D. bahmanzamani.com Computer Engineering i Dept. University of Isfahan Presented at Sheikhbahaee University Baharestan - Isfahan Feb. 4 th, 2010 (1388/11/15) Model What
More informationSTRAST. UPMSat-2 On-board computers. Grupo de Sistemas de Tiempo Real y Arquitectura de Servicios Telemáticos Universidad Politécnica de Madrid.
On-board computers Grupo de Sistemas de Tiempo Real y Arquitectura de Servicios Telemáticos Universidad Politécnica de Madrid dit UPM Computers in spacecraft Computers are used on board of spacecraft for
More informationModellierung operationaler Aspekte von Systemarchitekturen. Master Thesis presentation. October 2005 March Mirko Bleyh - Medieninformatik
Modellierung operationaler Aspekte von Systemarchitekturen Master Thesis presentation October 2005 March 2006 Agenda Goals Model-Driven Software Development Pro-active Infrastructure (PAI) Operational
More informationMDA Driven xuml Plug-in for JAVA
2012 International Conference on Information and Network Technology (ICINT 2012) IPCSIT vol. 37 (2012) (2012) IACSIT Press, Singapore MDA Driven xuml Plug-in for JAVA A.M.Magar 1, S.S.Kulkarni 1, Pooja
More informationLong-term Planning of Development Efforts by Roadmapping a Model and Experiences from Small Software Companies
Long-term Planning of Development Efforts by Roadmapping a Model and Experiences from Small Software Companies Jarno Vähäniitty, Casper Lassenius, Kristian Rautiainen & Pasi Pekkanen
More informationFÖRSVARSELEKTRONIKINDUSTRIN I DAG OCH I MORGON. Hans Holmberg September 25, 2014 Försvarets Historiska Telesamlingar 30 års jubileum
FÖRSVARSELEKTRONIKINDUSTRIN I DAG OCH I MORGON Hans Holmberg September 25, 2014 Försvarets Historiska Telesamlingar 30 års jubileum SAAB ALWAYS AT THE FOREFRONT OF CHANGE PAGE 2 COMPANY UNCLASSIFIED SAAB
More informationEEL 5722C Field-Programmable Gate Array Design
EEL 5722C Field-Programmable Gate Array Design Lecture 19: Hardware-Software Co-Simulation* Prof. Mingjie Lin * Rabi Mahapatra, CpSc489 1 How to cosimulate? How to simulate hardware components of a mixed
More informationSoftware Engineering with Objects and Components Open Issues and Course Summary
Software Engineering with Objects and Components Open Issues and Course Summary Massimo Felici Software Engineering with Objects and Components Software development process Lifecycle models and main stages
More informationF-16 Modular Mission Computer Application Software
F-16 Modular Mission Computer Application Software Achieving Cross-Platform Compatibility with Increased Productivity and Quality using the OMG s Model Driven Architecture Lauren E. Clark Chief Engineer
More informationPisaTel Meeting Roma, 29 novembre 2007
Istituto di Scienza e Tecnologie dell'informazione A. Faedo Software Engineering Laboratory Tool support for model driven development in practice Antonino Sabetta ISTI-CNR, Pisa PisaTel Meeting Roma, 29
More informationModeling and Simulation for Heterogeneous systems
Modeling and Simulation for Heterogeneous systems Hosted Simulation for airvehicle subsystem design Henric Andersson Saab Aerosystems 2008-02-06 My background Control engineer from ISY Linköping University
More information!MDA$based*Teaching*and* Research*in*Software*Engineering*!
Plan!MDA$based*Teaching*and* Research*in*Software*Engineering*! Ludwik!Kuźniarz! Blekinge*Institute*of*Technology* School*of*Computing* Sweden*! Myself! Driven Architecture! MDA based Reaserch! Sample
More information02291: System Integration
02291: System Integration Week 10 Hubert Baumeister huba@dtu.dk DTU Compute Technical University of Denmark Spring 2018 Last Week Principles of good design: layered architecture Software Development Processes
More informationSoftware Engineering from a
Software Engineering from a modeling perspective Robert B. France Dept. of Computer Science Colorado State University USA france@cs.colostate.edu Softwaredevelopment problems Little or no prior planning
More informationObject-oriented development. Object-oriented Design. Objectives. Characteristics of OOD. Interacting objects. Topics covered
Object-oriented development Object-oriented Design Object-oriented analysis, design and programming are related but distinct. OOA is concerned with developing an object model of the application domain.
More informationUML-BASED CO-DESIGN FOR RUN-TIME RECONFIGURABLE ARCHITECTURES
Chapter 1 UML-BASED CO-DESIGN FOR RUN-TIME RECONFIGURABLE ARCHITECTURES Bernd Steinbach 1, Thomas Beierlein 2, Dominik Fröhlich 1,2 1 TU Bergakademie Freiberg Institute of Computer Science 2 Hochschule
More informationOBJECT ORIENTED SYSTEM DEVELOPMENT Software Development Dynamic System Development Information system solution Steps in System Development Analysis
UNIT I INTRODUCTION OBJECT ORIENTED SYSTEM DEVELOPMENT Software Development Dynamic System Development Information system solution Steps in System Development Analysis Design Implementation Testing Maintenance
More informationOutline. SLD challenges Platform Based Design (PBD) Leveraging state of the art CAD Metropolis. Case study: Wireless Sensor Network
By Alberto Puggelli Outline SLD challenges Platform Based Design (PBD) Case study: Wireless Sensor Network Leveraging state of the art CAD Metropolis Case study: JPEG Encoder SLD Challenge Establish a
More informationinnoq Deutschland GmbH innoq Schweiz GmbH D Ratingen CH-6330 Cham Tel Tel
innoq Deutschland GmbH innoq Schweiz GmbH D-40880 Ratingen CH-6330 Cham Tel +49 2102 77 1620 Tel +41 41 743 01 11 www.innoq.com Stefan Tilkov, stefan.tilkov@innoq.com 1 Goals Introduce MDE, MDA, MDD, MDSD,...
More informationA Model-based, Single-Source approach to Design-Space Exploration and Synthesis of Mixed-Criticality Systems
A Model-based, Single-Source approach to Design-Space Exploration and Synthesis of Mixed-Criticality Systems Reusability Optimization Architectural Mapping Schedulablity Analysis SW Synthesis Simulation
More informationModel-Based Systems Engineering Backbone of the Thales Engineering Manifesto
www.thalesgroup.com Model-Based Systems Engineering Backbone of the Thales Engineering Manifesto MBSE Symposium, Canberra Oct. 28 th, 2014 Olivier Flous, VP Engineering 2 / Thales: Company Profile Collective
More informationAvionics / Avionics Test Specialists
Innovative High Tech Solutions for Leading Edge Aerospace Companies www.icsaero.com Avionics / Avionics Test Specialists Design, Manufacture, and Production of Avionics and Avionics Test & Simulation Instruments
More informationModel Driven Development of Component Centric Applications
Model Driven Development of Component Centric Applications Andreas Heberle (entory AG), Rainer Neumann (PTV AG) Abstract. The development of applications has to be as efficient as possible. The Model Driven
More informationA Solution Based on Modeling and Code Generation for Embedded Control System
J. Software Engineering & Applications, 2009, 2: 160-164 doi:10.4236/jsea.2009.23023 Published Online October 2009 (http://www.scirp.org/journal/jsea) A Solution Based on Modeling and Code Generation for
More informationExecutive Summary. Round Trip Engineering of Space Systems. Change Log. Executive Summary. Visas
Reference: egos-stu-rts-rp-1002 Page 1/7 Authors: Andrey Sadovykh (SOFTEAM) Contributors: Tom Ritter, Andreas Hoffmann, Jürgen Großmann (FHG), Alexander Vankov, Oleg Estekhin (GTI6) Visas Surname - Name
More informationObject-Oriented Analysis and Design. Pre-UML Situation. The Unified Modeling Language. Unification Efforts
Object-Oriented Analysis and Design Analysis vs. Design Analysis Activities Finding the Objects/ Classes An Analysis Example The Unified Modeling Language Pre-UML Situation Early 90s Explosion of OO methods/notations
More informationdeveloper.* The Independent Magazine for Software Professionals
developer.* The Independent Magazine for Software Professionals Improving Developer Productivity With Domain-Specific Modeling Languages by Steven Kelly, PhD According to Software Productivity Research,
More informationUSING GENERIC OBJECT INHERITANCE
CONCEPTUAL DESIGN USING GENERIC OBJECT INHERITANCE http://www.iei.liu.se/machine Dr. Olof Johansson, Henric Andersson, Prof. Petter Krus Division of Machine Design Department of Management and Engineering
More informationDesigning Component-Based Architectures with Rational Rose RealTime
Designing Component-Based Architectures with Rational Rose RealTime by Reedy Feggins Senior System Engineer Rational Software Rose RealTime is a comprehensive visual development environment that delivers
More informationOMG MDA Implementers Conference. UML 2.0 Support for MDA in Dynamic Models: How Practical is Execution from Behavioral Models?
OMG MDA Implementers Conference UML 2.0 Support for MDA in Dynamic Models: How Practical is Execution from Behavioral Models? David Fado, May 2003 Introduction! UML 2 behavior diagrams offer enhanced ability
More informationHorizontal transformations for models reuse and tool chaining
Master of Science Thesis in Global Software Engineering Horizontal transformations for models reuse and tool chaining Stefano Cucchiella Department of Computer Science Universit{ degli Studi de L Aquila,
More informationSoftware Engineering
Software Engineering chap 4. Software Reuse 1 SuJin Choi, PhD. Sogang University Email: sujinchoi@sogang.ac.kr Slides modified, based on original slides by Ian Sommerville (Software Engineering 10 th Edition)
More informationApplying UML Modeling and MDA to Real-Time Software Development
Michael Benkel Aonix GmbH www.aonix.de michael.benkel@aonix.de Applying UML Modeling and MDA to Real-Time Software Development The growing complexity of embedded real-time applications requires presentation
More informationCOMPLEX EMBEDDED SYSTEMS
COMPLEX EMBEDDED SYSTEMS Embedded System Design and Architectures Summer Semester 2012 System and Software Engineering Prof. Dr.-Ing. Armin Zimmermann Contents System Design Phases Architecture of Embedded
More informationModelicaML: Getting Started Issue April 2012
ModelicaML: Getting Started Issue 1.6.5 13. April 2012 Wladimir Schamai EADS Innovation Works (Hamburg, Germany) Linkoping University (Linkoping, Sweden) Abstract: This document provides a short introduction
More informationOverview of lectures today and Wednesday
Model-driven development (MDA), Software Oriented Architecture (SOA) and semantic web (exemplified by WSMO) Draft of presentation John Krogstie Professor, IDI, NTNU Senior Researcher, SINTEF ICT 1 Overview
More informationMODEL-DRIVEN DEVELOPMENT OF COMMAND AND CONTROL CAPABILITIES FOR JOINT AND COALITION WARFARE
9 TH International Command and Control Research & Technology Symposium MODEL-DRIVEN DEVELOPMENT OF COMMAND AND CONTROL CAPABILITIES FOR JOINT AND COALITION WARFARE Robert Jacobs Computer Systems Center
More informationWhole Platform Foundation. The Long Way Toward Language Oriented Programming
Whole Platform Foundation The Long Way Toward Language Oriented Programming 2008 by Riccardo Solmi made available under the Creative Commons License last updated 22 October 2008 Outline Aim: Engineering
More informationHardware/Software Co-design
Hardware/Software Co-design Zebo Peng, Department of Computer and Information Science (IDA) Linköping University Course page: http://www.ida.liu.se/~petel/codesign/ 1 of 52 Lecture 1/2: Outline : an Introduction
More informationEuropean Component Oriented Architecture (ECOA ) Collaboration Programme: Architecture Specification Part 2: Definitions
European Component Oriented Architecture (ECOA ) Collaboration Programme: Part 2: Definitions BAE Ref No: IAWG-ECOA-TR-012 Dassault Ref No: DGT 144487-D Issue: 4 Prepared by BAE Systems (Operations) Limited
More informationOMG Specifications for Enterprise Interoperability
OMG Specifications for Enterprise Interoperability Brian Elvesæter* Arne-Jørgen Berre* *SINTEF ICT, P. O. Box 124 Blindern, N-0314 Oslo, Norway brian.elvesater@sintef.no arne.j.berre@sintef.no ABSTRACT:
More informationMDSE USE CASES. Chapter #3
Chapter #3 MDSE USE CASES Teaching material for the book Model-Driven Software Engineering in Practice by Morgan & Claypool, USA, 2012. www.mdse-book.com MDSE GOES FAR BEYOND CODE-GENERATION www.mdse-book.com
More informationModel Driven Development Unified Modeling Language (UML)
Model Driven Development Unified Modeling Language (UML) An Overview UML UML is a modeling notation standardized by OMG (proposal 1997, ver.1.1 in 1998, ver. 2.0 in 2004) now in 2.4.1 mature based on notations
More informationDesign of a flight simulator software architecture
School of Mathematis and System Engineering Reports from MSI - Rapporter från MSI Design of a flight simulator software architecture Karl-Erik Sjöquist April 2002 MSI Växjö University SE-351 95 VÄXJÖ Report
More informationCOrDeT Cannes : Use of domain engineering process to develop reusable architectures and building-blocks
COrDeT Cannes : Use of domain engineering process to develop reusable architectures and building-blocks G. Garcia 1, X. Olive 1, A. Pasetti 2, O. Rohlik 2, T. Vardanega 3, A.-I. Rodríguez-Rodríguez 4 A.
More informationMDD with OMG Standards MOF, OCL, QVT & Graph Transformations
1 MDD with OMG Standards MOF, OCL, QVT & Graph Transformations Andy Schürr Darmstadt University of Technology andy. schuerr@es.tu-darmstadt.de 20th Feb. 2007, Trento Outline of Presentation 2 Languages
More informationModelling Security in UML/OCL for C2IS
Modelling Security in UML/OCL for C2IS Robert Charpentier & Martin Salois R et D pour la défense Canada Defence R&D Canada Canada Plan Motivation & Objectives Software Certification Techniques Modelling
More informationQoS-aware model-driven SOA using SoaML
QoS-aware model-driven SOA using SoaML Niels Schot A thesis submitted for the degree of MSc Computer Science University of Twente EEMCS - TRESE: Software Engineering Group Examination committee: Luís Ferreira
More informationDesign of Embedded Systems
Design of Embedded Systems José Costa Software for Embedded Systems Departamento de Engenharia Informática (DEI) Instituto Superior Técnico 2015-01-02 José Costa (DEI/IST) Design of Embedded Systems 1
More informationExecutable UML. Stephen J. Mellor
Executable UML Stephen J. Mellor Executable UML is here. While it is possible today to add code to UML diagrams and then execute them, in so doing you must make a series of decisions about implementation
More informationLecture 13 Introduction to Software Architecture
Lecture 13 Introduction to Software Architecture Software Systems Design and Implementation ITCS/ITIS 6112/8112 Fall 2008 Dr. Jamie Payton Department of Computer Science University of North Carolina at
More informationComponents Based Design and Development. Unit 3: Software Design Quick Overview
Components Based Design and Development Computer Engineering Studies Universidad Carlos III de Madrid Unit 3: Software Design Quick Overview Juan Llorens Högskolan på Åland Finland / Universidad Carlos
More informationCompositional Model Based Software Development
Compositional Model Based Software Development Prof. Dr. Bernhard Rumpe http://www.se-rwth.de/ Seite 2 Our Working Groups and Topics Automotive / Robotics Autonomous driving Functional architecture Variability
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 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 informationExecution of UML models Present and Future of Research and Practice
Execution of UML models Present and Future of Research and Practice Federico Ciccozzi, Ivano Malavolta, Bran Selic Mälardalen University, Vrije University, Malina Software Corp. Ericsson Modeling Days
More informationWhat s New with the MATLAB and Simulink Product Families. Marta Wilczkowiak & Coorous Mohtadi Application Engineering Group
What s New with the MATLAB and Simulink Product Families Marta Wilczkowiak & Coorous Mohtadi Application Engineering Group 1 Area MATLAB Math, Statistics, and Optimization Application Deployment Parallel
More informationCSSE 490 Model-Based Software Engineering: More MBSD. Shawn Bohner Office: Moench Room F212 Phone: (812)
CSSE 490 Model-Based Software Engineering: More MBSD Shawn Bohner Office: Moench Room F212 Phone: (812) 877-8685 Email: bohner@rose-hulman.edu Learning Outcomes: MBE Discipline Relate Model-Based Engineering
More informationFunctional Programming in Hardware Design
Functional Programming in Hardware Design Tomasz Wegrzanowski Saarland University Tomasz.Wegrzanowski@gmail.com 1 Introduction According to the Moore s law, hardware complexity grows exponentially, doubling
More informationIntegrating Domain Specific Modeling into the Production Method of a Software Product Line
Integrating Domain Specific Modeling into the Production Method of a Software Product Line Gary J. Chastek Software Engineering Institute John D. McGregor Clemson University Introduction This paper describes
More informationBuilding and Implementing Concurrent Specifications
Building and Implementing Concurrent Specifications Stephen J. Mellor Chief Scientist Cortland D. Starrett Engineering Manager A simple embedded system Set the cooking time, close the door press cook.
More informationModel-Driven *: Beyond Code Generation
Model-Driven *: Beyond Code Generation John Hogg COO, Zeligsoft 2004-05-20 Version 1.0 Introduction MDA is more than a CIM, a PIM and a PSM MDA is a pattern MDA is a philosophy work at the model level
More informationISO Compliant Automatic Requirements-Based Testing for TargetLink
ISO 26262 Compliant Automatic Requirements-Based Testing for TargetLink Dr. Udo Brockmeyer CEO BTC Embedded Systems AG An der Schmiede 4, 26135 Oldenburg, Germany udo.brockmeyer@btc-es.de Adrian Valea
More informationHOW TO DO BUSINESS WITH Lockheed Martin. Copyright 2017, Lockheed Martin Corporation. All rights reserved 0000.PPT 8/8/2017 1
HOW TO DO BUSINESS WITH Lockheed Martin Copyright 2017, Lockheed Martin Corporation. All rights reserved 0000.PPT 8/8/2017 1 Vision Lockheed Martin is the Leading Aerospace and Global Security Company,
More informationCodegenerierung für Embedded Systeme leicht gemacht So geht s!
Codegenerierung für Embedded Systeme leicht gemacht So geht s! Tobias Kuschmider MathWorks München, 9.07.2014 2014 The MathWorks, Inc. 1 Agenda Model-Based Design An Introduction Use of Production Code
More informationTeam-Based Collaboration in Simulink
Team-Based Collaboration in Simulink Sonia Bridge 2015 The MathWorks, Inc. 1 Create tools that make it easy for teams to manage the full lifecycle of their Model-Based Design projects Collaborate Integrate
More informationAADL to build DRE systems, experiments with Ocarina. Jérôme Hugues, ENST
AADL to build DRE systems, experiments with Ocarina Jérôme Hugues, ENST ENST Research topic: Methods for DRE Building a DRE is still a complex issue: RT-CORBA, DDS are only partial solutions Still difficult
More informationCOMET. Component and Model-based development Methodology. Adapted from the COMBINE methodology. COMET Methodology Handbook
COMET Component and Model-based development Methodology Adapted from the COMBINE methodology COMET Methodology Handbook Business, Requirements, Architecture and Platform modelling documentation Date: 24
More informationxtuml: Current and Next State of a Modeling Dialect
xtuml: Current and Next State of a Modeling Dialect (Experience Report and Historical View) Cortland Starrett One Fact Inc. 10412 US HWY 52 S Clarks Hill, Indiana 47930 USA cortland.starrett@onefact.net
More information