Published 1999
| Version v1
Report
Conception et validation d'architectures distribuées temps réel
Contributors
Others:
- Real time and interoperability (TRIO) ; INRIA Lorraine ; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA) ; Institut National de Recherche en Informatique et en Automatique (Inria)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS)
- Thomson-CSF Laboratoire Central de Recherche (LCR) ; Thomson
- Institut de Recherche en Communications et en Cybernétique de Nantes (IRCCyN) ; Mines Nantes (Mines Nantes)-École Centrale de Nantes (ECN)-Ecole Polytechnique de l'Université de Nantes (EPUN) ; Université de Nantes (UN)-Université de Nantes (UN)-PRES Université Nantes Angers Le Mans (UNAM)-Centre National de la Recherche Scientifique (CNRS)
- Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S) ; Université Nice Sophia Antipolis (1965 - 2019) (UNS) ; COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)
- Laboratoire d'Automatique et d'Informatique Industrielle de Lille (LAIL) ; Université de Lille, Sciences et Technologies-Centrale Lille-Centre National de la Recherche Scientifique (CNRS)
- LORIA COVADIS
Description
Ce document présente les travaux réalisés au cours de la deuxième année du projet COVADIS ainsi que les résultats obtenus. Le langage Ardeco est spécifié formellement. La modélisation et la validation (propriétés logiques) des composants spécifiés en Ardéco est présenté grâce à un traducteur Ardéco- Esterel. Afin de vérifier des propriétés temps réel de l'architecture, d'une part, une traduction des composants sous forme d'automates temporisés est développée et, d'autre part, la construction de modèles élémentaires de composants matériels est abordée. Enfin, le principe de construction d'un modèle complet d'architecture opérationnelle est établi.
Abstract
Rapport de contrat.Additional details
Identifiers
- URL
- https://hal.inria.fr/inria-00098849
- URN
- urn:oai:HAL:inria-00098849v1
Origin repository
- Origin repository
- UNICA