Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IX, Schloss Dagstuhl, Germany, April 24-26, 2013, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme

In der modellbasierten Entwicklung eingebetteter Software, insbesondere im Automobilbereich, wird Matlab/Simulink verbreitet eingesetzt. Im Rahmen der Modellerstellung, -wartung und -pflege häufig benötigte Änderungen an den Modellen, wie die Restrukturierung der Modellstruktur und Generierung von Modellkonstrukten, werden überlicherweise manuell, mit den vorhandenen Modellierungsmitteln des Simulink-Editors, durchgeführt. Dieser Beitrag beschreibt einen Ansatz zur Erstellung von Simulink-Modellen, bei dem aus der Analyse typischer Modellierungsabläufe, Operationen zur Generierung von Modellmustern und -konstrukten sowie zur Transformation bzw. zum Refactoring von Simulink-Modellen abgeleitet werden. In diesem Zusammenhang wird ein Transformations-/Operations-Katalog vorgestellt und über ein prototypisches Framework zur Integration von Transformationen und generativen Operationen in die Simulink-Entwicklungsumgebung berichtet.

[1]  John Favaro,et al.  Next Generation Requirements Engineering , 2011 .

[2]  Frank Ortmeier,et al.  Safety optimization: a combination of fault tree analysis and optimization techniques , 2004, International Conference on Dependable Systems and Networks, 2004.

[3]  M. Sallinen,et al.  Application Scenario for NFC: Mobile Tool for Industrial Worker , 2008, 2008 Second International Conference on Sensor Technologies and Applications (sensorcomm 2008).

[4]  Harald Albrecht,et al.  On Meta-Modeling for Communication in Operational Process Control Engineering , 2003 .

[5]  Christian Berger,et al.  Model-based, composable simulation for the development of autonomous miniature vehicles , 2013, SpringSim.

[6]  Terry Bailey,et al.  From code centric to model centric software engineering: Practices, Implications and ROI , 2009 .

[7]  B. I. Silva,et al.  Modeling and Verifying Hybrid Dynamic Systems Using CheckMate , 2001 .

[8]  Sooyong Park,et al.  UML-based service robot software development: a case study , 2006, ICSE '06.

[9]  Frank Ortmeier,et al.  Probabilistic Model-Based Safety Analysis , 2010, QAPL.

[10]  Christine Rochange.  An Overview of Approaches Towards the Timing Analysability of Parallel Architecture , 2011, PPES.

[11]  Lothar Thiele,et al.  A general framework for analysing system properties in platform-based embedded system designs , 2003, 2003 Design, Automation and Test in Europe Conference and Exhibition.

[12]  Brian C. Williams,et al.  Model-based programming of intelligent embedded systems and robotic space explorers , 2003, Proc. IEEE.

[13]  Pieter J. Mosterman,et al.  Model Reuse for the Training of Fault Scenarios in Aerospace , 2004 .

[14]  Bernhard Rumpe,et al.  SSELab: A plug-in-based framework for web-based project portals , 2012, 2012 Second International Workshop on Developing Tools as Plug-Ins (TOPI).

[15]  Lionel Morel,et al.  Mode-Automata in Simulink/Stateflow , 2006 .

[16]  Robert K. Brayton,et al.  Verifying Continuous Time Markov Chains , 1996, CAV.

[17]  Pascal Sainrat,et al.  OTAWA: An Open Toolbox for Adaptive WCET Analysis , 2010, SEUS.

[18]  Miroslaw Staron,et al.  Adopting model driven software development in industry: a case study at two companies , 2006, MoDELS'06.

[19]  Bernhard Rumpe,et al.  Formale Methodik des Entwurfs verteilter objektorientierter Systeme , 1996, Datenbank Rundbr..

[20]  Hardi Hungar,et al.  UML for Software Safety and Certification - Model-Based Development of Safety-Critical Software-Intensive Systems , 2007, Model-Based Engineering of Embedded Real-Time Systems.

[21]  Guillem Bernat,et al.  Large drilling machine control code — Parallelisation and WCET speedup , 2011, 2011 6th IEEE International Symposium on Industrial and Embedded Systems.

[22]  Morgan Quigley,et al.  ROS: an open-source Robot Operating System , 2009, ICRA 2009.

[23]  Wang Yi,et al.  UPPAAL - Now, Next, and Future , 2000, MOVEP.

[24]  Timothy Lethbridge,et al.  Priorities for the education and training of software engineers , 2000, J. Syst. Softw..

