ArchMDE Approach for the Development of Embedded Real Time Systems

[1]  Arend Rensink.  Model Driven Architecture - Foundations and Applications, 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings , 2009, ECMDA-FA.

[2]  Peter H. Feiler,et al.  Developing AADL Models for Control Systems: A Practitioner's Guide , 2007 .

[3]  Marco A. Wehrmeister,et al.  MDA-based approach for embedded software generation from a UML/MOF repository , 2006, SBCCI '06.

[4]  Ferhat Khendek,et al.  TURTLE-P: a UML profile for the formal validation of critical and distributed systems , 2006, Software & Systems Modeling.

[5]  Holger Giese,et al.  Model-Driven Architecture for Hard Real-Time Systems: From Platform Independent Models to Code , 2005, ECMDA-FA.

[6]  Chokri Mraidha.  Modélisation exécutable et analyse de propriétés temps réel , 2005 .

[7]  Ludovic Apvrille,et al.  TURTLE: a real-time UML profile supported by a formal validation toolkit , 2004, IEEE Transactions on Software Engineering.

[8]  Tommi Mikkonen,et al.  On the Role of Architectural Style in Model Driven Development , 2004, EWSA.

[9]  Flavio Oquendo,et al.  Software Architecture , 2004, Lecture Notes in Computer Science.

[10]  Sébastien Gérard,et al.  Using the Model Paradigm for Real-Time Systems Development: ACCORD/UML , 2002, OOIS Workshops.

[11]  Stuart Kent,et al.  Model Driven Engineering , 2002, IFM.

[12]  James J. Hunt,et al.  HIDOORS - a high integrity distributed deterministic Java environment , 2002, Proceedings of the Seventh IEEE International Workshop on Object-Oriented Real-Time Dependable Systems. (WORDS 2002).

[13]  Zohra Bellahsene,et al.  Advances in Object-Oriented Information Systems , 2002, Lecture Notes in Computer Science.

[14]  Celso A. S. Santos,et al.  Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique , 2000, Comput. Commun..

[15]  David Garlan,et al.  Software architecture: a roadmap , 2000, ICSE '00.

[16]  Bruce P. Douglass,et al.  Doing hard time: developing real-time systems with uml , 1999 .