Integration of logical and physical properties of embedded systems by use of time Petri nets

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1516, Issue , 1998, Pages 319-328

  Saglietti, Francesca ^a  

^a Inst for Safety Technology GmbH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

PETRI NETS;

CONTINUOUS PROCESS; EARLY DESIGN STAGES; EARLY REQUIREMENTS ANALYSIS; HIGH-LEVEL DESIGN; PHYSICAL ASPECTS; SAFETY PROPERTY; SAFETY-RELATED EMBEDDED SYSTEMS; TIME PETRI NETS;

EMBEDDED SYSTEMS;

EID: 84889242156     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-49646-7_25     Document Type: Conference Paper

References (12)

1. Berthomieu, B., Diaz, M.: Modeling and Verification of Time Dependent Systems Using Time Petri Nets. IEEE Transactions on Software Engineering, Vol. 17. IEEE Computer Society (1991)
2. Coombes, A., McDermid, J., Moffett, J.: Requirements Analysis and Safety: A Case Study using GRASP. Proceedings SAFECOMP’95, G. Rabe editor. Springer-Verlag (1995)
3. European Space Agency: ARIANE 5 Flight 501 Failure Report by the Inquiry Board. Press Release (1996)
4. Garrett C. J., Guarro, S. B., Apostolakis, G. E.: The Dynamic Flowgraph Methodology for Assessing the Dependability of Embedded Software Systems. IEEE Transactions on Systems, Man, and Cybernetics, Vol. 25. IEEE Computer Society (1995)
5. Jones, N. D., Landweber, L. H., Lien, Y. E.: Complexity of some Problems in Petri Nets. Theoretical Computer Science, Vol. 4. Elsevier Science Publishers (1977)
6. Leveson, N. G.: Safeware: System Safety and Computers - A Guide to Preventing Accidents and Losses Caused by Technology. Addison-Wesley (1995)
7. Leeb, G., Lynch, N.: Proving Safety Properties of the Steam Boiler Controller. Lecture Notes in Computer Science, Vol. 11654. Springer-Verlag (1996)
8. Lynch, N.: Modelling and Verification of Automated Transit Systems, using Timed Automata, Invariants and Simulations. Lecture Notes in Computer Science, Vol. 1066. Springer-Verlag (1996)
9. Moffett, J. D., Hall, J. G., Coombes, A. C., McDermid, J. A.: A Model for a Causal Logic for Requirements Engineering. Journal of Requirements Engineering, Vol. 1. Springer- Verlag (1996)
10. Saglietti, F., guest editor: Special Issue on Dependability of Real-Time Software. Real-Time Systems - The International Journal of Time-Critical Computing Systems, Vol. 7. Kluwer Academic Publishers (1994)
11. Saglietti, F.: Dynamic Decision on Checkpointing by Use of Reduced Ordered Binary Decision Diagrams. Proceedings SAFECOMP'97, P. Daniel editor. Springer-Verlag (1997)
12. Thomas, M.: The Story of the Therac-25 in LOTOS. High Integrity Systems, Vol. 1. Oxford University Press (1994)