ArchMDE Approach for the Formal Verification of Real Time Systems

Arch MDE for "Architecture-centric Model Driven Engineering" is an approach that addresses the development and the formal verification of real time software architecture. It borrows concepts from Model Driven Engineering (MDE)and software architecture for the automatic generation of a network of timed automata, in accordance with blackboard architectural style. The generation is based on real time systems\´ functional architecture, which is described by using TURTLE profile tclass and activity diagrams. In this paper, we describe the transformations between models, which generate the network of timed automata, and we illustrate with a case study the use of the Arch MDE approach.