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 33 - Safety Critical Systems and Software 2003
Eighth Australian Workshop on Safety Critical Systems and Software (SCS 2003), Canberra, Australia, October 2003
This volume contains the proceedings of the Eighth Australian Workshop on Safety Critical Systems and Software (SCS 2003), Canberra, Australia, October 2003. 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
Lindsay, P. and Cant, T., Eds. (2004). Safety Critical Systems and Software 2003. Proceedings of the Eighth Australian Workshop on Safety Critical Systems and Software (SCS 2003). CRPIT. 33. Canberra, Australia, ACS.
Papers Included in the Volume
| Bate, I., Hawkins, R. and McDermid, J. (2004). A Contract-based Approach to Designing Safe Systems. In Proc. Eighth Australian Workshop on Safety Critical Systems and Software (SCS 2003), Canberra, Australia. CRPIT, 33. Lindsay, P. and Cant, T., Eds., ACS. 25-36. |      |
| Conmy, P., Nicholson, M. and McDermid, J. (2004). Safety Assurance Contracts for Integrated Modular Avionics. In Proc. Eighth Australian Workshop on Safety Critical Systems and Software (SCS 2003), Canberra, Australia. CRPIT, 33. Lindsay, P. and Cant, T., Eds., ACS. 69-78. | |
| Kaiser, B., Liggesmeyer, P. and Mackel, O. (2004). A New Component Concept for Fault Trees. In Proc. Eighth Australian Workshop on Safety Critical Systems and Software (SCS 2003), Canberra, Australia. CRPIT, 33. Lindsay, P. and Cant, T., Eds., ACS. 37-46. | |
| Ladkin, P.B. and Stuphorn, J. (2004). Two Causal Analyses of the Black Hawk Shootdown during Operation Provide Comfort. In Proc. Eighth Australian Workshop on Safety Critical Systems and Software (SCS 2003), Canberra, Australia. CRPIT, 33. Lindsay, P. and Cant, T., Eds., ACS. 3-23. | |
| Murdoch, J., Clark, G., Powell, A. and Caseley, P. (2004). Measuring Safety: Applying PSM to the System Safety Domain. In Proc. Eighth Australian Workshop on Safety Critical Systems and Software (SCS 2003), Canberra, Australia. CRPIT, 33. Lindsay, P. and Cant, T., Eds., ACS. 47-55. | |
| Robinson, R.M. and Anderson, K.J. (2004). SIL Rating Fire Protection Equipment. In Proc. Eighth Australian Workshop on Safety Critical Systems and Software (SCS 2003), Canberra, Australia. CRPIT, 33. Lindsay, P. and Cant, T., Eds., ACS. 89-97. | |
| Smith, J., Russell, S. and Looi, M. (2004). Security as a Safety Issue in Rail Communications. In Proc. Eighth Australian Workshop on Safety Critical Systems and Software (SCS 2003), Canberra, Australia. CRPIT, 33. Lindsay, P. and Cant, T., Eds., ACS. 79-88. | |
| Weaver, R., Fenn, J. and Kelly, T. (2004). A Pragmatic Approach to Reasoning about the Assurance of Safety Arguments. In Proc. Eighth Australian Workshop on Safety Critical Systems and Software (SCS 2003), Canberra, Australia. CRPIT, 33. Lindsay, P. and Cant, T., Eds., ACS. 57-67. | |
Papers listed: 8
