Skip to main content
Conference ProceedingsOPEN ACCESS

MARRELLA and the verification of an embedded system

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2001) 2030 409-412
DOI: 10.1007/3-540-45315-6_27
0Citations
Citations of this article
1Readers
Mendeley users who have this article in their library.

This article is free to access.

Abstract

We present the architecture of MARRELLA, a tool designed for simulation and verification of distributed systems. The input of the tool is an event driven language whereas the underlying model is event structures. It gives the possibilities of generating one, some or all the executions of any distributed program. We have tested the tool for the verification of an embedded system. The corresponding results are re- ported here as well as those obtained with equivalent tools applied to the same case study. These experimental results show then the efficiency of MARRELLA.

Cite

CITATION STYLE

APA

Ambroise, D., Augé, P., Bouchefra, K., & Rozoy, B. (2001). MARRELLA and the verification of an embedded system. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2030, pp. 409–412). Springer Verlag. https://doi.org/10.1007/3-540-45315-6_27

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free