-
Toward Polychronous Analysis and Validation for Timed Software Architectures ...
International audience -
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... -
Inter-process communication energy estimation through AADL modeling
International audience -
Promotion of the Model-Based System Engineering approach for dependability an...
Nowadays, industrial systems are getting more and more complicated, integrating various technologies. Their designs involve many different engineering fields to... -
Polychronous modeling, analysis, verification and simulation for timed softwa...
International audience -
Exploring system architectures in AADL via Polychrony and SynDEx
International audience
