Journal Title
Title of Journal:
|
|
|
Publisher
Springer, Berlin, Heidelberg
|
|
|
|
|
|
Authors: Peter Csaba Ölveczky
Publish Date: 2011
Volume: , Issue: , Pages: 368-402
Abstract
This survey paper presents an overview of how RealTime Maude has been used to provide a formal semantics and formal analysis capabilities to a wide range of modeling languages for embedded systems namely a behavioral subset of the avionics modeling standard AADL a synchronous version of AADL the discreteevent models of the powerful graphical modeling language Ptolemy II two very different approaches to extend model transformations with time and an imperative language for handset software
Keywords:
.
|
Other Papers In This Journal:
|