1. Science
  2. Publications
  3. Information Processing Systems
  4. 8(89)'2010
  5. Example of complex application of formal methods of requirements specification and dependability analysis of computer-based control systems

Example of complex application of formal methods of requirements specification and dependability analysis of computer-based control systems

О.М. Tarasyuk, А.V. Gorbenko, V.S. Kharchenko, Ju.V. Motora
Annotations languages:

Results of complex application of formal specification method Event-B, failure modes and effect analysis techniques and method of fault-tree analysis are reported in the paper by the example of car controlling system for one-way bridge.
Keywords: formal methods, Event-B, FME(С)A, FTA, dependability of computer systems