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.
Keywords ADL - real-time systems - architecture design process - formal validation