[25]  Bernhard Schätz,et al.  Language engineering as an enabler for incrementally defined formal analyses , 2012, 2012 First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA).

[26]  Oliver Niggemann,et al.  Detecting anomalous energy consumptions in distributed manufacturing systems , 2012, IEEE 10th International Conference on Industrial Informatics.

[27]  Christian Berger,et al.  Autonomous Driving-5 Years after the Urban Challenge: The Anticipatory Vehicle as a Cyber-Physical System , 2014, GI-Jahrestagung.

[28]  Timothy Lethbridge,et al.  What knowledge is important to a software professional? , 2000, Computer.

[29]  Martin Walker,et al.  Compositional Temporal Fault Tree Analysis , 2007, SAFECOMP.

[30]  Bernhard Rumpe,et al.  From Software Architecture Structure and Behavior Modeling to Implementations of Cyber-Physical Systems , 2014, Software Engineering.

[31]  Parosh Aziz Abdulla,et al.  Designing Safe, Reliable Systems Using Scade , 2004, ISoLA.

[32]  Frank Ortmeier,et al.  FORMAL FAILURE MODELS , 2007 .

[33]  Ulrich Epple,et al.  PandIX — Exchanging P&I diagram model data , 2012, Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012).

[34]  Parastoo Mohagheghi,et al.  Where Is the Proof? - A Review of Experiences from Applying MDE in Industry , 2008, ECMDA-FA.

[35]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[36]  Oliver Niggemann,et al.  mINA-DL: A novel description language enabling dynamic reconfiguration in industrial automation , 2011, ETFA2011.

[37]  Peng Gao,et al.  Formal Verification and Simulation for Performance Analysis for Probabilistic Broadcast Protocols , 2006, ADHOC-NOW.

[38]  Martin Feilkas,et al.  AutoFocus 3 - A Scientific Tool Prototype for Model-Based Development of Component-Based, Reactive, Distributed Systems , 2007, Model-Based Engineering of Embedded Real-Time Systems.

[39]  W. Kastner,et al.  OPC Unified Architecture (OPC UA) new opportunities of system integration and information modelling in automation systems , 2011, 2011 9th IEEE International Conference on Industrial Informatics.

[40]  Andy Schürr,et al.  Model-based pairwise testing for feature interaction coverage in software product line engineering , 2011, Software Quality Journal.

[41]  Florian Leitner-Fischer,et al.  Towards Causality Checking for Complex System Models , 2012, MBEES.

[42]  Florian Leitner-Fischer,et al.  QuantUM: Quantitative Safety Analysis of UML Models , 2011, QAPL.

[43]  Theo Ungerer,et al.  A pattern-supported parallelization approach , 2013, PMAM '13.

[44]  Murray Cole,et al.  Bringing skeletons out of the closet: a pragmatic manifesto for skeletal parallel programming , 2004, Parallel Comput..

[45]  Jorge L. Díaz-Herrera,et al.  Improving software practice through education: Challenges and future trends , 2007, Future of Software Engineering (FOSE '07).

[46]  K. Butts,et al.  Symbolic verification of executable control specifications , 1999, Proceedings of the 1999 IEEE International Symposium on Computer Aided Control System Design (Cat. No.99TH8404).

[47]  Marco Bozzano,et al.  Improving System Reliability via Model Checking: The FSAP/NuSMV-SA Safety Analysis Platform , 2003, SAFECOMP.

[48]  Michael F. P. O'Boyle,et al.  Mapping parallelism to multi-cores: a machine learning based approach , 2009, PPoPP '09.

[49]  Ina Schieferdecker,et al.  Model-Driven Development and Testing – A Case Study , 2004 .

[50]  Frank Ortmeier,et al.  Model-Based Multi-objective Safety Optimization , 2011, SAFECOMP.

[51]  Frank Ortmeier,et al.  Multi-objective Optimization of Formal Specifications , 2012, 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering.

[52]  Pascal Sainrat,et al.  WCET Analysis of a Parallel 3D Multigrid Solver Executed on the MERASA Multi-Core , 2010, WCET.

[53]  Thomas A. Henzinger,et al.  Model checking discounted temporal properties , 2005, Theor. Comput. Sci..

[54]  Kurt Keutzer,et al.  A design pattern language for engineering (parallel) software: merging the PLPP and OPL projects , 2010, ParaPLoP '10.

[55]  Rance Cleaveland,et al.  Automated validation of software models , 2001, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).

[56]  Klaus Pohl,et al.  Software product line testing , 2006, CACM.

