Multidisciplinary Modelling: Current status and expectations in the Dutch TWINS consortium { F.P.M.Stappers, L.J.A.M.Somers, M.A.Reniers ICSSEA’08.

Slides:



Advertisements
Similar presentations
Eclipse, M2M and the Internet of Things
Advertisements

Technische universiteit eindhoven PROGRESS 11 December 2002www.ics.ele.tue.nl/~btheelen1 Performance Modelling of Complex Hardware/Software Systems B.D.
Model Driven Generative Programming Reza Azimi February 6, 2003 ECE1770: Trends in Middleware Systems.
ECOE 560 Design Methodologies and Tools for Software/Hardware Systems Spring 2004 Serdar Taşıran.
CS 325: Software Engineering January 13, 2015 Introduction Defining Software Engineering SWE vs. CS Software Life-Cycle Software Processes Waterfall Process.
Behavioural visualization of model based systems Michel Reniers QA & Test 2009 October 23, 2009.
Unrestricted © Siemens AG All rights reserved. The Digital Factory – Enabling a Holistic Approach to Automation MIT Industrial IoT Workshop – October.
Formal Methods in Software Engineering Credit Hours: 3+0 By: Qaisar Javaid Assistant Professor Formal Methods in Software Engineering1.
IRRIIS – Integrated Risk Reduction of Information-based Infrastructure Systems Workshop - Middleware Improved Technology for Interdependent Critical Infrastructures.
CSC 402 Requirements Engineering 1. 2 Problem Definition Requirements Definition informal statement of need for system natural language statement of what.
Behavioral Design Outline –Design Specification –Behavioral Design –Behavioral Specification –Hardware Description Languages –Behavioral Simulation –Behavioral.
Computer Engineering 203 R Smith Requirements Management 6/ Requirements IEEE Standard Glossary A condition or capability needed by a user to solve.
1/31 CS 426 Senior Projects Chapter 1: What is UML? Chapter 2: What is UP? [Arlow and Neustadt, 2005] January 22, 2009.
1 Review.  Influences  Problem Domain  Ilities  Marketecture and Tarchitecture Collide  Technology Base  Human Influences on This  Results now.
Requirements modelling motivations: I We need a language for communicating shared perceptions of the requirements for the target system between human stakeholders.
© 2006 Pearson Addison-Wesley. All rights reserved2-1 Chapter 2 Principles of Programming & Software Engineering.
1 CS 426 Senior Projects Chapter 1: What is UML? Chapter 2: What is UP? [Arlow and Neustadt, 2002] January 26, 2006.
12/01/041 « Engineering of complex systems » Ecole Polytechnique - Thales Daniel Krob December 2004 Presentation of the chair.
Mastering OOA/OOD with UML. Contents Introduction Requirements Overview OOAOOD.
Software Verification and Validation (V&V) By Roger U. Fujii Presented by Donovan Faustino.
Hardware/Software Partitioning Witawas Srisa-an Embedded Systems Design and Implementation.
Merlin ITEA Symposium Merlin Overview2 Problem domain Companies hardly develop embedded products completely on their own Embedded systems need.
Engineering Systems of.
Computers Are Your Future Eleventh Edition Chapter 10: Careers & Certification Copyright © 2011 Pearson Education, Inc. Publishing as Prentice Hall1.
Model Based Systems Engineering (MBSE) using SysML GSFC Systems Engineering Seminar June 8, 2010 Sanford Friedenthal Lockheed Martin
William H. Bowers – User-Centered Product Teams Torres 4.
Network of Excellence in Internet Science Network of Excellence in Internet Science (EINS) 2 nd REVIEW Brussels, 4-5 February 2014 FP7-ICT
© Siemens AG, CT SE 1, Dr. A. Ulrich C O R P O R A T E T E C H N O L O G Y Research at Siemens CT SE Software & Engineering Development Techniques.
On the relation between software development and control function development in automotive embedded systems Stefan Kowalewski Embedded Software Laboratory.
Changing Boundaries: The Challenges of Interdisciplinary Research Catherine Lyall ISSTI/Innogen University of Edinburgh.
1 Chapter 2 The Process. 2 Process  What is it?  Who does it?  Why is it important?  What are the steps?  What is the work product?  How to ensure.
 Dipl.-Ing. Lars Grunske, 1 Hasso-Plattner-Institute for Software System Engineering at the University of Potsdam Department of Software Engineering and.
Overview of Formal Methods. Topics Introduction and terminology FM and Software Engineering Applications of FM Propositional and Predicate Logic Program.
PRESTO: Improvements of Industrial Real-Time Embedded Systems Development Process
High Performance Embedded Computing © 2007 Elsevier Lecture 3: Design Methodologies Embedded Computing Systems Mikko Lipasti, adapted from M. Schulte Based.
System Design with CoWare N2C - Overview. 2 Agenda q Overview –CoWare background and focus –Understanding current design flows –CoWare technology overview.
TerraSwarm Sponsored by the TerraSwarm Research Center, one of six centers administered by the STARnet phase of the Focus Center Research Program (FCRP)
High Performance Embedded Computing © 2007 Elsevier Chapter 1, part 2: Embedded Computing High Performance Embedded Computing Wayne Wolf.
Framework for the Development and Testing of Dependable and Safety-Critical Systems IKTA 065/ Supported by the Information and Communication.
IRRIIS-FP6-2005–IST-4 IRRIIS Project Overview 3rd Public IRRIIS Workshop September 6, 2007, Bonn, Hotel Königshof Erich Rome, FhG-IAIS.
1 Dr. Ralph R. Young Director of Software Engineering PRC, Inc. (703) DOORS USER GROUP CONFERENCE Reston, VA September 17,
Copyright © 2003 Sherif Kamel Issues in Knowledge Management Dr Sherif Kamel The American University in Cairo.
ESL and High-level Design: Who Cares? Anmol Mathur CTO and co-founder, Calypto Design Systems.
MODA-TEL An IST project on Model Driven Architectures for Telecommunications System Development and Operation.
© 2012 xtUML.org Bill Chown – Mentor Graphics Model Driven Engineering.
A Static Approach to Consistency Verification of UML Models Andrea Baruzzo Department of Computer Science University of Udine MoDeV.
Chapter 2 Iterative, Evolutionary, and Agile You should use iterative development only on projects that you want to succeed. - Martin Fowler 1CS
1 Software Development Software Engineering is the study of the techniques and theory that support the development of high-quality software The focus is.
The Role of Experience in Software Testing Practice Zahra Molaei Soheil Hedayatitezengi Comp 587 Prof. Lingard 1 of 21.
Voicu Groza, 2008 SITE, HARDWARE/SOFTWARE CODESIGN OF EMBEDDED SYSTEMS 1 Hardware/Software Codesign of Embedded Systems CONCURRENT ENGINEERING Voicu.
Requirements Specification. Welcome to Software Engineering: “Requirements Specification” “Requirements Specification”  Verb?  Noun?  “Specification”
FDT Foil no 1 On Methodology from Domain to System Descriptions by Rolv Bræk NTNU Workshop on Philosophy and Applicablitiy of Formal Languages Geneve 15.
Anton Krbaťa Ján Budáč  Verification: "Are we building the product right ?„  Validation: "Are we building the right product ?"
Experiences from Representing Software Architecture in a Large Industrial Project Using Model Driven Development Andres Mattsson 1 Björn Lundell 2 Brian.
© 2006 Pearson Addison-Wesley. All rights reserved2-1 Chapter 2 Principles of Programming & Software Engineering.
© 2006 Pearson Addison-Wesley. All rights reserved 2-1 Chapter 2 Principles of Programming & Software Engineering.
Slide title 70 pt CAPITALS Slide subtitle minimum 30 pt Csaba Antal, Ph.D. Head of Technology Unit Ericsson Hungary R&D Development Unit Network Functions.
Stand Up Comedy Project/Product Management
Science and Technology Norwegian University of NTNU Rolv Bræk, January Introduction to Systems Engineering by Rolv Bræk NTNU.
Rational Unified Process Fundamentals Best Practices of Software Engineering Rational Unified Process Fundamentals Best Practices of Software Engineering.
DICOMA DIsaster COntrol MAnagement Co-summit & 31 October, Paris - France Eloy González Ortega Indra Software Labs.
21/1/ Analysis - Model of real-world situation - What ? System Design - Overall architecture (sub-systems) Object Design - Refinement of Design.
Hall, Accounting Information Systems, 8e ©2013 Cengage Learning. All Rights Reserved. May not be scanned, copied or duplicated, or posted to a publicly.
Testing Overview Software Reliability Techniques Testing Concepts CEN 4010 Class 24 – 11/17.
Decisive Themes, July, JL-1 ARTEMIS Decisive Theme for Integrasys Pedro A. Ruiz Integrasys July, 2011.
Guidelines of Business Process Modeling Team: Alejandra Saavedra Andrea Rodriguez Ez Lawrence.
April 15, 2013 Atul Kwatra Principal Engineer Intel Corporation Hardware/Software Co-design using SystemC/TLM – Challenges & Opportunities ISCUG ’13.
TOPIC : PROJECT MANAGER
Activities of Formal Methods
Presentation transcript:

Multidisciplinary Modelling: Current status and expectations in the Dutch TWINS consortium { F.P.M.Stappers, L.J.A.M.Somers, M.A.Reniers ICSSEA’08 Ecole Nationale Supérieure des Télécommunications Paris, France, December 9, 2008

Motivation Growing number of SW-HW embedded machines Many disciplines, mono-disciplinary focus Shorter time to market, growing complexity, increasing product quality Problematic integration trajectory ICSSEA'08 - F.P.M.Stappers, L.J.A.M.Somers, M.A.Reniers 29 Dec. 2008

ITEA TWINS Project Goals TWINStWi nSTWINS: Optimizing HW-SW Co-Design Flow for Software Intensive System Development ICSSEA'08 - F.P.M.Stappers, L.J.A.M.Somers, M.A.Reniers 39 Dec Communication Communication Consistency Consistency MDA/MBD/MDTE MDA/MBD/MDTE Understand physics Understand physics Control synthesis Control synthesis Verify models Verify models … …

Partners ICSSEA'08 - F.P.M.Stappers, L.J.A.M.Somers, M.A.Reniers 49 Dec. 2008

Approach for investigation topics Obtained by: Project requirement analysis Use case analysis Plenary meetings 5 topics: Testing Verification Simulation Model Driven development Multi-disciplinary development language ICSSEA'08 - F.P.M.Stappers, L.J.A.M.Somers, M.A.Reniers 59 Dec. 2008

Current industrial practices Design phase Product Development System Design Decomposition Integration phase System verification phase Observation Simulation Formal verification ICSSEA'08 - F.P.M.Stappers, L.J.A.M.Somers, M.A.Reniers 69 Dec. 2008

Design Phase – Product Development ICSSEA'08 - F.P.M.Stappers, L.J.A.M.Somers, M.A.Reniers 79 Dec. 2008

Design Phase – Product Development ICSSEA'08 - F.P.M.Stappers, L.J.A.M.Somers, M.A.Reniers 89 Dec. 2008

Design Phase – Product Development V-model extensions Contribution to harmonization between disciplines Accessible, understandable, readable Manage track-and-trace development Hard to remove inconsistency Difficult to trace the precise progress ICSSEA'08 - F.P.M.Stappers, L.J.A.M.Somers, M.A.Reniers 99 Dec. 2008

Design Phase – System Design Purpose: Communication for stakeholders/engineers Project management Risk reduction System correctness Requirement types: Functional Non-Functional ICSSEA'08 - F.P.M.Stappers, L.J.A.M.Somers, M.A.Reniers 109 Dec. 2008

Design Phase – System Design Decomposition ICSSEA'08 - F.P.M.Stappers, L.J.A.M.Somers, M.A.Reniers11 9 Dec SystemRequirements MechanicalBehaviourDesign StaticPhysicalDesignElectrotechnicalDesign SoftwareDesign

Design Phase – System Design Decomposition – System Requirements ICSSEA'08 - F.P.M.Stappers, L.J.A.M.Somers, M.A.Reniers 129 Dec. 2008

Design Phase – System Design Decomposition – Mechanical Behaviour Designs ICSSEA'08 - F.P.M.Stappers, L.J.A.M.Somers, M.A.Reniers 139 Dec. 2008

Design Phase – System Design Decomposition – Software Designs ICSSEA'08 - F.P.M.Stappers, L.J.A.M.Somers, M.A.Reniers 149 Dec. 2008

Design Phase – System Design Decomposition – Static Physical Designs ICSSEA'08 - F.P.M.Stappers, L.J.A.M.Somers, M.A.Reniers 159 Dec. 2008

Design Phase – System Design Decomposition – Electrotechnical Designs ICSSEA'08 - F.P.M.Stappers, L.J.A.M.Somers, M.A.Reniers 169 Dec. 2008

Integration phase – Problems ICSSEA'08 - F.P.M.Stappers, L.J.A.M.Somers, M.A.Reniers 179 Dec. 2008

Integration phase – Current approaches ICSSEA'08 - F.P.M.Stappers, L.J.A.M.Somers, M.A.Reniers 189 Dec. 2008

System verification phase System design level Integration level Realisation level ICSSEA'08 - F.P.M.Stappers, L.J.A.M.Somers, M.A.Reniers 199 Dec. 2008

Technical Contribution ICSSEA'08 - F.P.M.Stappers, L.J.A.M.Somers, M.A.Reniers 209 Dec. 2008

Results Tools depend on industrial field Tools have mono-disciplinary focus Tools are vendor locked Models used are non-formal Multi-disciplinary model can reduce test time Cohesion between partners methods ICSSEA'08 - F.P.M.Stappers, L.J.A.M.Somers, M.A.Reniers 219 Dec. 2008

Questions ICSSEA'08 - F.P.M.Stappers, L.J.A.M.Somers, M.A.Reniers 229 Dec. 2008