Modeling and Information Processing

On-board and distributed systems
Basic techniques for distribution

Research axes

The on-going directions of research on this theme are associated with the different layers that make up the system. A cross-disciplinary research axis dedicated to the study of time controlled architectures and systems, takes in all of these system layers.

• In the case of the architectures and networks, the research will cover hardware and software architectures implementing specific processors as well as networks and ad hoc communication protocols. It will also cover new interconnection technologies used to manage the heterogeneous nature of the networks and take into account extended networks with ultra-rapid links, by studying the impact on the definition of new protocols, basic services and application programming models. The research will also cover the study and definition of protocols meeting the requirements of onboard systems or distributed simulation. It will also cover modeling of architectures to evaluate their performance. In the case of time controlled distributed architectures, the researcher will mainly focus on the linking mechanisms and techniques (processing units, sensors, actuators, interfaces) and on TDMA or TTE type protocols.

• In the case the executables and kernels, the research work will follow the development of Certi. It will also cover the Scheduling study for distributed simulation on Linux kernels, the development and integration of schedulers implementing distributed simulation oriented policies and leading to a better taking into account of the deadlines and requirements of the simulator cycle times. It will also try to integrate dedicated mechanisms for supporting service quality in order to group the simulators. In the field of time controlled distributed architectures, the work mainly covers the protocols for synchronization, fault detection, reconfiguration and development or adaptation of micro-kernels to these time controlled architectures.

Formalization and Verification of program codes

In the fields of languages, models and applications, the research mainly covers the programming of critical distributed systems, definition of languages and formalism used to express requirements vis-à-vis the problems handled (description and behavior of applications, temporal requirements associated with modules or functions of a real-time program). The research will also cover the translation (compiling) of programs or models into other formalisms (formal models for verification, models executable on distributed hardware and software architectures), and in general model engineering. In the field of time controlled architectures, it also covers defining languages used for expressing program functions and expressing their temporal constraints as well as the verification and compiling in order to check the distribution and execution. 

Last Update: 25 February 2008 - © ONERA 2009 - Terms of use