[57]  Manfred Broy,et al.  AutoFocus– Ein Werkzeugprototyp zur Entwicklung eingebetteter Systeme , 1999, Informatik Forschung und Entwicklung.

[58]  Lijun Zhang,et al.  PARAM: A Model Checker for Parametric Markov Models , 2010, CAV.

[59]  Kalyanmoy Deb,et al.  Finding Knees in Multi-objective Optimization , 2004, PPSN.

[60]  Peter Braun,et al.  Experiences on Model-Driven Software Development for Mobile Applications , 2008, 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ecbs 2008).

[61]  Jan Murray.  Specifying agents with UML in robotic soccer , 2002, AAMAS '02.

[62]  Berna L. Massingill.  Patterns for Parallel Application Programs , 1999 .

[63]  Frank Ortmeier.  Formale Sicherheitsanalyse , 2006 .

[64]  Pascal Sainrat,et al.  Time analysable synchronisation techniques for parallelised hard real-time applications , 2012, 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[65]  Markus Maurer,et al.  Stadtpilot: First fully autonomous test drives in urban traffic , 2011, 2011 14th International IEEE Conference on Intelligent Transportation Systems (ITSC).

[66]  Rolf Johansson,et al.  The EAST-ADL Architecture Description Language for Automotive Embedded Software , 2007, Model-Based Engineering of Embedded Real-Time Systems.

[67]  Birgit Vogel-Heuser,et al.  Unified sensor data provisioning with semantic technologies , 2011, ETFA2011.

[68]  Christian Berger.  From Autonomous Vehicles to Safer Cars: Selected Challenges for the Software Engineering , 2012, SAFECOMP Workshops.

[69]  Matthias Scheutz,et al.  Development environments for autonomous mobile robots: A survey , 2007, Auton. Robots.

[70]  Grégoire Hamon,et al.  A denotational semantics for stateflow , 2005, EMSOFT.

[71]  Hans Kleine Büning,et al.  Identifying behavior models for process plants , 2011, ETFA2011.

[72]  Bernhard Schätz,et al.  mbeddr: instantiating a language workbench in the embedded software domain , 2013, Automated Software Engineering.

[73]  Stephan Weißleder,et al.  Introducing Model-Based Testing in Industrial Context – An Experience Report , 2010 .

[74]  John M. Rushby,et al.  An operational semantics for Stateflow , 2004, International Journal on Software Tools for Technology Transfer.

[75]  J.L.M. Lastra,et al.  Loosely-coupled Automation Systems using Device-level SOA , 2007, 2007 5th IEEE International Conference on Industrial Informatics.

[76]  Lars Grunske,et al.  Architecture-Driven Reliability and Energy Optimization for Complex Embedded Systems , 2010, QoSA.

[77]  Wang Yi,et al.  Formal Verification of UML Statecharts with Real-Time Extensions , 2002, FASE.

[78]  Bernhard Schätz,et al.  mbeddr: an extensible C-based programming language and IDE for embedded systems , 2012, SPLASH '12.

[79]  Bernhard Rumpe,et al.  A Requirements Modeling Language for the Component Behavior of Cyber Physical Robotics Systems , 2014, ArXiv.

[80]  Tariq M. King,et al.  Experiences of Teaching Model-Driven Engineering in a Software Design Course , 2009 .

[81]  Sebastian Thrun,et al.  Toward robotic cars , 2010, CACM.

[82]  Vijay Kumar,et al.  Hierarchical Hybrid Modeling of Embedded Systems , 2001, EMSOFT.

[83]  Michael Mikolajczak,et al.  Designing And Building Parallel Programs: Concepts And Tools For Parallel Software Engineering , 1997, IEEE Concurrency.

[84]  Alexei Makarenko,et al.  Towards component-based robotics , 2005, 2005 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[85]  Frank Ortmeier,et al.  Towards model-driven safety analysis , 2011, 2011 3rd International Workshop on Dependable Control of Discrete Systems.

[86]  Bernhard Rumpe,et al.  MontiCore: a framework for compositional development of domain specific languages , 2010, International Journal on Software Tools for Technology Transfer.

[87]  Florian Leitner-Fischer,et al.  Quantitative Analysis of UML Models , 2011, MBEES.

[88]  Tom Pixley.  Document Object Model (DOM) Level 3 Events Specification , 2000 .

[89]  Timothy G. Mattson,et al.  Reengineering for Parallelism : an entry point into PLPP for legacy applications: Research Articles , 2007 .

[90]  Dominic Létourneau,et al.  Trends in Component-Based Robotics , 2005, PPSDR@ICRA.

