MARRELLA and the Verification of an Embedded System

Authors:
Dominique Ambroise;Patrick Augé;Kamel Bouchefra;Brigitte Rozoy
Affiliations:
-;-;-;-
Venue:
FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
Year:
2001

Citing 3
Cited 0

Models for concurrency

Handbook of logic in computer science (vol. 4)
An Unfolding Algorithm for Synchronous Products of Transition Systems

CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Trace Theory

Proceedings of an Advanced Course on Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986-Part II

Quantified Score

Hi-index	0.00

Visualization

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 reported here as well as those obtained with equivalent tools applied to the same case study. These experimental results show then the efficiency of MARRELLA.