Online Version - Last Updated - 13 Jan 2014 |
 |
| Home |
| |
| Procedures and Resources for Authors |
|
| Information and Resources for Volume Editors |
| |
| Orders and Subscriptions |
| |
| Published Articles |
|
| Upcoming Volumes |
| |
| Contact Us |
| |
| Useful External Links |
| |
| CRPIT Site Search |
Volume 47 - Safety Critical Systems and Software 2004
Ninth Australian Workshop on Safety-Related Programmable Systems, (SCS 2004), Brisbane, Australia, October 2004
This volume contains all papers presented at the Ninth Australian Workshop on Safety-Related Programmable Systems, (SCS 2004), Brisbane, Australia, October 2004. Where indicated, the paper is available for download in PDF or Postscript format.
The series is published by, and most papers are copyright of, the Australian Computer Society Inc. Reproduction for academic research and not-for-profit purposes is granted provided the copyright notice on the first page of each paper is included.
| 
| ||||||||||||||||
Volume Citation
Cant, T., Ed. (2004). Safety Critical Systems and Software 2004. Proceedings of the Ninth Australian Workshop on Safety-Related Programmable Systems (SCS 2004). CRPIT. 47. Brisbane, Australia, ACS.
Papers Included in the Volume
| Chinneck, P., Pumfrey, D. and McDermid, J. (2004). The HEAT/ACT Preliminary Safety Case: A case study in the use of Goal Structuring Notation. In Proc. Ninth Australian Workshop on Safety-Related Programmable Systems (SCS 2004), Brisbane, Australia. CRPIT, 47. Cant, T., Ed. ACS. 33-41. |      |
| Ellims, M. (2004). On Wheels, Nuts and Software. In Proc. Ninth Australian Workshop on Safety-Related Programmable Systems (SCS 2004), Brisbane, Australia. CRPIT, 47. Cant, T., Ed. ACS. 67-76. | |
| Hamoy, C., Hemer, D. and Lindsay, P. (2004). HazLog: Tool Support for Hazard Management. In Proc. Ninth Australian Workshop on Safety-Related Programmable Systems (SCS 2004), Brisbane, Australia. CRPIT, 47. Cant, T., Ed. ACS. 77-87. | |
| Jones-Lee, M. and Loomes, G. (2004). Eliciting Measures of Value for Health and Safety. In Proc. Ninth Australian Workshop on Safety-Related Programmable Systems (SCS 2004), Brisbane, Australia. CRPIT, 47. Cant, T., Ed. ACS. 49-58. | |
| Ladkin, P.B. (2004). Causal Analysis of the ACAS/TCAS Sociotechnical System. In Proc. Ninth Australian Workshop on Safety-Related Programmable Systems (SCS 2004), Brisbane, Australia. CRPIT, 47. Cant, T., Ed. ACS. 3-12. | |
| Nikandros, G. (2004). COTS - Size Does Matter. In Proc. Ninth Australian Workshop on Safety-Related Programmable Systems (SCS 2004), Brisbane, Australia. CRPIT, 47. Cant, T., Ed. ACS. 59-66. | |
| Papadopoulos, Y., Parker, D. and Grante, C. (2004). A Method and Tool Support for Model-based Semi-automated Failure Modes and Effects Analysis of Engineering Designs. In Proc. Ninth Australian Workshop on Safety-Related Programmable Systems (SCS 2004), Brisbane, Australia. CRPIT, 47. Cant, T., Ed. ACS. 89-95. | |
| Stone, G.R. (2004). Complex Reactive Real Time Systems and the Safety Case. In Proc. Ninth Australian Workshop on Safety-Related Programmable Systems (SCS 2004), Brisbane, Australia. CRPIT, 47. Cant, T., Ed. ACS. 23-32. | |
| Thomas, M. (2004). Engineering Judgement. In Proc. Ninth Australian Workshop on Safety-Related Programmable Systems (SCS 2004), Brisbane, Australia. CRPIT, 47. Cant, T., Ed. ACS. 43-47. | |
| Williams, E. (2004). Airborne Collision Avoidance System. In Proc. Ninth Australian Workshop on Safety-Related Programmable Systems (SCS 2004), Brisbane, Australia. CRPIT, 47. Cant, T., Ed. ACS. 97-110. | |
| Ye, F. and Kelly, T. (2004). Contract-Based Justification for COTS Component within Safety Critical Applications. In Proc. Ninth Australian Workshop on Safety-Related Programmable Systems (SCS 2004), Brisbane, Australia. CRPIT, 47. Cant, T., Ed. ACS. 13-22. | |
Papers listed: 11
