Skip to main content
SpringerLink
Log in

High-Integrity Software

  • Book
  • © 1989

Overview

Editors:
  1. C. T. Sennett

    1. Royal Signals and Radar Establishment, Malvern, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Software Science and Engineering (SSEN)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

4. 3 The Gypsy language 72 4. 4 The Gypsy Verification Environment 73 4. 5 A simple example 81 4. 6 Specification data types 91 4. 7 Future directions 95 100 4. 8 Conclusions 5 Reliable programming in standard languages 102 Bernard Carre, Program Validation Ltd. 5. 1 Introduction 102 5. 2 Language requirements for high-integrity programming 103 5. 3 The use of standard languages 108 5. 4 Programming in Pascal and Ada 110 1'19 5. 5 Practical experiences NewSpeak: a reliable programming language 6 122 I. F. Currie, Royal Signals and Radar Establishment 6. 1 Introduction 122 6. 2 Types and values 127 6. 3 Declarations and variables 132 6. 4 Guarded declarations 134 6. 5 Cases and conditionals 136 6. 6 Loops 138 6. 7 Procedures 140 6. 8 Assertions 145 6. 9 Timing 147 6. 10 Conclusion 149 6. 11 Appendix 1: summary of syntax 150 6. 12 Appendix 2: type lattice and widening 156 7 Program analysis and systematic testing 159 M. A. Hennell, University of Liverpool, and D. Hedley and I. J. Riddell, Liverpool Data Research Associates Ltd. 7. 1 Introduction 159 7. 2 The basic requirement 160 7. 3 The Liverpool experience 161 7. 4 The Liverpool experiments 162 7. 5 The LDRA Testbeds 163 Interpretation 169 7. 6 7. 7 Applicability and benefits 171 7. 8 Safety-critical systems 173 VI 8 Program analysis and verification 176 Bernard Carre, Program Validation Ltd. 8. 1 Introduction 176 8.

Similar content being viewed by others

Keywords

Table of contents (12 chapters)

  1. Front Matter

    Pages i-viii
    Download chapter PDF

  2. Introduction

    • C. T. Sennett
    Pages 1-5

  3. Formal specification and implementation

    • C. T. Sennett
    Pages 6-38

  4. Designing for high integrity: the software fault tolerance approach

    • M. R. Moulding
    Pages 39-68

  5. Practical experience with a formal verification system

    • Paul Smith, Nick Bleech
    Pages 69-101

  6. Reliable programming in standard languages

    • Bernard Carré
    Pages 102-121

  7. NewSpeak: a reliable programming language

    • I. F. Currie
    Pages 122-158

  8. Program analysis and systematic testing

    • M. A. Hennell, D. Hedley, I. J. Riddell
    Pages 159-175

  9. Program analysis and verification

    • Bernard Carré
    Pages 176-197

  10. The algebraic specification of a target machine: Ten15

    • J. M. Foster
    Pages 198-225

  11. Assurance in high-integrity software

    • John McDermid
    Pages 226-273

  12. Modelling real-world issues for dependable software

    • John Dobson
    Pages 274-316

  13. Contractual specification of reliable software

    • C. T. Sennett
    Pages 317-354

  14. Back Matter

    Pages 355-360
    Download chapter PDF
Back to top

Editors and Affiliations

  • Royal Signals and Radar Establishment, Malvern, UK

    C. T. Sennett

Bibliographic Information

  • Book Title: High-Integrity Software

  • Editors: C. T. Sennett

  • Series Title: Software Science and Engineering

  • DOI: https://doi.org/10.1007/978-1-4684-5775-9

  • Publisher: Springer New York, NY

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer Science+Business Media New York 1989

  • Hardcover ISBN: 978-0-306-43552-2Due: 30 April 1990

  • Softcover ISBN: 978-1-4684-5777-3Published: 01 July 2013

  • eBook ISBN: 978-1-4684-5775-9Published: 06 December 2012

  • Edition Number: 1

  • Number of Pages: VIII, 360

  • Topics: Software Engineering/Programming and Operating Systems

Publish with us

Policies and ethics

Back to top

Search

Navigation