Abstract is missing.
- CMMI RAMS Extension Based on CENELEC Railway StandardJose Antonio Fonseca, Jorge Rady de Almeida Jr.. 1-12 [doi]
- The Importance of Single-Source Engineering of Emergency and Process Shutdown SystemsRobert Martinez, Torgeir Enkerud. 13-23 [doi]
- Combining Extended UML Models and Formal Methods to Analyze Real-Time SystemsNawal Addouche, Christian Antoine, Jacky Montmain. 24-36 [doi]
- Defining and Decomposing Safety Policy for Systems of SystemsMartin Hall-May, Tim Kelly. 37-51 [doi]
- Generalising Event Trees Using Bayesian Networks with a Case Study of Train DerailmentGeorge Bearfield, William Marsh. 52-66 [doi]
- Control and Data Flow Testing on Function Block DiagramsEunkyoung Jee, Junbeom Yoo, Sung Deok Cha. 67-80 [doi]
- Comparing Software Measures with Fault Counts Derived from Unit-Testing of Safety-Critical SoftwareWolfgang Herzner, Stephan Ramberger, Thomas Länger, Christian Reumann, Thomas Gruber, Christian Sejkora. 81-93 [doi]
- Automatic Analysis of a Safety Critical Tele Control SystemEdoardo Campagnano, Ester Ciancamerla, Michele Minichino, Enrico Tronci. 94-107 [doi]
- A Formal Model for Fault-Tolerance in Distributed SystemsBrahim Hamid, Mohamed Mosbah. 108-121 [doi]
- Model-Based Safety Analysis of Simulink Models Using SCADE Design VerifierAnjali Joshi, Mats Per Erik Heimdahl. 122-135 [doi]
- Using Safety Critical Artificial Neural Networks in Gas Turbine Aero-Engine ControlZeshan Kurd, Tim P. Kelly. 136-150 [doi]
- On the Effectiveness of Run-Time ChecksMeine van der Meulen, Lorenzo Strigini, Miguel A. Revilla. 151-164 [doi]
- A Technique for Fault Tolerance Assessment of COTS Based SystemsRuben Alexandersson, D. Krishna Chaitanya, Peter Öhman, Yasir Siraj. 165-178 [doi]
- Finding Upper Bounds for Software Failure Probabilities - Experiments and ResultsMonica Kristiansen. 179-193 [doi]
- Justification of Smart Sensors for Nuclear ApplicationsPeter G. Bishop, Robin E. Bloomfield, Sofia Guerra, Konstantinos Tourlas. 194-207 [doi]
- Evolutionary Safety Analysis: Motivations from the Air Traffic Management DomainMassimo Felici. 208-221 [doi]
- Public-Key Cryptography and AvailabilityTage Stabell-Kulø, Simone Lupetti. 222-232 [doi]
- End-To-End Worst-Case Response Time Analysis for Hard Real-Time Distributed SystemsLei Wang, Mingde Zhao, Zengwei Zheng, Zhaohui Wu. 233-245 [doi]
- Safety Interfaces for Component-Based SystemsJonas Elmqvist, Simin Nadjm-Tehrani, Marius Minea. 246-260 [doi]
- A Safety-Related PES for Task-Oriented Real-Time Execution Without Asynchronous InterruptsMartin Skambraks. 261-274 [doi]
- Are High-Level Languages Suitable for Robust Telecoms Software?Jan Henry Nyström, Philip W. Trinder, David J. King. 275-288 [doi]
- Functional Apportioning of Safety Requirements on Railway Signalling SystemsOla Løkberg, Øystein Skogstad. 289-302 [doi]
- Automatic Code Generation for PLC ControllersKrzysztof Sacha. 303-316 [doi]
- The TACO Approach for Traceability and Communication of RequirementsTerje Sivertsen, Rune Fredriksen, Atoosa P.-J. Thunem, Jan-Erik Holmberg, Janne Valkonen, Olli Ventä, Jan-Ove Andersson. 317-329 [doi]
- An IEC 62061 Compliant Safety System Design Method for MachineryBengt Ljungquist, Thomas Thelin. 330-343 [doi]
- Design Evaluation: Estimating Multiple Critical Performance and Cost Impacts of DesignsTom Gilb. 344-356 [doi]
- The Application of an Object-Oriented Method in Information System Security EvaluationQiang Yan, Huaying Shu. 357-367 [doi]
- Towards a Cyber Security Reporting System - A Quality Improvement ProcessJose J. Gonzalez. 368-380 [doi]
- Security Research from a Multi-disciplinary and Multi-sectoral PerspectiveAtoosa P.-J. Thunem. 381-389 [doi]
- Problem Frames and Architectures for Security ProblemsDenis Hatebur, Maritta Heisel. 390-404 [doi]