© Fraunhofer IESE Fraunhofer IESE Multi-Language Development of Embedded Systems Dr. Thomas Kuhn Tel.: 0049 631-6800 2177.

Slides:



Advertisements
Similar presentations
2009 – E. Félix Security DSL Toward model-based security engineering: developing a security analysis DSML Véronique Normand, Edith Félix, Thales Research.
Advertisements

Visualization Kenny Inthirath.  Reviewing a Suitable Technique to Use  Scope and Purpose  What types of models can be represented?  Architectural.
Presented by: Thabet Kacem Spring Outline Contributions Introduction Proposed Approach Related Work Reconception of ADLs XTEAM Tool Chain Discussion.
Verification/Simulati on –GUI for simulation and formal verification –Simulator: Exploration of dynamic behavior Checking.
Filling the Gap Between System Design & Performance Verification Rafik HENIA, Laurent RIOUX, Nicolas SORDON Thales Research & Technology.
Slide 1 Software Engineering of Safety-Critical Adaptive Embedded Systems Copyright © Fraunhofer IESE 2007 Software Engineering of Safety-Critical Adaptive.
Building Enterprise Applications Using Visual Studio ®.NET Enterprise Architect.
XOWL – an Executable Modeling Language for Domain Experts Laurent WOUTERS (EADS Innovation Works, France) Marie-Pierre GERVAIS (Université Paris Ouest,
Introduction To System Analysis and Design
Software Testing and Quality Assurance
Automated Analysis and Code Generation for Domain-Specific Models George Edwards Center for Systems and Software Engineering University of Southern California.
Chess Review May 8, 2003 Berkeley, CA Classes and Inheritance in Actor- Oriented Models Stephen Neuendorffer Edward Lee UC Berkeley.
Knowledge Acquisitioning. Definition The transfer and transformation of potential problem solving expertise from some knowledge source to a program.
Design Patterns CS is not simply about programming
A Model-Driven Framework for Architectural Evaluation of Mobile Software Systems George Edwards Dr. Nenad Medvidovic Center.
1 Software Architecture: a Roadmap David Garlen Roshanak Roshandel Yulong Liu.
1 SWE Introduction to Software Engineering Lecture 15 – System Modeling Using UML.
UML CASE Tool. ABSTRACT Domain analysis enables identifying families of applications and capturing their terminology in order to assist and guide system.
Whole Platform Tesi di Dottorato di: RICCARDO SOLMI Università degli Studi di Bologna Facoltà di scienze matematiche, fisiche e naturali Corso di Dottorato.
The middleware that makes real time integration a reality.
MOBIES Project Progress Report Engine Throttle Controller Design Using Multiple Models of Computation Edward Lee Haiyang Zheng with thanks to Ptolemy Group.
Architectural Design Establishing the overall structure of a software system Objectives To introduce architectural design and to discuss its importance.
Applying MDA in the ATM: A practical approach Teodora Bozheva, Terry Bailey (ESI) Julia Reznik, Tom Ritter (Fraunhofer FOKUS)
©Ian Sommerville 2000 Software Engineering, 6th edition. Chapter 7 Slide 1 System models l Abstract descriptions of systems whose requirements are being.
CPIS 357 Software Quality & Testing
©Ian Sommerville 2000 Software Engineering, 6th edition. Chapter 7 Slide 1 System models l Abstract descriptions of systems whose requirements are being.
Chapter 4 System Models A description of the various models that can be used to specify software systems.
 Dipl.-Ing. Lars Grunske, 1 Hasso-Plattner-Institute for Software System Engineering at the University of Potsdam Department of Software Engineering and.
©Ian Sommerville 2000 Software Engineering, 6th edition. Slide 1 Component-based development l Building software from reusable components l Objectives.
MDE Model Driven Engineering Xavier Blanc Université Pierre et Marie Curie
Assessing the Suitability of UML for Modeling Software Architectures Nenad Medvidovic Computer Science Department University of Southern California Los.
Agenda 1. Introduction 2. Overview of SU-MoVal 3. OCL-based Model Validation 4. QVT-based Transformations 5. Demo of SU-MoVal 6. Conclusion and Future.
Building Tools by Model Transformations in Eclipse Oskars Vilitis, Audris Kalnins, Edgars Celms, Elina Kalnina, Agris Sostaks, Janis Barzdins Institute.
CBD Papers Alexandre Alvaro. Lessons Learned through Six Years of Component-based Development Six years of component-based application development Using.
A Novel Approach to Architectural Recovery in Evolving Object- Oriented Systems PhD thesis Koen De Hondt December 11, 1998.
© DATAMAT S.p.A. – Giuseppe Avellino, Stefano Beco, Barbara Cantalupo, Andrea Cavallini A Semantic Workflow Authoring Tool for Programming Grids.
University of Southern California Center for Systems and Software Engineering Model-Based Software Engineering Supannika Koolmanojwong Spring 2013.
Chapter 7 System models.
Selected Topics in Software Engineering - Distributed Software Development.
R2PL, Pittsburgh November 10, 2005 Copyright © Fraunhofer IESE 2005 Identifying Domain-Specific Reusable Components from Existing OO Systems to Support.
© 2012 xtUML.org Bill Chown – Mentor Graphics Model Driven Engineering.
Pertemuan 19 PEMODELAN SISTEM Matakuliah: D0174/ Pemodelan Sistem dan Simulasi Tahun: Tahun 2009.
Sommerville 2004,Mejia-Alvarez 2009Software Engineering, 7th edition. Chapter 8 Slide 1 System models.
1 Introduction to Software Engineering Lecture 1.
Modeling Component-based Software Systems with UML 2.0 George T. Edwards Jaiganesh Balasubramanian Arvind S. Krishna Vanderbilt University Nashville, TN.
Performance evaluation of component-based software systems Seminar of Component Engineering course Rofideh hadighi 7 Jan 2010.
INRIA - LaBRICharles Consel Jan-06 1 Domain-Specific Software Engineering Charles Consel Phoenix Research Group LaBRI /INRIA-Futurs January 2006.
A common meta-model for the interoperation of tools with heterogeneous data models ECMFA 2010 Third Workshop on Model-Driven Tool & Process Integration.
ModelPedia Model Driven Engineering Graphical User Interfaces for Web 2.0 Sites Centro de Informática – CIn/UFPe ORCAS Group Eclipse GMF Fábio M. Pereira.
© Siemens AG, CT SE 2 C O R P O R A T E T E C H N O L O G Y 1 Model-Driven Development for Pluggable Collaborations Iris Groher, Stephan Bleicher, Christa.
Dynamic and Selective Combination of Extension in Component-based Applications Eddy Truyen, Bart Vanhaute, Wouter Joosen, Pierre Verbaeten, Bo N. Jørgensen.
ProActive components and legacy code Matthieu MOREL.
©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 8 Slide 1 System models.
Slide title In CAPITALS 50 pt Slide subtitle 32 pt Robust Reconfigurable Erlang Component System ErlCOM Gabor Batori, Zoltan Theisz, Domonkos Asztalos.
Teaching The Principles Of System Design, Platform Development and Hardware Acceleration Tim Kranich
CrossCheckSimulation Results Conclusions References Model Instrumentation Modeling with CUTS Property Specification SPRUCE Challenge Problem Checking Model.
Winter 2011SEG Chapter 11 Chapter 1 (Part 1) Review from previous courses Subject 1: The Software Development Process.
XASTRO-2 Presentation CCSDS SAWG th November 2004.
Lecture 21: Component-Based Software Engineering
® IBM Software Group © 2009 IBM Corporation Essentials of Modeling with IBM Rational Software Architect V7.5 Module 13: Traceability with WebSphere Business.
George Edwards Computer Science Department Center for Systems and Software Engineering University of Southern California
WELCOME TO OUR PRESENTATION UNIFIED MODELING LANGUAGE (UML)
Review of last class Software Engineering Modeling Problem Solving
Cloud Modeling Framework CloudMF
The Extensible Tool-chain for Evaluation of Architectural Models
Tools for Composing and Deploying Grid Middleware Web Services
System Concept Simulation for Concurrent Engineering
Automated Analysis and Code Generation for Domain-Specific Models
Mark McKelvin EE249 Embedded System Design December 03, 2002
Presentation transcript:

© Fraunhofer IESE Fraunhofer IESE Multi-Language Development of Embedded Systems Dr. Thomas Kuhn Tel.:

© Fraunhofer IESE Outline Motivation Multi-language development with CompoSE CompoSE language components CompoSE Infrastructure and Runtime framework Conclusion

© Fraunhofer IESE Motivation – multi language design Complex systems consist of multiple components Components are defined through views Interface, Behavior, Safety requirements Specification / realization Views represent concerns of Roles Architect Domain expert Safety engineer Interface Behavior Safety

© Fraunhofer IESE Motivation – multi language design Each viewpoint/role has its own concepts Fault trees UML Data flow Languages express role-specific concepts Generic modeling languages (Domain) specific languages Properties store view-specific data & models Interface Behavior Safety

© Fraunhofer IESE Motivation – multi language design Domain specific languages / generic languages Domain specific languages Tailored, Intuitive Generic languages Complex, not well focused Holistic component definitions require multiple modeling languages Interface Behavior Safety

© Fraunhofer IESE Motivation – multi language design Components defined through mixture Domain specific languages Proven off the shelf languages Challenges Language integration Consistency Tool integration Runtime environments

© Fraunhofer IESE Multi-language development with CompoSE CompoSE supports multi language development Host language Predefined views Language components Host language Components, Properties Defines components through views Language components Integrate new languages, views, tool chains, and runtime support

© Fraunhofer IESE Multi-language development with CompoSE CompoSE host language Components Properties Views Types Transformations Checks

© Fraunhofer IESE Multi-language development with CompoSE Component Defines an entity of the system Defined by properties Component name Component substructure Interface Domain specific properties Behavior

© Fraunhofer IESE Multi-language development with CompoSE Component views Represent one viewpoint Define data structures for view specific data Simple properties Black box models (unknown / native structure) White box models (with meta models) Integrate tool chains for manipulating data Industrial strength tool chains Domain specific editors [Editor] [Simulink realization]

© Fraunhofer IESE Multi-language development with CompoSE Types Define property contents Transformations Data exchange between views Synchronization between views Uni-/Bidirectional

© Fraunhofer IESE Multi-language development with CompoSE Checks Operate on Basic properties White-box models Ensure Constraints Consistency ? ?

© Fraunhofer IESE CompoSE language components Language level Modeling languages and views Infrastructure Editors & Generators Simulators / Analysis tools Runtime Support libraries Runtime

© Fraunhofer IESE CompoSE language components LanguageInfrastructureRuntime

© Fraunhofer IESE CompoSE infrastructure and runtime framework Infrastructure and runtime framework Integrates tool chains Editors Code generators Runtime support Support libraries Schedulers Runtime models Runtime

© Fraunhofer IESE CompoSE Infrastructure and Runtime framework Infrastructure Editors provide common interface Editor proxies Basic interface Open model Report changed model Simplistic implementation [Editor]

© Fraunhofer IESE CompoSE Infrastructure and Runtime framework Instance of generator metaclass Interface to Simulink code generator Adapter code implements runtime interface

© Fraunhofer IESE Conclusion CompoSE Component-based light-weight language coupling Host language defines components Language components integrate modeling languages Language, infrastructure, runtime Concepts Components with properties Black box / white box models Synchronization Checks Rationale Rapid integration of tool chains and languages Rapid development of domain specific modeling approaches