Checking modification tolerance

Proceedings - 3rd IEEE International High-Assurance Systems Engineering Symposium, HASE 1998

Volumn 1998-November, Issue , 1998, Pages 4-12

  Dal Cin, M ^a  

^a UNIVERSITY OF ERLANGEN NUREMBERG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ENGINEERING; INDUSTRIAL ENGINEERING;

FAULT TOLERANT SYSTEMS; MODEL AND ANALYSIS; PERMANENT ERRORS; STATE-SETS; TRANSITION STRUCTURES;

SYSTEMS ENGINEERING;

EID: 85040771032     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HASE.1998.731589     Document Type: Conference Paper

References (14)

1. Benke, R., Berghammer, R., Meyer, E., Schneider, P. (1998): RELVIEW-A system for calculating relations and relational programming. Springer Lecture Notes in Computer Science Vol. 1382 pp. 318-321
2. Brink, C., Kahl, W., Schmidt, G. (eds.) (1997): Relational Methods in Computer Science (Advances in Computing Science Vol.1). Springer Verlag, WienNewYork
3. Campos, S., Clarke E., Minea, M. (1996): Analysis of real-Time systems using symbolic techniques. In: Hartmeyer and Mandrioli (eds.) (1996): Formal Methods For Real-Time Computing. J. Wiley, New York, pp. 216-235
4. Dal Cin, M. (1997): Verifying fault-Tolerant behavior of state machines. In Proceedings of the Second IEEE High-Assurance Systems Engineering Workshop HASE'97, Bethesda, Maryland. IEEE pp. 94-99
5. Dal Cin, M. (1998): Modeling fault-Tolerant system behavior, in Systems: Theory and Practice (Advances in Computing Science Vol. 3), Springer Verlag WienNewYork pp. 213-234
6. Huszerl G. (1998): Formal verification of fault-Tolerant systems: A relational approach to model checking., diploma thesis IMMD3, 1998.
7. Harel, D. (1987): Statecharts: A visual formalism for complex systems. Science of Computer Programming 8: 231-274
8. Heitmeyer, C., Mandrioli, D. (eds.) (1996): Formal Methods For Real-Time Computing. J. Wiley, New York
9. Janowski, T. (1995): Bisimulation and Fault-Tolerance. PhD thesis, Department of Computer Science, University of Warwick
10. Lee, P.A., Anderson T. (1990): Fault Tolerance, Principles and Practice. Springer Verlag, Wien NewYork
11. McMillan, K.L., (1993): Symbolic Model Checking. Kluwer, Boston Dordrecht London
12. Perraju, T.S., Rana, S.P., Sarkar, S.P. (1996): Specifying fault tolerance in mission critical systems. In Proceedings of the First IEEE High-Assurance Systems Engineering Workshop HASE'96, Niagara on the Lake, Canada. IEEE: 24-31
13. Poincare, H. (1958): The Value of Science. Reprinted by Dover
14. Rushby, J. (1995): Formal methods and their role in the certification of critical systems, SRI International, Technical Report CSL-95-1 Marcu 1995.