Comparison of Modelling Methodologies for the Formal Safety Assessment in Shipping Transportation

  • Monica Konstantinidou
  • Evangelos Mennis
  • Nikitas Nikitakos
  • Agapios Platis
Conference paper


In the last decades, in maritime transportation, there have been a number of very serious accidents caused by different nature contributing factors. The consequences of these accidents were mass casualties in terms of human lives or human injuries, and in terms of environmental degradation, contributing to spoilage in local regional economies. A specific process known as Formal Safety Assessment (FSA) has been developed and applied to the International Marine Time Transportation (IMO) rule making process, in order to help the evaluation of new regulations or to compare proposed changes with existing standards.


Fault Tree Accident State Fault Tree Analysis Maritime Safety Formal Safety Assessment 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Akers. S. B. Binary decision diagrams. IEEE Transactions on Computers, c-27(6): 509–516, June 1978.CrossRefGoogle Scholar
  2. 2.
    Bowles J. B, Bonnell D. R., Failure Mode, Effects, and Criticality Analysis (What It Is and How To Use It)1997 RAMS IEEE Press.Google Scholar
  3. 3.
    Bryant R. E. Graph-based algorithms for Boolean function manipulation. IEEE Transactions on Computers, c-35(8): 677–691, August 1986.CrossRefGoogle Scholar
  4. 4.
    Coudert O., Madre J. C., Fault tree analysis: 102 prime implicants and beyond. In Proceedings of the Reliability and Maintainability Symposium, pages 240-245, January, 1993.Google Scholar
  5. 5.
    Dugan J. B, Doyle S. A., New Results in Fault-Tree Analysis 1997 RAMS IEEE PressGoogle Scholar
  6. 6.
    Evans R. A, Practical Reliability Engineering & Management. 1997 RAMS IEEE PressGoogle Scholar
  7. 7.
    Hoyland A., Rausand M., System Reliability Theory Models and Statistical MethodsGoogle Scholar
  8. 8.
    IMO Interim guidelines for the application of FSA to the IMO rule-making process. MEPC 40/16 (or MSC/Circ.829, MEPC/Circ.335), 1997.Google Scholar
  9. 9.
    Kovalenko I. N., Kuznetsov N. Y. Pegg P. A. Mathematical Theory of Reliability of Time Dependent Systems with Practical Applications Willey Series in Probability and Statistics.Google Scholar
  10. 10.
    Platis A An extension of the Performability Measure and Application in System Reliability, International Journal of Computation and Numerical Analysis and Applications 2002; 1: 87–101MathSciNetGoogle Scholar
  11. 11.
    Wang J., Foinikis P.. Formal safety assessment of containerships 2001, Marin Policy, 143-157Google Scholar

Copyright information

© Springer-Verlag London 2004

Authors and Affiliations

  • Monica Konstantinidou
    • 1
  • Evangelos Mennis
    • 2
  • Nikitas Nikitakos
    • 2
  • Agapios Platis
    • 3
  1. 1.Department of MathematicsUniversity of the AegeanSamosGreece
  2. 2.Department of Shipping Trading and TransportationUniversity of the AegeanChiosGreece
  3. 3.Department of Information and Communication Systems EngineeringUniversity of the AegeanSamosGreece

Personalised recommendations