An ADL Centric Approach for the Formal Design of Real-Time Systems
Sébastien Faucou, Anne‐Marie Déplanche, Yvon Trinquet · 2005
This paper presents the REACT project, dedicated to real-time system design. REACT aims at combining into an architectural design process some formal modelling and verification techniques and providing those corresponding tools. It emphasizes on the ADL of REACT (CLARA), and the validation of functional architectures using formal techniques.