Abstract
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.
Chapter PDF
Similar content being viewed by others
References
ARTIST (2003). Component-based Design and Integration Platforms. Technical Report W1.A2.N1.Y1, ARTIST — Advanced Real-Time Systems — IST project.
Berthomieu, B. and Diaz, M. (1991). Modeling and verifications of time dependent systems using time Petri nets. IEEE TSE, 17(3).
Binns, P. and Vestal, S. (2001). Formalizing software architectures for embedded systems. In EMSOFT 2001, volume 2211 of LNCS. Springer.
Cambazard, H. et al. (2004). Decomposition and learning for a hard real-time task allocating problem. In CORS/INFORMS Joint International Meeting.
Debruyne, V. et al. (2004). EAST-ADL, an Architecture Description Language, Validation and Verification Aspects. In IFIP 2004 WADL.
Durand, E. (1998). Description et vérification d'architectures d'application temps réel: CLARA et les réseaux de Petri temporels. PhD thesis, École Centrale de Nantes.
Farines, J. et al. (2003). The COTRE project: rigorous software development for real-time systems in avionics. In 27th IFAC/IFIP/IEEE WRTP'03.
Faucou, S. (2002). Description et construction d'architectures opérationnelles validées temporellement. PhD thesis, Université de Nantes.
Faucou, S. et al. (2004). REACT: an ADL centric approach for the rigorous design of real-time embedded systems. Technical report, IRCCyN. (to be published).
ISO (2003). ISO 11898: Road Vehicles — Controller area network (CAN). ISO.
Kodase, S. et al. (2003). Transforming Structural Model to Runtime Model of Embedded Software with Real-time Constraints. In DATE'03 Designer's Forum.
Medvidovic, N. and Taylor, R. (2000). A Classification and Comparison Framework for Software Architecture Description Languages. IEEE TSE, 26(1).
Murata, T. (1989). Petri Nets: Properties, Analysis and Applications. Proc. of the IEEE, 77(1).
Roux, O. and Déplanche, A. (2002). A T-time Petri net extension for real-time task scheduling modeling. European Journal of Automation (APII-JESA), 36(7).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 International Federation for Information Processing
About this paper
Cite this paper
Faucou, S., Déplanche, AM., Trinquet, Y. (2005). An ADL Centric Approach for the Formal Design of Real-Time Systems. In: Dissaux, P., Filali-Amine, M., Michel, P., Vernadat, F. (eds) Architecture Description Languages. IFIP WCC TC2 2004. IFIP The International Federation for Information Processing, vol 176. Springer, Boston, MA. https://doi.org/10.1007/0-387-24590-1_5
Download citation
DOI: https://doi.org/10.1007/0-387-24590-1_5
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-24589-8
Online ISBN: 978-0-387-24590-4
eBook Packages: Computer ScienceComputer Science (R0)