Advertisement

The SynchAADL2Maude Tool

  • Kyungmin Bae
  • Peter Csaba Ölveczky
  • José Meseguer
  • Abdullah Al-Nayeem
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7212)

Abstract

SynchAADL2Maude is an Eclipse plug-in that uses Real-Time Maude to simulate and model check Synchronous AADL models. Synchronous AADL is a variant of the industrial modeling standard AADL that supports the modeling of synchronous embedded systems. In particular, Synchronous AADL can be used to define in AADL the synchronous models in the PALS methodology, in which the very hard tasks of modeling and verifying an asynchronous distributed real-time system that should be virtually synchronous can be reduced to the much simpler tasks of modeling and verifying the underlying synchronous design.

References

  1. 1.
    Bae, K., Ölveczky, P.C., Al-Nayeem, A., Meseguer, J.: Synchronous AADL and Its Formal Analysis in Real-Time Maude. In: Qin, S., Qiu, Z. (eds.) ICFEM 2011. LNCS, vol. 6991, pp. 651–667. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  2. 2.
    Kopetz, H., Bauer, G.: The time-triggered architecture. Proc. IEEE 91(1) (2003)Google Scholar
  3. 3.
    Meseguer, J., Ölveczky, P.C.: Formalization and Correctness of the PALS Architectural Pattern for Distributed Real-Time Systems. In: Dong, J.S., Zhu, H. (eds.) ICFEM 2010. LNCS, vol. 6447, pp. 303–320. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  4. 4.
    Miller, S.P., Cofer, D.D., Sha, L., Meseguer, J., Al-Nayeem, A.: Implementing logical synchrony in integrated modular avionics. In: Proc. DASC 2009. IEEE (2009)Google Scholar
  5. 5.
    Ölveczky, P.C., Meseguer, J.: Semantics and pragmatics of Real-Time Maude. Higher-Order and Symbolic Computation 20(1-2), 161–196 (2007)zbMATHCrossRefGoogle Scholar
  6. 6.
    SAE AADL Team: AADL homepage (2009), http://www.aadl.info/

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Kyungmin Bae
    • 1
  • Peter Csaba Ölveczky
    • 2
  • José Meseguer
    • 1
  • Abdullah Al-Nayeem
    • 1
  1. 1.University of IllinoisUrbana-ChampaignUSA
  2. 2.University of OsloNorway

Personalised recommendations