The Fujaba real-time tool suite: Model-driven development of safety-critical, real-time systems

Proceedings - 27th International Conference on Software Engineering, ICSE05

Volumn , Issue , 2005, Pages 670-671

  Burmester, Sven ^a   Giese, Holger ^a   Hirsch, Martin ^a   Schilling, Daniela ^a   Tichy, Matthias ^a  

^a UNIVERSITY OF PADERBORN   (Germany)

Author keywords

Embedded Systems; MDA; Model Checking; Real Time; Safety Critical; UML

Indexed keywords

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

References (3)

1. S. Burmester, H. Giese, J. Niere, M. Tichy, J. Wadsack, R. Wagner, L. Wendehals, and A. Zündorf. Tool Integration at the Meta-Model Level within the FUJABA Tool Suite. International Journal on Software Tools for Technology Transfer (STTT), 6(3):203-218, August.
2. S. Burmester, M. Tichy, and H. Giese. Modeling Reconfigurable Mechatronic Systems with Mechatronic UML. In Proc. of Model Driven Architecture: Foundations and Applications (MDAFA 2004), Linköping, Sweden, June 2004.
3. 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.