Isabelle Perseil

Learn More
This paper presents an extract from our works on a software engineering method for avionic real-time systems [3], the C-Method, which covers the whole software lifecycle thanks to a seamless process, and integrates formal methods in its process. Because distributed, real-time and embedded (DRE) systems have safety critical concerns, they require the use of(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 Action language for foundational UML (Alf) is a textual surface representation for UML modeling elements. Any Alf text mappable to fUML can be reduced to a set of statements in first-order logic. However, actually it does not allow to use model-checking features or any theorem prover. Some additional work remains to be done to provide a complete(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)
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 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)
Architecture models are built in parallel with applicative models, all along the development process. Since they equally refer to software and hardware components in which they are implemented, these models call for more heterogeneous design languages, with a larger granularity range too. At the level of design and verification languages, some standards(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 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)