computer science

MAUDE-AADL

MAUDE-AADL

MAUDE-AADL is an OSATE plugin that generates a Real-Time Maude specification from AADL models as explained in:

Peter Csaba Ölveczky, Artur Boronat, José Meseguer. Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude. FMOODS/FORTE 2010.

The source code of the AADL model compiler can be downloaded from here: sources

The versions of the AADL plugins that were used are as follows: OSATE AADL 1.5.7 and BA 0.5.5.

Should you need the Real-Time Maude specification for analysing Real-Time Maude AADL models, please contact Prof. Peter Ölveczky.

• Contents:
• MAUDE-AADL

• Go back to...
• MOMENT2

Author: Artur Boronat ([first name initial]boronat[at]mcs.le.ac.uk), T: +44 (0)116 252 2025.
© University of Leicester 11 December 2007. Last modified: 27th October 2010, 14:01:28.
CS Web Maintainer. Any opinions expressed on this page are those of the author.