Symulacja systemów sprzętowych opisanych w języku reaktywnym Esterel

• Autorzy: Kraszewski P. , Dziurzyński P.

Warianty tytułu

EN

Symulation of hardware systems described in reactive language Esterel

• Konferencja: Reprogramowalne Układy Cyfrowe (18-19 maja 2006; Szczecin; Polska)
• Języki publikacji: PL

Abstrakty

PL

W artykule opisano transformację programów napisanych w reaktywnym języku Esterel do automatów SyncChart w celu wykonania szybkiej symulacji reaktywnych programów synchronicznych. Została opisana implementacja symulatora oraz przedstawiono wyniki badań eksperymentalnych.

EN

In this paper, a transformation of reactive programs given in Esterel language into SyncChart automata is described. The aim of this transformation is to perform fast symulation of reactive synchronous programs. An implemetation of the simulator is described and experimental results are

Słowa kluczowe

PL

symulacja; systemy sprzętowe; język reaktywny Esteral

EN

simulation; hardware systems; reactive language Esterel

• Wydawca: Wydawnictwo PAK
• Czasopismo: Pomiary Automatyka Kontrola
• Rocznik: 2006
• Tom: R. 52, nr 7 bis
• Strony: 49--51
• Opis fizyczny: Bibliogr. 8 poz.

Twórcy

autor

Kraszewski P.

autor

Dziurzyński P.

• Wydział Elektroniki, Politechnika Szczecińska,

Bibliografia

• [1] C. Andre, Computing SyncCharts Reactions, Synchronous Languages, Applications, and Programming (SLAP'03), Porto, Portugalia, 2003.
• [2] M. Baldamus, K. Schneider, Extending Esterel by Asynchronous Concurrency, VDE/VDI-Gesellschaft Mikroelektronik, Mikro- and Feinwerk-technik.pp. 241-248, 1999.
• [3] G. Berry. The Esterel v. 5 language primer, http//www.inria.fr/meije/esterel/, April 1997.
• [4] G. Berry, A Hardware Implementation of Pure Esterel, International Workshop on Formal Methods in VLSI Design, Miami, Floryda, USA, 1991.
• [5] S. A. Edwards Compiling Esterel into sequential code Annual ACM IEEE Design Automation Conference, Proceedings of the 37th conference on Design automation, Los Angeles 2000.
• [6] D. Harel, Statecharts: A visual formalism for complex systems. Science of Computing, pp. 231-274, 1987.
• [7] S. A. Seshia, R. K. Shyamasundar, A. K. Bhattacharjee, S. D. Dhodapkar, A Translation of Statecharts to Esterel, World Congress on Formal Methods, 1999.
• [8] P. Kraszewski, P. Dziurzański, Automatyczna ekstrakcja grafu stanów z kodu źródłowego programu w języku Esterel, Roczniki Informatyki Stosowanej Wydziału Informatyki Politechniki Szczecińskiej nr 9, Szczecin, 2005, pp. 83-89.