System synthesis from AADL using Polychrony

Keywords (1)

Computer Model

Subscribe

Academic

System synthesis from AADL using Polychrony

System synthesis from AADL using Polychrony


	BibTex \| RIS \| RefWorks Download

, , , , ,

Conference: Electronic System Level Synthesis Conference - ESLsyn , 2011

DOI: 10.1109/ESLsyn.2011.5952285

Cumulative Annual

View Publication

( ieeexplore.ieee.org )

( ieeexplore.ieee.org )

References (12)

The Synchronous Languages Twelve Years Later (Citations: 171)

Albert Benveniste, Paul Caspi, Stephen A. Edwards, Nicolas Halbwachs, Robert de Simone

Journal: Proceedings of The IEEE - PIEEE , 2003
Fiacre: an Intermediate Language for Model Verification in the TOPCASED Environment (Citations: 17)

B. Berthomieu, J. P. Bodeveix, P. Farail, M. Filali, H. Garavel, P. Gaufillet, F. Lang, F. Vernadat

Published in 2008.
The ESTEREL language (Citations: 235)

FREDERIC BOUSSINOT, ROBERT DE SIMONE

Journal: Proceedings of The IEEE - PIEEE , vol. 79, no. 9, pp. 1293-1304, 1991
Synchronous Modelling of Asynchronous Systems (Citations: 15)

Nicolas Halbwachs, Siwar Baghdadi

Conference: International Workshop on Embedded Systems - EMSOFT , pp. 240-251, 2002
The Synchronous Data Flow Programming Language LUSTRE (Citations: 763)

NICHOLAS HALBWACHS, PAUL CASPI, PASCAL RAYMOND, DANIEL PILAUD

Journal: Proceedings of The IEEE - PIEEE , vol. 79, no. 9, pp. 1305-1320, 1991