[91]  Gerard J. Holzmann,et al.  Validation of mission critical software design and implementation using model checking [spacecraft] , 2002, Proceedings. The 21st Digital Avionics Systems Conference.

[92]  Ákos Horváth,et al.  A model-driven framework for guided design space exploration , 2011, 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011).

[93]  Timothy G. Mattson,et al.  Patterns for parallel programming , 2004 .

[94]  Peter F. Patel-Schneider,et al.  Reducing OWL entailment to description logic satisfiability , 2004, Journal of Web Semantics.

[95]  A. Zoitl,et al.  Adaptive and rReconfigurable control framework for the responsive factory , 2009, 2009 7th IEEE International Conference on Industrial Informatics.

[96]  Sudeepa Roy,et al.  Tool for Translating Simulink Models into Input Language of a Model Checker , 2006, ICFEM.

[97]  Scott A. Mahlke,et al.  Practical lock/unlock pairing for concurrent programs , 2013, Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation and Optimization (CGO).

[98]  Sara Morgan,et al.  Programming Microsoft® Robotics Studio , 2008 .

[99]  Per Bjesse,et al.  A proof engine approach to solving combinational design automation problems , 2002, DAC '02.

[100]  Holger Giese,et al.  Integrated Software Development for Embedded Robotic Systems , 2012, SIMPAR.

[101]  Ludovic Apvrille,et al.  Formal system-level design space exploration , 2010, 2010 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE).

[102]  Ulrich Epple,et al.  Anwendungs- und herstellerneutrales Modell zur Darstellung und Interaktion mit leittechnischen Funktionen , 2012 .

[103]  Florian Leitner-Fischer,et al.  Simulink Design Verifier vs. SPIN : a comparative case study , 2008 .

[104]  A. Tiwari.  Formal Semantics and Analysis Methods for Simulink Stateflow Models , 2001 .

[105]  Rob Pooley,et al.  The unified modelling language , 1999, IEE Proc. Softw..

[106]  Leo Obrst,et al.  Ontologies for semantically interoperable systems , 2003, CIKM '03.

[107]  持永 早希子,et al.  がん化学療法における医療過誤予防へのFailure Mode and Effects Analysis (FMEA) の応用 , 2006 .

[108]  Thomas A. Henzinger,et al.  HYTECH: a model checker for hybrid systems , 1997, International Journal on Software Tools for Technology Transfer.

[109]  Frank Ortmeier,et al.  Using Deductive Cause-Consequence Analysis (DCCA) with SCADE , 2007, SAFECOMP.

[110]  Martin Schindler,et al.  Eine Werkzeuginfrastruktur zur agilen Entwicklung mit der UML-P , 2012, Aachener Informatik-Berichte, Software Engineering.

[111]  Henning Trsek,et al.  Towards autoconfiguration of industrial automation systems: A case study using Profinet IO , 2012, Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012).

[112]  Bernhard Rumpe,et al.  MontiArc - Architectural Modeling of Interactive Distributed and Cyber-Physical Systems , 2014, ArXiv.

[113]  Ingo Lütkebohle,et al.  Requirements and a case-study for SLE from robotics: event-oriented incremental component construction , 2011, GI-Jahrestagung.

[114]  Sascha Uhrig,et al.  RTOS Support for Parallel Execution of Hard Real-Time Applications on the MERASA Multi-core Processor , 2010, 2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing.

[115]  Frank Ortmeier,et al.  Safety and Dependability Analysis of Self-Adaptive Systems , 2006, Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006).

[116]  Andrew Hinton,et al.  PRISM: A Tool for Automatic Verification of Probabilistic Systems , 2006, TACAS.

[117]  José L. Martínez Lastra,et al.  Semantic web services in factory automation: fundamental insights and research roadmap , 2006, IEEE Transactions on Industrial Informatics.

[118]  Christian Berger,et al.  Caroline: An autonomously driving vehicle for urban environments , 2008, J. Field Robotics.

[119]  Stefan Milius,et al.  Observations on formal safety analysis in practice , 2014, Sci. Comput. Program..

[120]  Jens von Pilgrim,et al.  A survey of traceability in requirements engineering and model-driven development , 2010, Software & Systems Modeling.

[121]  Gerard J. Holzmann,et al.  The SPIN Model Checker - primer and reference manual , 2003 .

[122]  Stavros Tripakis,et al.  Defining and translating a "safe" subset of simulink/stateflow into lustre , 2004, EMSOFT '04.