Towards tool support for service-oriented development of embedded automotive systems

Tagungsband - Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme III, MBEES 2007

Volumn , Issue , 2007, Pages 1-23

  Ermagan, Vina ^a   Huang, To Ju ^a   Krüger, Ingolf H ^a   Meisinger, Michael ^b   Menarini, Massimiliano ^a   Moorthy, Praveen ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ARCHITECTURE DEFINITION LANGUAGES; DEVELOPMENT PROCESS; EMBEDDED AUTOMOTIVE SYSTEMS; EMBEDDED COMPONENTS; INTEGRATED TOOLS; INTERACTION MODELING; MODEL BASED DEVELOPMENT; REQUIREMENTS ANALYSIS; SERVICE ORIENTED; SERVICE-ORIENTED DEVELOPMENT; TOOL SUPPORT; VERIFICATION AND VALIDATION;

EMBEDDED SYSTEMS;

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

References (37)

1. [AKMP05] Jaswinder Ahluwalia, Ingolf Krüger, Michael Meisinger, and Walter Phillips. Model- Based Run-Time Monitoring of End-to-End Deadlines. In Proceedings of the Conference on Embedded Systems Software (EMSOFT), 2005.
2. [Aut06] AutoFocus. Website, 2006. http://autofocus.informatik.tu- muenchen.de/index-e.html.
3. [BKM06a] Manfred Broy, Ingolf Heiko Krüger, and Michael Meisinger, editors. Automotive Software - Connected Services in Mobile Networks. Proceedings of the Automotive Software Workshop San Diego 2004. Lecture Notes in Computer Science, Volume 4147, Springer, New York, 2006.
4. [BKM06b] Manfred Broy, Ingolf Heiko Krüger, and Michael Meisinger, editors. Pre-Proceedings of the Automotive SoftwareWorkshop San Diego 2006. UCSD, 2006. http://aswsd.ucsd.edu/2006.
5. [Bro05] Manfred Broy. The Impact of Models in Software Development. In Lecture Notes in Computer Science, Volume 2605, pages 396-406. Springer Verlag, 2005.
6. [Eva03] Eric Evans. Domain Driven Design. Addison-Wesley, 2003.
7. [GH06] Holger Giese and Stefan Henkler. Architecture-driven platform independent deterministic replay for distributed hard real-time systems. In ROSATEA '06: Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis, pages 28-38, New York, NY, USA, 2006. ACM Press.
8. [Hol03] G.J. Holzmann. The Spin Model Checker: Primer and Reference Manual. Addison Wesley, 2003.
9. [HSE97] Franz Huber, Bernhard Schätz, and Geralf Einert. Consistent Graphical Specification of Distributed Systems. In FME'97, volume 1313 of LNCS, pages 122-141, 1997.
10. [IT96] ITU-TS. Recommendation Z.120: Message Sequence Chart (MSC). Geneva, 1996.
11. [ITU06] ITU. Sancho Definitions Database. Website, 2006. http://www.itu.int/sancho.
12. [KGSB99] Ingolf Krüger, Radu Grosu, Peter Scholz, and Manfred Broy. From MSCs to Statecharts. In Franz J. Rammig, editor, Distributed and Parallel Embedded Systems, pages 61-71. Kluwer Academic Publishers, 1999.
13. [KM96] B.B. Kristensen and D.C.M. May. Activities: Abstractions for Collective Behavior. In ECOOP'96, volume 1098 of LNCS, pages 472-501. Springer Verlag, 1996.
14. [KM04] Ingolf Heiko Krüger and Reena Mathew. Systematic Development and Exploration of Service-Oriented Software Architectures. In Proceedings of the 4th Working IEEE/IFIP Conference on Software Architecture (WICSA), pages 177-187. IEEE, 2004.
15. [KMLS05] Ingolf H. Krüger, Reena Mathew, Stefan Leue, and Tarja Systä. Component Synthesis from Service Specifications. In Scenarios: Models, Transformations and Tools, volume 3466 of LNCS, pages 255-277. Springer Verlag, 2005.
16. [KMM06] Ingolf Krüger, Reena Mathew, and Michael Meisinger. Efficient Exploration of Service- Oriented Architectures using Aspects. In Proceedings of the 28th International Conference on Software Engineering (ICSE), 2006.
17. [KMMP06] Ingolf Krüger, Michael Meisinger, Massimiliano Menarini, and Stephen Pasco. Rapid Systems of Systems Integration - Combining an Architecture-Centric Approach with Enterprise Service Bus Infrastructure. In Proceedings of the 2006 IEEE International Conference on Information Reuse and Integration (IRI), pages 51-56. IEEE, 2006.
18. [KNP04] Ingolf Krüger, Edward C. Nelson, and Venkatesh Prasad. Service-based Software Development for Automotive Applications. In CONVERGENCE 2004, 2004.
19. [Krü00] Ingolf Krüger. Distributed System Design with Message Sequence Charts. PhD thesis, Technische Universität München, 2000.
20. [Krü03, Ingolf Heiko Krüger. Capturing Overlapping, Triggered, and Preemptive Collaborations Using MSCs. In Mauro Pezzè, editor, FASE 2003, volume 2621 of LNCS, pages 387- 402. Springer Verlag, 2003.
21. [LMB+01] A. Ledeczi, M. Maroti, A. Bakay, G. Karsai, J. Garrett, C. Thomason, G. Nordstrom, J. Sprinkle, and P. Volgyesi. The Generic Modeling Environment. Workshop on Intelligent Signal Processing, Budapest, Hungary, May, 17, 2001.
22. [Mat04] Reena Mathew. Systematic Definition, Implementation and Evaluation of Service- Oriented Software. Master's thesis, University of California, San Diego, 2004.
23. [MS06] Tiziana Margaria and Bernhard Steffen. Service Engineering: Linking Business and IT. Computer, 39(10):45-55, 2006.
24. [NP03] Edward C Nelson and K V Prasaad. Automotive Infotronics: An emerging domain for Service-Based Architecture. In I. H. Krüger, B. Schätz, M. Broy, and H. Hussmann, editors, SBSE'03 Service-Based Software Engineering, Proceedings of the FM2003 Workshop, Technical Report TUM-I0315, pages 3-14. Technische Universität München, 2003.
25. [Obj02] Object Management Group: Real-time CORBA specification, 2002. http://www.omg.org/technology/documents/index.htm.
26. [OMG03] OMG (Object Management Group). Model Driven Architecture (MDA). MDA Guide 1.0.1, omg/03-06-01, 2003. http://www.omg.org/mda.
27. [OMG05] OMG (Object Management Group). UML, Version 2.0. OMG Specification formal/05- 07-04 (superstructure) and formal/05-07-05 (infrastructure), 2005.
28. [Pae97] Barbara Paech. A Framework for Interaction Description with Roles. Technical Report TUM-I9731, Technische Universität München, 1997.
29. [Par02] Parlay 3.0, 2002. http://www.parlay.org/en/specifications/.
30. [Rus06] Yenny Rusli. Methodological Translation of Service-Oriented to Component-Oriented Specification. Master's thesis, University of California, San Diego, 2006.
31. [SB98] Yannis Smaragdakis and Don Batory. Implementing Layered Designs with Mixin Layers. In Proceedings of ECOOP 1998, volume 1445 of LNCS, pages 550-570. Springer Verlag, 1998.
32. [SM99] Bernhard Steffen and Tiziana Margaria. METAFrame in Practice: Design of Intelligent Network Services. LNCS, 1710:390-415, 1999.
33. [STK02] James Snell, Doug Tidwell, and Pavel Kulchenko. Programming Web Services with SOAP. O'Reilly, 2002.
34. [Sys06] Systems Modeling Language (SysML), 2006. http://www.sysml.org/.
35. [Szy02] Clemens Szyperski. Component Software - Beyond Object-Oriented Programming. Addison-Wesley, 2002.
36. [TRH+04] David Trowbridge, Ulrich Roxburgh, Gregor Hohpe, Dragos Manolescu, and E.G. Nadhan. Integration Patterns. Patterns & Practices. Microsoft Press, 2004.
37. [Zav01] Pamela Zave. Feature-Oriented Description, Formal Methods, and DFC. In Proceedings of the FIREworks Workshop on Language Constructs for Describing Features, pages 11-26. Springer-Verlag, 2001.