Safety Critical Systems and Software 2004, Ninth Australian Workshop on Safety-Related Programmable Systems, (SCS2004), Brisbane, Australia, October 2004 - researchr publication

researchr

You are not signed in
Sign in
Sign up

Anthony Cant, editor, Safety Critical Systems and Software 2004, Ninth Australian Workshop on Safety-Related Programmable Systems, (SCS2004), Brisbane, Australia, October 2004. Volume 47 of CRPIT, Australian Computer Society, 2005.

Conference: scs

Abstract is missing.

Causal Analysis of the ACAS/TCAS Sociotechnical SystemPeter B. Ladkin. 3-12 [doi]

Contract-Based Justification for COTS Component within Safety Critical ApplicationsFan Ye, Tim Kelly. 13-22 [doi]

Complex Reactive Real Time Systems and the Safety CaseGordon R. Stone. 23-32 [doi]

The HEAT/ACT Preliminary Safety Case: A case study in the use of Goal Structuring NotationPaul Chinneck, David Pumfrey, John McDermid. 33-41 [doi]

Engineering JudgementMartyn Thomas. 43-47 [doi]

Eliciting Measures of Value for Health and SafetyMichael Jones-Lee, Graham Loomes. 49-58 [doi]

COTS - Size Does MatterGeorge Nikandros. 59-66 [doi]

On Wheels, Nuts and SoftwareMichael Ellims. 67-76 [doi]

HazLog: Tool Support for Hazard ManagementChristian Hamoy, David Hemer, Peter A. Lindsay. 77-87 [doi]

A Method and Tool Support for Model-based Semi-automated Failure Modes and Effects Analysis of Engineering DesignsYiannis Papadopoulos, David Parker 0002, Christian Grante. 89-95 [doi]

Airborne Collision Avoidance SystemEd Williams. 97-110 [doi]

runs on WebDSL