Modélisation polychrone et évaluation de systèmes temps réel - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 2004

Polychronous modeling and evaluation of real-time systems

Modélisation polychrone et évaluation de systèmes temps réel

Résumé

Real-time systems are devices consisting of hardware and software with functional and timing constraints for the interaction with their environment. Telecommunication, nuclear power plants, avionics, and medical technology are typical domains where such systems are encountered. These systems are often critical because of the high human and economic stakes. Therefore, the development of these systems requires highly reliable methods. The synchronous approach has been proposed in order to answer this demand. Its mathematical basis provides a formal framework that favors the description and validation of real-time systems. The multi clock or polychronous model stands out from other synchronous speci cation models by the fact that it allows the description of systems where each component can have its own activation clock. Besides formal validation, it favors component-based approaches and modular development of large-scale systems. This document suggests a methodology for the design of real-time systems that uses as formalism the synchronous language Signal which relies on the polychronous model. It uses the formal tools and techniques based on this model in order to verify both behavioral and non functional properties. This facilitates design space exploration. The methodology presented here allows to design systems that contain asynchronous mechanisms using the synchronous approach. It illustrates the characterization of real-time behaviors in the polychronous model. Avionics is considered as privileged application domain in the current document. This work has been supported by the european project SafeAir (Advanced Design Tools for Aircraft Systems and Airborne Software) in which many industrials are involved. We especially are interested in the design of applications following the Integrated Modular Avionics (IMA) architecture model that is based on the avionic standard ARINC. This leads to the implementation of a library in Signal containing real-time executive services de fined by ARINC.
Les syst emes temps r eel sont des dispositifs constitu es de mat eriels et de logiciels soumis a des contraintes a la fois fonctionnelles et temporelles pour r ealiser des traitements, et agir sur leur environnement. Des exemples de domaines o u on rencontre de tels syst emes sont les t el ecommunications, le nucl eaire, l'avionique ou le m edical. Ces syst emes sont souvent critiques a cause d'enjeux humains et economiques importants. Leur d eveloppement exige donc des m ethodes tr es ables. L'approche synchrone a et e propos ee dans le but de r epondre a cette attente. Ses fondements math ematiques o rent un cadre formel propice a la description et la validation des syst emes temps r eel. Parmi les mod eles de sp eci cation synchrone, le mod ele multi-horloge ou polychrone se distingue par le fait qu'il permet de d ecrire des syst emes o u chaque composant peut avoir sa propre horloge d'activation. Outre la validation formelle, il favorise des approches orient ees composants et le d eveloppement modulaire de syst emes a grande echelle. Cette th ese propose une m ethodologie de conception de syst emes temps r eel en utilisant comme formalisme de description le langage synchrone Signal fond e sur le mod ele polychrone. Elle utilise les outils et techniques formels bas es sur ce mod ele pour v eri er des propri et es comportementales portant sur des aspects tant fonctionnels que non fonctionnels. Cette d emarche facilite l' evaluation des choix de conception. La m ethodologie propos ee permet de concevoir des syst emes comportant des m ecanismes asynchrones a l'aide de l'approche synchrone. Elle illustre la caract erisation de comportements temps r eel dans le mod ele polychrone. L'avionique est le domaine d'application privil egi e par la th ese. Cette derni ere s'inscrit dans le cadre du projet europ een IST SafeAir (Advanced Design Tools for Aircraft Systems and Airborne Software), regroupant plusieurs industriels. Nous nous sommes particuli erement int eress es a la conception d'applications suivant le mod ele d'architecture IMA (Integrated Modular Avionics) sur lequel repose la norme avionique ARINC. Cela a conduit a la r ealisation d'une biblioth eque Signal de composants, constitu ee en majeure partie de services d'un ex ecutif temps r eel d e nis par ARINC.
Fichier principal
Vignette du fichier
gamatiePhD.pdf (160.29 Ko) Télécharger le fichier

Dates et versions

tel-00879359 , version 1 (03-11-2013)
tel-00879359 , version 2 (10-11-2013)

Identifiants

  • HAL Id : tel-00879359 , version 1

Citer

Abdoulaye Gamatié. Modélisation polychrone et évaluation de systèmes temps réel. Systèmes embarqués. Université Rennes 1, 2004. Français. ⟨NNT : ⟩. ⟨tel-00879359v1⟩
532 Consultations
774 Téléchargements

Partager

Gmail Facebook X LinkedIn More