2012 • In Proceedings of 5th International Symposium of Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies
Peraldi-Frati, M.-A.; AOSTE Project - UNS-I3S-INRIA - Sophia Antipolis, France
Goknil, A.; AOSTE Project - UNS-I3S-INRIA - Sophia Antipolis, France
ADEDJOUMA, Morayo ; Delphi - 22 Avenue des Nations - BP 65059 Villepinte, France
Gueguen, P.-Y.; Delphi - 22 Avenue des Nations - BP 65059 Villepinte, France
Langue du document :
Anglais
Titre :
Modeling a BSG-E automotive system with the Timing augmented description language
Date de publication/diffusion :
2012
Nom de la manifestation :
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies (ISoLA 2012)
Lieu de la manifestation :
Heraklion, Crete, Grèce
Date de la manifestation :
October 15-18
Manifestation à portée :
International
Titre de l'ouvrage principal :
Proceedings of 5th International Symposium of Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies
Maison d'édition :
Margaria, Tiziana - Steffen, Bernhard (Eds.)
ISBN/EAN :
978-3-642-34031-4
Pagination :
111-125
Peer reviewed :
Peer reviewed
Commentaire :
7610
Proceedings of 5th International Symposium of Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies
The ITEA TIMMO-2-USE Project, http://timmo-2-use.org/
Abdulla, P.A., Deneux, J., Stålmarck, G., Ågren, H., Åkerlund, O.: Designing Safe, Reliable Systems Using Scade. In: Margaria, T., Steffen, B. (eds.) ISoLA 2004. LNCS, vol. 4313, pp. 115-129. Springer, Heidelberg (2006)
AUTOSAR AUTomotive Open System Architecture, http://www.autosar.org
DeAntoni, J., Mallet, F., André, C.: TimeSquare: on the formal execution of UML and DSL models. Tool Session of the 4th Model Driven Development for Distributed Real Time Systems (2008)
EAST-ADL Language Specification, http://www.atesst.org/home/liblocal/ docs/ATESST2-D4.1.1-EAST-ADL2-Specification-2010-06-02.pdf
Mallet, F., André, C., de Simone, R.: CCSL: Specifying Clock Constraints with UML/Marte. ISSE 4(3), 309-314 (2008)
Peraldi-Frati, M.-A., Goknil, A., Deantoni, J., Nordlander, J.: A Timing Language for Specifying Multi Clock Automotive Systems: The Timing Augmented Description Language. In: ICECCS 2012, Paris, France (2012)
