-
Synchronous Modeling of Modular Avionics Architectures using the SIGNAL Language
This document presents a study on the modeling of architecture components for avionics applications. We consider the avionics standard ARINC 653 specifications as... -
Compositional modeling of globally asynchronous locally synchronous (GALS) ar...
AADL is dedicated to high-level design and evaluation of embedded systems. It allows describing both system structure and functional aspects via a component-based... -
Conception synchrone d'applications avioniques par raffinement de modèles
International audience -
Polychronous modeling and evaluation of real-time systems
Real-time systems are devices consisting of hardware and software with functional and timing constraints for the interaction with their environment. Telecommunication,...
