Abstract
This paper reports an experiment conducted with EVAL, a Petri Nets based tool, on a satellite application. The satellite architecture is described, using EVAL specification language which provides powerful communication mechanisms (multi-rendez-vous) along with modular decomposition. In addition to interactive behaviour simulation, the tool supports exhaustive analysis techniques, with respect to logical, temporal or stochastic criteria of the system. Verification results on the satellite application are presented. We stress on the use of a modelling methodology to build analysis models.
This work was partially supported by ANVAR under contract A8702012W0240 and EDF under contract M63-7A3369/EL363. The tool was developed with the technical contribution of the LAAS-CNRS and the CEDRIC-CNAM research laboratories. The application example has been done with CNES under contract 843/89/5933.
This article was processed using the LATEX macro package with LLNCS style
Preview
Unable to display preview. Download preview PDF.
References
Brinskma88 Ed Brinskma. On the Design of Extended Lotos PhD Thesis. Twente University.
Genrich89 Hartmann J. Genrich. Equivalence transformation of PrT nets. In workshop on Application an Theory of Petri Nets, pages 229–248, 1988.
Lloret90 J.C. Lloret, P. Azéma, F. Vernadat. Compositional Design and Verification with Labelled Predicate Transition Nets in Computer Aided Verification 90, DIMACS Workshop, E.M. Clarke and R.P. Kutshan Editor, acm.
Florin85 G. Florin, S. Natkin. Les réseaux de Petri stochastiques. TSI Vol.4.1.
Milner84 R. Milner, Lectures on a Calculus for Communicating Systems In Seminor on Concurrency, LNCS 197, pp. 205–228, Springer Verlag.
Roux87 J.L. Roux, G. Juanole. Functional and Performance Analysis using Extended Time Petri Nets International Workshop on Petri Nets and Performance Models, Madison, Wisconsin.
VERILOG91 EVAL: System Modelling and Analysis. Technical Presentation, EVAL/NT.A/1.0, VERILOG, Toulouse.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lloret, J.C., Roux, J.L., Algayres, B., Chamontin, M. (1992). Modelling and evaluation of a satellite system using EVAL, a Petri Net based industrial tool. In: Jensen, K. (eds) Application and Theory of Petri Nets 1992. ICATPN 1992. Lecture Notes in Computer Science, vol 616. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55676-1_23
Download citation
DOI: https://doi.org/10.1007/3-540-55676-1_23
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55676-3
Online ISBN: 978-3-540-47270-4
eBook Packages: Springer Book Archive