From software architecture structure and behavior modeling to implementations of cyber-physical systems

Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI)

Volumn P-215, Issue , 2013, Pages 155-170

  Ringert, Jan Oliver ^a   Rumpe, Bernhard ^a   Wortmann, Andreas ^a  

^a RWTH AACHEN UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC PROGRAMMING; CODES (SYMBOLS); COMPUTATIONAL LINGUISTICS; COMPUTER SOFTWARE REUSABILITY; EMBEDDED SYSTEMS; FORMAL METHODS; MODELING LANGUAGES; NETWORK COMPONENTS; PROGRAM COMPILERS; SOFTWARE DESIGN; SOFTWARE ENGINEERING;

APPLICATION SPECIFIC; CODE GENERATORS; COMPONENT CONNECTORS; CYBER PHYSICAL SYSTEMS (CPSS); CYBER-PHYSICAL SYSTEMS (CPS); DISTRIBUTED SOFTWARE; INTEGRATED MODELS; PLATFORM INDEPENDENT;

SOFTWARE PROTOTYPING;

EID: 84922752881     PISSN: 16175468     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (27)

1. [BBC+07] Davide Brugali, Alex Brooks, Anthony Cowley, Carle Côté, Antonio Domínguez-Brito, Dominic Létourneau, Françis Michaud, and Christian Schlegel. Trends in Component-Based Robotics. In Software Engineering for Experimental Robotics, volume 30 of STAR, chapter 8, pages 135-142. Springer, Berlin, Heidelberg, 2007.
2. [BR12] Christian Berger and Bernhard Rumpe. Autonomous Driving-5 Years after the Urban Challenge: The Anticipatory Vehicle as a Cyber-Physical System. In Proceedings of the INFORMATIK 2012, 2012.
3. [BS01] Manfred Broy and Ketil Stølen. Specification and Development of Interactive Systems. Focus on Streams, Interfaces and Refinement. Springer Verlag Heidelberg, 2001.
4. [EB10] M. Eysholdt and H. Behrens. Xtext: implement your language faster than the quick and dirty way. In Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion, pages 307-309. ACM, 2010.
5. [EKM98] Jacob Elgaard, Nils Klarlund, and Anders Møller. MONA 1.x: new techniques for WS1S and WS2S. In Computer-Aided Verification, (CAV '98), volume 1427 of LNCS, pages 516-520. Springer-Verlag, 1998.
6. [FMS11] Sanford. Friedenthal, Alan Moore, and Rick Steiner. A Practical Guide to SysML: The Systems Modeling Language. The MK/OMG Press. Elsevier Science, 2011.
7. [FR07] Robert France and Bernhard Rumpe. Model-Driven Development of Complex Software: A Research Roadmap. In Future of Software Engineering 2007 at ICSE., pages 37-54, 2007.
8. [GBWK09] Michael Geisinger, Simon Barner, Martin Wojtczyk, and Alois Knoll. A software architecture for model-based programming of robot systems. Advances in Robotics Research, pages 135-146, 2009.
9. [Har87] David Harel. Statecharts: A Visual Formalism for Complex Systems. Sci. Comput. Program., 8(3): 231-274, 1987.
10. [HF07] Florian Hölzl and Martin Feilkas. AutoFocus 3-A Scientific Tool Prototype for Model-Based Development of Component-Based, Reactive, Distributed Systems. In MBEERTS, volume 6100 of LNCS, pages 317-322. Springer, 2007.
11. [HRR12] Arne Haber, Jan Oliver Ringert, and Bernard Rumpe. MontiArc-Architectural Modeling of Interactive Distributed and Cyber-Physical Systems. Technical Report AIB-2012-03, RWTH Aachen, february 2012.
12. [HST10] Florian Hoelzl, Maria Spichkova, and David Trachtenherz. AutoFocus Tool Chain. Technical Report TUM-I1021, TU Munich, 2010.
13. [Kir11] Dennis Kirch. Analysis of Behavioral Specifications for Distributed Interactive Systems with MONA. Bachelor Thesis, RWTH Aachen University, 2011.
14. [KRV10] Holger Krahn, Bernhard Rumpe, and Steven Völkel. MontiCore: a framework for compositional development of domain specific languages. STTT, 12(5): 353-372, 2010.
15. [Lee06] Edward A. Lee. Cyber-Physical Systems-Are Computing Foundations Adequate In Position Paper for NSF Workshop On Cyber-Physical Systems: Research Motivation, Techniques and Roadmap, 2006.
16. [Mon12] MontiArcAutomaton website and language report. http://www.se-rwth.de/materials/ioomega, 2012. Accessed 12/2012.
17. [NFBL10] Tim Niemueller, Alexander Ferrein, Daniel Beck, and Gerhard Lakemeyer. Design Principles of the Component-Based Robot Software Framework Fawkes, volume 6472 of LNCS, chapter NFB+10, pages 300-311. Springer, Darmstadt, Germany, 2010.
18. [RR11] Jan Oliver Ringert and Bernhard Rumpe. A Little Synopsis on Streams, Stream Processing Functions, and State-Based Stream Processing. International Journal of Software and Informatics, 5(1-2): 29-53, July 2011.
19. [RRW12] Jan Oliver Ringert, Bernhard Rumpe, and Andreas Wortmann. A Requirements Modeling Language for the Component Behavior of Cyber Physical Robotics Systems. In Modelling and Quality in Requirements Engineering, pages 133-146. Monsenstein und Vannerdat Münster, 2012.
20. [Rum96] Bernhard Rumpe. Formale Methodik des Entwurfs verteilter objektorientierter Systeme. Herbert Utz Verlag Wissenschaft, 1996.
21. [Rum11] Bernhard Rumpe. Modellierung mit UML. Xpert.press. Springer Berlin, 2nd edition, September 2011.
22. [Sch09] Bernhard Schätz. Model-Based Development of Software Systems: From Models to Tools. Habilitation thesis, TU Munich, 2009.
23. [Sch12] Martin Schindler. Eine Werkzeuginfrastruktur zur agilen Entwicklung mit der UML/P. Aachener Informatik-Berichte, Software Engineering, Band 11. Shaker Verlag, 2012.
24. [SSL11] Christian Schlegel, Andreas Steck, and Alex Lotz. Model-Driven Software Development in Robotics : Communication Patterns as Key for a Robotics Component Model. In Introduction to Modern Robotics. iConcept Press, 2011.
25. [TL08] Sebastian Thrun and John J. Leonard. Simultaneous Localization and Mapping. In Bruno Siciliano and Oussama Khatib, editors, Springer Handbook of Robotics, pages 871-889. Springer, 2008.
26. [TMD09] Richard N. Taylor, Nenad Medvidovic, and Eric M. Dashofy. Software Architecture: Foundations, Theory, and Practice. John Wiley and Sons, Inc., 1 edition, 2009.
27. [Vö11] Steven Völkel. Kompositionale Entwicklung domänenspezifischer Sprachen. Aachener Informatik-Berichte, Software Engineering Band 9. 2011. Shaker Verlag, 2011.