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
Reference:
Tarasiuk, O.M., Horbenko, A.V., Kharchenko, V.S. and Motora, Yu.V. (2010), "Prymer kompleksnoho yspolzovanyia formalnыkh metodov spetsyfykatsyy trebovanyi y analyza nadezhnosty kompiuternыkh system upravlenyia" , Information Processing Systems, Vol. 8(89), pp. 83-89.