Tool support for developing advanced mechatronic systems: Integrating the fujaba real-time tool suite with CAMeL-view

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2007, Pages 801-804

  Burmester, Sven ^a   Giese, Holger ^a,b   Henkler, Stefan ^a   Hirsch, Martin ^a   Tichy, Matthias ^a   Gambuzza, Alfonso ^a   Münch, Eckehard ^a   Vöcking, Henner ^a  

^a UNIVERSITY OF PADERBORN   (Germany)

^b UNIVERSITY OF POTSDAM   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; REAL TIME CONTROL; SOFTWARE ENGINEERING;

GLOBAL NETWORKING; MODE MANAGEMENT;

MECHATRONICS;

EID: 34548737624     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSE.2007.88     Document Type: Conference Paper

References (11)

1. R. Alur, C. Courcoubetis, and D. Dill. Model-checking for Real-Time Systems. In Proc. of Logic in Computer Science, pages 414-425. IEEE Computer Press, June 1990.
2. D. Bradley, D. Seward, D. Dawson, and S. Burge. Mechatronics. Stanley Thornes, 2000.
3. S. Burmester, H. Giese, M. Hirsch, D. Schilling, and M. Tichy. The Fujaba Real-Time Tool Suite: Model-Driven Development of Safety-Critical, Real-Time Systems. In Proc. of the 27th International Conference on Software Engineering (ICSE), St. Louis, Missouri, USA, pages 670-671, May 2005.
4. S. Burmester, H. Giese, and W. Schäfer. Model-Driven Architecture for Hard Real-Time Systems: From Platform Independent Models to Code. In Proc. of the European Conference on Model Driven Architecture - Foundations and Applications (ECMDA-FA'05), Nürnberg, Germany, Lecture Notes in Computer Science, pages 25-40. Springer Verlag, November 2005.
5. S. Burmester, H. Giese, and M. Tichy. Model-Driven Development of Reconfigurable Mechatronic Systems with Mechatronic UML. In Model Driven Architecture: Foundations and Applications, LNCS 3599, pages 47-61. Springer-Verlag, August 2005.
6. H. Giese, S. Burmester, W. Schäfer, and O. Oberschelp. Modular Design and Verification of Component-Based Mechatronic Systems with Online-Reconfiguration. In Proc. of 12th ACM SIGSOFT Foundations of Software Engineering 2004 (FSE 2004), Newport Beach, USA, pages 179-188. ACM, November 2004.
7. H. Giese and S. Henkler. A survey of approaches for the visual model-driven development of next generation software-intensive systems. In Journal of Visual Languages and Computing, volume 17, pages 528-550, December 2006.
8. H. Giese and M. Hirsch. Modular Verificaton of Safe Online- Reconfiguration for Proactive Components in Mechatronic UML. In J.-M. Bruel, editor, Satellite Events at the MoDELS 2005 Conference, Montego Bay, Jamaica, October 2-7, 2005, Revised Selected Papers, LNCS 3844, pages 67-78. Springer Verlag, January 2006.
9. H. Giese, M. Tichy, S. Burmester, W. Schäfer, and S. Flake. Towards the Compositional Verification of Real-Time UML Designs. In Proc. of the European Software Engineering Conference (ESEC), Helsinki, Finland, pages 38-47. ACM Press, September 2003.
10. S. Graf and I. Ober. A Real-Time profile for UML and how to adapt it to SDL. In Proceedings of the SDL Forum'03, 2003.
11. Object Management Group. UML 2.0 Superstructure Specification, October 2004. Document: ptc/04-10-02 (convenience document).