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. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1007/978-3-642-28872-2_4 | FASE |
Keywords | Field | DocType |
synchronous model,synchronous embedded system,industrial modeling standard aadl,aadl model,underlying synchronous design,model check,pals methodology,hard task,synchronous aadl,synchaadl2maude tool,real-time maude | Asynchronous communication,Programming language,Computer science,Eclipse,Distributed computing | Conference |
Volume | ISSN | Citations |
7212 | 0302-9743 | 4 |
PageRank | References | Authors |
0.41 | 5 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Kyungmin Bae | 1 | 156 | 12.35 |
Peter Csaba Ölveczky | 2 | 864 | 57.59 |
José Meseguer | 3 | 9533 | 805.39 |
Abdullah Al-Nayeem | 4 | 48 | 3.82 |