http://iet.metastore.ingenta.com
1887

The choice of computer languages for use in safety-critical systems

The choice of computer languages for use in safety-critical systems

For access to this article, please select a purchase option:

Buy article PDF
£12.50
(plus tax if applicable)
Buy Knowledge Pack
10 articles for £75.00
(plus taxes if applicable)

IET members benefit from discounts to all IET publications and free access to E&T Magazine. If you are an IET member, log in to your account and the discounts will automatically be applied.

Learn more about IET membership 

Recommend Title Publication to library

You must fill out fields marked with: *

Librarian details
Name:*
Email:*
Your details
Name:*
Email:*
Department:*
Why are you recommending this title?
Select reason:
 
 
 
 
 
Software Engineering Journal — Recommend this title to your library

Thank you

Your recommendation has been sent to your librarian.

The paper reviews the choice of computer language for use in safety-critical systems. The advice given reflects both civil and military requirements. A comparison is made between assembly-level languages, the language C, CORAL 66, Pascal, Modula-2 and Ada. It is concluded that a well defined sub-language is essential for use in safety-critical projects, and a guide is provided for project managers and designers on the characteristics which such a subset should possess.

References

    1. 1)
      • , Pascal compiler validation
    2. 2)
      • Wichmann, B.A.: `Low-Ada: an Ada validation tool', DITC 144/89, NPL Report, 1989
    3. 3)
      • Wichmann, B.A.: `Insecurities in the Ada programming language', DITC 137/89, NPL Report, January 1989
    4. 4)
      • Towards a formal specification of floating point
    5. 5)
      • , PITON: a verified assembly level language
    6. 6)
      • , The nanoAVA definition
    7. 7)
      • , Verified compilation in Micro-Gypsy
    8. 8)
      • , Z Handbook, draft 1.1
    9. 9)
      • , Specification case studies
    10. 10)
      • , Understanding Z
    11. 11)
      • , Systematic software development using VDM
    12. 12)
      • Policy Statement on Defence Standard 00–55, March 1988, MOD, Director of Standardization, MoD
    13. 13)
      • Interim Defence Standard for the Procurement of Safety-Critical Software, May 1989, MOD, Director of Standardization
    14. 14)
      • , SPADE static code analysis manual
    15. 15)
      • Rex, Thompson and Partners, : `RTP. MALPAS Users' manuals', April 1986
    16. 16)
      • NewSpeak — an unexceptional language
    17. 17)
      • Hardware integrity
    18. 18)
      • PL360: a programming language for 360 computers
    19. 19)
      • Wichmann, B.A.: `PL515: an Algol-like assembly language for the DPP 516', NPL Report, April 1970
    20. 20)
      • The verification of low-level code
    21. 21)
      • IECCA: IECCA Official definition of CORAL 66. HMSO, 1970
    22. 22)
      • Notes on the security of programming languages, 10th Advances in Reliability Technology Symp
    23. 23)
      • , Programming in Modula-2
    24. 24)
      • Ichbiah, J.D.: `Reference manual for the Ada programming language', , ANSI MIL-STD 1815A (also ISO 8652)
    25. 25)
      • , Program verification using Ada
    26. 26)
      • Holzapfel, R., Winterstein, G.: `Ada in safety-critical applications', Ada Europe Conference, 1988
    27. 27)
      • , SPARK — The Spade Ada Kernel.
    28. 28)
      • Wichmann, B.A., Davies, M.: `Experience with a compiler testing tool', DITC 138/89, NPL Report, 1989
http://iet.metastore.ingenta.com/content/journals/10.1049/sej.1991.0007
Loading

Related content

content/journals/10.1049/sej.1991.0007
pub_keyword,iet_inspecKeyword,pub_concept
6
6
Loading
This is a required field
Please enter a valid email address