Development of a synchronous subset of AADL

Mamoun Filali; Julia Lawall

doi:10.1007/978-3-642-11811-1_19

Development of a synchronous subset of AADL

Mamoun Filali, Julia Lawall

Datalogisk Institut

8 Citationer (Scopus)

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.

Originalsprog	Engelsk
Titel	Abstract State Machines, Alloy, B and Z : Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings
Redaktører	Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves
Antal sider	14
Forlag	Springer
Publikationsdato	2010
Sider	245-258
ISBN (Trykt)	978-3-642-11810-4
ISBN (Elektronisk)	978-3-642-11811-1
DOI	https://doi.org/10.1007/978-3-642-11811-1_19
Status	Udgivet - 2010
Begivenhed	2nd International Conference on Abstract State Machines, Alloy, B and Z - Orford, Canada Varighed: 22 feb. 2010 → 25 feb. 2010 Konferencens nummer: 2

Konference

Konference	2nd International Conference on Abstract State Machines, Alloy, B and Z
Nummer	2
Land/Område	Canada
By	Orford
Periode	22/02/2010 → 25/02/2010

Navn	Lecture notes in computer science
Vol/bind	5977
ISSN	0302-9743

Adgang til dokumentet

10.1007/978-3-642-11811-1_19

Citationsformater

Filali, M., & Lawall, J. (2010). Development of a synchronous subset of AADL. I M. Frappier, U. Glässer, S. Khurshid, R. Laleau, & S. Reeves (red.), Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings (s. 245-258). Springer. Lecture notes in computer science Bind 5977 https://doi.org/10.1007/978-3-642-11811-1_19

Development of a synchronous subset of AADL. / Filali, Mamoun; Lawall, Julia.

Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings. red. / Marc Frappier; Uwe Glässer; Sarfraz Khurshid; Régine Laleau; Steve Reeves. Springer, 2010. s. 245-258 (Lecture notes in computer science, Bind 5977).

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

Filali, M & Lawall, J 2010, Development of a synchronous subset of AADL. i M Frappier, U Glässer, S Khurshid, R Laleau & S Reeves (red), Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings. Springer, Lecture notes in computer science, bind 5977, s. 245-258, 2nd International Conference on Abstract State Machines, Alloy, B and Z, Orford, Canada, 22/02/2010. https://doi.org/10.1007/978-3-642-11811-1_19

Filali M, Lawall J. Development of a synchronous subset of AADL. I Frappier M, Glässer U, Khurshid S, Laleau R, Reeves S, red., Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings. Springer. 2010. s. 245-258. (Lecture notes in computer science, Bind 5977). doi: 10.1007/978-3-642-11811-1_19

Filali, Mamoun ; Lawall, Julia. / Development of a synchronous subset of AADL. Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings. red. / Marc Frappier ; Uwe Glässer ; Sarfraz Khurshid ; Régine Laleau ; Steve Reeves. Springer, 2010. s. 245-258 (Lecture notes in computer science, Bind 5977).

@inproceedings{2afac74074cd11df928f000ea68e967b,

title = "Development of a synchronous subset of AADL",

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.",

author = "Mamoun Filali and Julia Lawall",

year = "2010",

doi = "10.1007/978-3-642-11811-1_19",

language = "English",

isbn = "978-3-642-11810-4",

series = "Lecture notes in computer science",

publisher = "Springer",

pages = "245--258",

editor = "Marc Frappier and Uwe Gl{\"a}sser and Sarfraz Khurshid and R{\'e}gine Laleau and Steve Reeves",

booktitle = "Abstract State Machines, Alloy, B and Z",

note = "2nd International Conference on Abstract State Machines, Alloy, B and Z, ABZ 2010 ; Conference date: 22-02-2010 Through 25-02-2010",

}

TY - GEN

T1 - Development of a synchronous subset of AADL

AU - Filali, Mamoun

AU - Lawall, Julia

N1 - Conference code: 2

PY - 2010

Y1 - 2010

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-642-11811-1_19

DO - 10.1007/978-3-642-11811-1_19

M3 - Article in proceedings

SN - 978-3-642-11810-4

T3 - Lecture notes in computer science

SP - 245

EP - 258

BT - Abstract State Machines, Alloy, B and Z

A2 - Frappier, Marc

A2 - Glässer, Uwe

A2 - Khurshid, Sarfraz

A2 - Laleau, Régine

A2 - Reeves, Steve

PB - Springer

T2 - 2nd International Conference on Abstract State Machines, Alloy, B and Z

Y2 - 22 February 2010 through 25 February 2010

ER -

Development of a synchronous subset of AADL

Abstract

Konference

Adgang til dokumentet

Fingeraftryk

Citationsformater