Development of a Synchronous Subset of AADL

Mamoun Filali-Amine, Julia Lawall
Digital Printed Abstract View Cite
Type
Conference paper
Publication
2nd International Conference on ASM, Alloy, B, and Z (ABZ'10)

Abstract

We study the definition and the mapping of an AADL subset: the so called synchronous subset. We show that the data port protocol used for delayed and immediate connections between periodic threads can be interpreted in a synchronous way. In this paper, we formalize this interpretation and study the development of its mapping such that the original synchronous semantics is preserved. For that purpose, we use refinements through the Event B method.

Document

If you cannot see the document below, the PDF document is most likely not freely accessible. In this case, please try to access the document via this link.

Reference

% BibTex
@inproceedings{Filali-AmineL10,
  author       = {Mamoun Filali{-}Amine and
                  Julia Lawall},
  editor       = {Marc Frappier and
                  Uwe Gl{\"{a}}sser and
                  Sarfraz Khurshid and
                  R{\'{e}}gine Laleau and
                  Steve Reeves},
  title        = {Development of a Synchronous Subset of {AADL}},
  booktitle    = {Abstract State Machines, Alloy, {B} and Z, Second International Conference,
                  {ABZ} 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5977},
  pages        = {245--258},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-11811-1\_19},
  doi          = {10.1007/978-3-642-11811-1\_19},
  timestamp    = {Mon, 17 Jan 2022 15:20:19 +0100},
  biburl       = {https://dblp.org/rec/conf/asm/Filali-AmineL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
ABZ'10

Related