exit

Information et communication   > Accueil   > Revue

Domaine(s) connexe(s) : Ingénierie et systèmes  

Informatique temps réel

Real-time Computing




RTComp - © ISTE Ltd

Objectifs de la revue

Aims and scope

On qualifie de temps réel un système informatique en charge de produire des résultats logiquement corrects dans des temps bornés et imposés par l’environnement extérieur avec lequel il interagit. Cette définition inclut en particulier la nouvelle génération de systèmes embarqués interconnectés, les systèmes cyber-physiques. Les domaines d’application relèvent aussi bien de l’industrie que du grand public : contrôle-commande de processus industriel, robotique, réseaux de capteurs sans fil, domotique, multimédia, etc.

Informatique temps réel publie des articles scientifiques, privilégiant ceux de synthèse, qui se concentrent sur les théories et technologies logicielles utilisées dans la conception et la validation des systèmes temps réel. Les sujets abordés portent sur : système d’exploitation, ordonnancement, tolérance aux fautes, méthodes formelles, communication sans fil et langage de programmation.

A real-time IT system is one meant to produce results that are logically correct in a time that is set and imposed by the external environment with which the system interacts. This definition includes in particular the new generation of interconnected embedded systems and cyber-physics systems. The fields of application come under industry and the general public: control/command of industrial process, robotics, wireless sensor networks, home automation, multimedia, etc.

 

Real-time Computing publishes scientific articles, with a foremost focus on summary articles concentrating on software theories and technologies used in the design and validation of real time systems. The topics deal with: operating systems, scheduling, fault tolerance, formal methods, wireless communication and programming language.

Comité de rédaction


Rédactrice en chef

Maryline CHETTO
IRCCyN, Université de Nantes
maryline.chetto@univ-nantes.fr


Membres du comité

Laurent GEORGE
LIGM, ESIEE, Noisy Le Grand
Laurent.George@esiee.fr

Mathieu JAN
CEA-List, Gif-sur-Yvette
Mathieu.Jan@cea.fr

Pascale MINET
INRIA, CRI Paris - Rocquencourt
pascale.minet@inria.fr

Pascal RICHARD
LIAS, Université de Poitiers
pascal.richard@univ-poitiers.fr

François VERNADAT
LAAS-CNRS, Toulouse
Vernadat@laas.fr
 


  Proposer un article