IFIP WCC TC2 2004: Architecture Description Languages pp 67-82 | Cite as

An ADL Centric Approach for the Formal Design of Real-Time Systems

  • Sébastien Faucou
  • Anne-Marie Déplanche
  • Yvon Trinquet
Conference paper
Part of the IFIP The International Federation for Information Processing book series (IFIPAICT, volume 176)

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.

Keywords

ADL real-time systems architecture design process formal validation 
Download to read the full conference paper text

References

  1. ARTIST (2003). Component-based Design and Integration Platforms. Technical Report W1.A2.N1.Y1, ARTIST — Advanced Real-Time Systems — IST project.Google Scholar
  2. Berthomieu, B. and Diaz, M. (1991). Modeling and verifications of time dependent systems using time Petri nets. IEEE TSE, 17(3).Google Scholar
  3. Binns, P. and Vestal, S. (2001). Formalizing software architectures for embedded systems. In EMSOFT 2001, volume 2211 of LNCS. Springer.Google Scholar
  4. Cambazard, H. et al. (2004). Decomposition and learning for a hard real-time task allocating problem. In CORS/INFORMS Joint International Meeting.Google Scholar
  5. Debruyne, V. et al. (2004). EAST-ADL, an Architecture Description Language, Validation and Verification Aspects. In IFIP 2004 WADL.Google Scholar
  6. 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.Google Scholar
  7. Farines, J. et al. (2003). The COTRE project: rigorous software development for real-time systems in avionics. In 27th IFAC/IFIP/IEEE WRTP'03.Google Scholar
  8. Faucou, S. (2002). Description et construction d'architectures opérationnelles validées temporellement. PhD thesis, Université de Nantes.Google Scholar
  9. 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).Google Scholar
  10. ISO (2003). ISO 11898: Road Vehicles — Controller area network (CAN). ISO.Google Scholar
  11. Kodase, S. et al. (2003). Transforming Structural Model to Runtime Model of Embedded Software with Real-time Constraints. In DATE'03 Designer's Forum.Google Scholar
  12. Medvidovic, N. and Taylor, R. (2000). A Classification and Comparison Framework for Software Architecture Description Languages. IEEE TSE, 26(1).Google Scholar
  13. Murata, T. (1989). Petri Nets: Properties, Analysis and Applications. Proc. of the IEEE, 77(1).Google Scholar
  14. 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).Google Scholar

Copyright information

© International Federation for Information Processing 2005

Authors and Affiliations

  • Sébastien Faucou
    • 1
  • Anne-Marie Déplanche
    • 1
  • Yvon Trinquet
    • 1
  1. 1.Institut de Recherche en Communications et Cybernétique de Nantes — UMR 6597 CNRS, École Centrale de Nantes, École des Mines de NantesUniversit de NantesFrance

Personalised recommendations