Logic versus magic in critical systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2043, Issue , 2001, Pages 49-67

  Amey, Peter ^a  

^a Praxis Critical Systems   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

CRITICAL SYSTEMS; PROJECT EXPERIENCES; SERVICE EXPERIENCE;

SOFTWARE DESIGN;

EID: 33745177198     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45136-6_4     Document Type: Conference Paper

References (21)

1. Dijkstra, Edsger: Go To Statement Considered Harmful. CACM Vol 11. No. 3 March 1968, pp 147-148.
2. RTCA-EUROCAE: Software Considerations in Airborne Systems and Equipment Certification. DO-178B/ED-12B. 1992.
3. Ives, Blake and Earl Michael: Mondex International: Reengineering Money. London Business School Case Study 97/2. See http://isds.bus.lsu.edu/cases/mondex/mondex.html
4. Littlewood, Bev; and Strigini, Lorenzo: Validation of Ultrahigh Dependability for Software-Based Systems. CACM36(11): 69-80 (1993)
5. Butler, Ricky W.; and Finelli, George B.: The Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software. IEEE Transactions on Software Engineering, vol. 19, no. 1, Jan. 1993, pp 3-12.
6. Littlewood, B: Limits to evaluation of software dependability. In Software Reliability and Metrics (Procedings of Seventh Annual CSR Conference, Garmisch-Partenkirchen). N. Fenton and B. Littlewood. Eds. Elsevier, London, pp. 81-110.
7. Private communication arising from a productivity study at a major aerospace company.
8. Carré, Bernard: Reliable Programming in Standard Languages. In High-integrity Software. RSRE Malvern, Chris Sennett (Ed). ISBN 0-273-03158-9, 1989.
9. Amey, Peter: The INFORMED Design Method for SPARK. Praxis Critical Systems 1999.
10. Barnes, John: The SPARK Way to Correctness is Via Abstraction. ACM SIGAda 2000
11. Professor C.A.R. Hoare, The 1980 Turing award lecture. The Emperor’s Old Clothes. CACM Vol. 24. No.2 February 1981. pp 75-83
12. Finnie, Gavin et al: SPARK - The SPADE Ada Kernel. Edition 3.3, 1997, Praxis Critical Systems
13. Finnie, Gavin et al: SPARK 95 - The SPADE Ada 95 Kernel. 1999, Praxis Critical Systems
14. Barnes, John: High Integrity Ada - the SPARK Approach. Addison Wesley Longman, ISBN 0-201-17517-7.
15. Sutton, James and Carré, Bernard: Ada, the Cheapest Way to Build a Line of Business”. 1994
16. Sutton, James and Carré, Bernard: Achieving High Integrity at Low Cost: A Constructive Approach. 1995
17. Croxford, Martin and Sutton, James: Breaking through the V&V Bottleneck. Lecture Notes in Computer Science Volume 1031, 1996.
18. Sutton, James: Cost-Effective Approaches to Satisfy Safety-critical Regulatory Requirements. Workshop Session, SIGAda 2000.
19. King, Hammond, Chapman, and Pryor: Is Proof More Cost-Effective than Testing?. IEEE Transaction on Software Engineering, Vol. 26, No. 8, August 2000, pp 675-686.
20. Bergeretti and Carré: Information-flow and data-flow analysis of while-programs. ACM Transactions on Programming Languages and Systems 1985.
21. Santhanam, Viswa; Wright, Peggy A.; Decker-Lindsey, Barbara: Dataflow Coverage in the Boeing 777 Primary Flight Control Software. Boeing 1995