Brenton Atchison, Tony Cant  Home/Search
Context
Related
| uq.edu.au/techreports/tr9942.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: uq.edu.au/techreports/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: s and compressed postscript files are available via http://svrc.it.uq.edu.au. 1 Improving Safety Management in Defence Acquisition Brenton Atchison 1 , Tony Cant 2 and Peter Lindsay 1 1 Software Verification Research Centre School of Information Technology The University of Queensland Queensland 4072, Australia 2 Defence Science Technology Organisation brenton@svrc.uq.edu.au, pal@svrc.uq.edu.au, Tony.Cant@dsto.defence.gov.au Abstract Improved management of safety during... (Update)
Active bibliography (related documents): More All
1.2: Safety Assurance of Commercial-Off-The-Shelf Software - Lindsay, Smith (2000) (Correct)
0.6: Safe Architectural Design Principles - Hussey, Atchison (2000) (Correct)
0.5: Requirements Traceability for Embedded Software -.. - Murray, Griffths.. (2000) (Correct)
Similar documents based on text: More All
0.9: Supporting Abstraction when Model Checking ASM - Winter (2001) (Correct)
0.6: Derivation of Safety Requirements for Simple Computer-Based.. - Atchison, Lindsay (1997) (Correct)
0.6: A Case Study in Software Safety Assurance Using Formal.. - Atchison, Lindsay, Tombs (1999) (Correct)
BibTeX entry: (Update)
@misc{ atchison-improving,
author = "Brenton Atchison and Tony Cant",
title = "Improving Safety Management in Defence Acquisition",
url = "citeseer.ist.psu.edu/atchison99improving.html" }
Citations (may not include all citations):71 Software considerations in airborne systems and equipment ce.. (context) - Inc - 1992
14 Safety-critical systems, formal methods and standards - Bowen, Stavridou - 1993
9 The Procurement of Computer-Based Safety Critical systems: A.. (context) - of, DEF - 1999
6 Safety Case Development: Current Practice, Future Prospects - Wilson, Kelly et al. - 1997
5 Adelard Safety Case Development Manual (context) - Bishop, Bloomfield et al. - 1998
5 A systematic approach to software safety integrity levels - Lindsay, McDermid - 1997
2 NATO STANAG 4452: Safety Assessment of MunitionRelated Compu.. (context) - Treaty - 1996
2 Standard Practice for System Safety Program Requirements (context) - of, MIL-STD- - 1996
2 of Defence, Def Stan 00-55: Requirements for Safety Related .. (context) - Ministry - 1997
2 Interview with John McDermid: The Cost of COTS (context) - Talbert - 1998
1 International Standards Survey (context) - Services - 1999
1 A Critique of Standards for Safety Critical Computer-Based S.. (context) - Eastaughffe, Cant et al. - 1999
1 of Defence, Def Stan 00-56: Safety Management Requirements f.. (context) - Ministry - 1996
1 Testing and the Safety Case (context) - Gardiner - 1999
1 ARP4754: Certification considerations for highly integrated .. (context) - Automotive - 1996
1 Interim Def Stan 0054: Requirements for Safety Related Elect.. (context) - of - 1999
1 Functional safety: safety-critical systems (context) - Commission - 1999
Documents on the same site (ftp://svrc.it.uq.edu.au/techreports/): More
An Empirical Study of Formal User-Interface Design - Hussey, al. (1997) (Correct)
The PRT User Manual - Version 1.03 - Carrington, Hayes, al. (1995) (Correct)
Software Visualisation in a Language Based Editor - Jones, Welsh (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC