Learn More
Since UML 1.4 (the Unified Modeling Language, version 1.4), executable UML relies on the Precise Action Semantics for UML. The role of the action semantics is to provide the specification of actions. The UML has actions and activities, but no standard concrete syntax for describing them. Therefore, an action language is required to map higher- level(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)
On today's sharply competitive industrial market, engineers must focus on their core competencies to produce ever more innovative products, while also reducing development times and costs. This has further heightened the complexity of the development process. At the same time, industrial systems, and specifically real-time embedded systems, have become(More)
The software development process is the main tool of project management. It serves to plan optimally all activities related to the production of software. It is mainly a scheduling policy of these activities which allows to control and to follow them in time.We moved here toward an adaptation of the RUP for real-time systems. First, our approach is to(More)
The strong convergence of recent modeling languages, development processes and methodologies for developing real-time systems underlines a set of requirements for a more methodical approach. This paper presents the issues related to the lack of method in the field of software engineering for real-time systems (in particular, avionicsystems). We will mainly(More)