Learn More
The paper presents an AADL model transformation. This transformation provides a formal model for model checking activities. This transformation covers three aspects: structure, behaviour description and execution semantics. The necessity to complete AADL metamodel is shown in order to improve system behaviour. Transformation rules take into account these(More)
In this paper, we present different modeling and execution frameworks that allow us to efficiently analyze, design and verify complex systems, mainly to cope with the specific concerns of the Real-time and embedded systems (RTE) domain. First we depict a UML /MARTE based methodology for executable RTE systems modeling with a framework and its underlying(More)
  • 1