Organization and Control of Discrete Systems
|
Organization and Control of Discrete Systems |
   |
Real-time control and simulation
This domain requires real-time software engineering methods and techniques. The objective is to improve productivity, validation and quality of software systems for control.
In a complementary way, distributed simulation is an important tool for prototyping and evaluation. Appropriately associated to each stage of the software life-cycle, it significantly decreases the development time, contributes to the definition of requirements, to performance evaluation and safety.
The systems considered are open and have strong interactions with the environment. Time and concurrency constraints, as well as fault tolerance, evolve with the state of the process. Hence, the software has to be real-time, distributed, concurrent and safe. It is represented through functional approaches (methods SA-RT, SASS, ...) or through object-oriented approaches (OMT, UML, HOOD, ...).
The merging of the semi-formal method HOOD, with a formal tool, Petri nets, has generated a methodology for real-time software production (HOOD-PNO). It covers almost every stage of the software life-cycle (from analysis to implementation). Significant applications have been based on this methodology : production systems, nuclear physics (VIRGO project), on board systems, mecatronic systems.
Last modification:
