High-Integrity Software

High-Integrity Software
Author :
Publisher : Springer Science & Business Media
Total Pages : 369
Release :
ISBN-10 : 9781468457759
ISBN-13 : 1468457756
Rating : 4/5 (756 Downloads)

Book Synopsis High-Integrity Software by : C.T. Sennett

Download or read book High-Integrity Software written by C.T. Sennett and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 369 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


High-Integrity Software Related Books

High-Integrity Software
Language: en
Pages: 369
Authors: C.T. Sennett
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

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.
High Integrity Software
Language: en
Pages: 350
Authors: Victor L. Winter
Categories: Computers
Type: BOOK - Published: 2001-05-31 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Within 50 years computers could have capabilities rivaling that of the human brain. Effective utilization of such new technologies poses a significant challenge
Building High Integrity Applications with SPARK
Language: en
Pages: 383
Authors: John W. McCormick
Categories: Computers
Type: BOOK - Published: 2015-08-31 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

Software is pervasive in our lives. We are accustomed to dealing with the failures of much of that software - restarting an application is a very familiar solut
Safer C
Language: en
Pages: 264
Authors: Les Hatton
Categories: Computers
Type: BOOK - Published: 1995 - Publisher: McGraw-Hill Companies

DOWNLOAD EBOOK

This important and timely book contains vital information for all developers working with C, whether in high-integrity areas or not, who need to produce reliabl
High Integrity Software
Language: en
Pages: 333
Authors: Victor L. Winter
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The second half of the twentieth century has witnessed remarkable advances in technology. The unquestioned leader in this race has been computer technology. Eve