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)
The design of a fault-tolerant distributed, real-time, embedded system with safety-critical concerns requires the use of formal languages. In this paper, we present the foundations of a new software engineering method for real-time systems that enables the integration of semiformal and formal notations. This new software engineering method is mostly based(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)
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)
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)
In this paper, we identify the middleware functionnalities andproperties that are required to efficiently implement the FaultTolerant CORBA specification. Our approach relies on certainproperties of PolyORB, our schizophrenic middleware to provide CORBA-based applications with fault tolerance. Our approach isvalidated by performance measures for the(More)