Towards System Safety

In the assessment of safety aspects for the Gardermobanen railway signalling system, the methods indicated in the CENELEC Railway safety norms were utilised. The safety documentation was presented as Safety Cases that were assessed. During the development and engineering period, a proactive way of working was used by the Assessor, to disseminate understanding of the Assessor's point of view as early in the process as possible. Thus, the Assessor's sources of information were taken from the development process, the system descriptions as well as early drafts of the Safety Cases.

[1]  João Batista,et al.  Estudo da segurança em sistemas de controle metro-ferroviários. , 1996 .

[2]  Rogério de Lemos,et al.  The role of formal methods in the requirements analysis of safety-critical systems: a train set example , 1991, [1991] Digest of Papers. Fault-Tolerant Computing: The Twenty-First International Symposium.

[3]  Alan E. Waring,et al.  Practical Systems Thinking , 1996 .

[4]  Peter Neumann,et al.  Safeware: System Safety and Computers , 1995, SOEN.

[5]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[6]  Pierre Wolper,et al.  Expressing interesting properties of programs in propositional temporal logic , 1986, POPL '86.

[7]  Roger Lipsett,et al.  VHDL: hardware description and design , 1989 .

[8]  J. R. Büchi,et al.  Solving sequential conditions by finite-state strategies , 1969 .

[9]  Nicolas Halbwachs,et al.  Synchronous Programming of Reactive Systems , 1992, CAV.

[10]  Hardi Hungar,et al.  First-Order-CTL Model Checking , 1998, FSTTCS.

[11]  Jane Hesketh,et al.  Reliable and accountable system design , 1997, Knowl. Eng. Rev..

[12]  Éric Rutten,et al.  A translation of Statecharts into Signal , 1998, Proceedings 1998 International Conference on Application of Concurrency to System Design.

[13]  F. Redmill,et al.  Principles underlying a guideline for applying HAZOP to programmable electronic systems , 1997 .

[14]  Paul W. H. Chung,et al.  Safety assessment and the software requirements specification , 1997 .

[15]  J. Fox,et al.  Decision-Support Systems as Safety-Critical Components: Towards a Safety Culture for Medical Informatics , 1993, Methods of Information in Medicine.

[16]  Albert Benveniste,et al.  Safety Critical Embedded Systems Design: the SACRES approach , 1998 .

[17]  Watts S. Humphrey,et al.  Software process improvement at Hughes Aircraft , 1991, IEEE Software.

[18]  Nancy G. Leveson,et al.  Software Requirements Analysis for Real-Time Process-Control Systems , 1991, IEEE Trans. Software Eng..

[19]  Yves Sorel,et al.  A Denotational Theory of Synchronous Reactive Systems , 1992, Inf. Comput..