High Integrity Software: The SPARK Approach to Safety and Security / Edition 1

High Integrity Software: The SPARK Approach to Safety and Security / Edition 1

by John Barnes, J. G. Barnes
     
 

Our lives depend -- quite literally -- on software. Banking, transport, medical and industrial control systems rely on software to function correctly. In a software-powered world it is vital for our systems to be secure, reliable and safe.

The SPARK language and tools are designed to support the construction of "high integrity" systems, where safety and

See more details below

Overview

Our lives depend -- quite literally -- on software. Banking, transport, medical and industrial control systems rely on software to function correctly. In a software-powered world it is vital for our systems to be secure, reliable and safe.

The SPARK language and tools are designed to support the construction of "high integrity" systems, where safety and security are paramount. SPARK has been applied successfully in diverse applications including railway signalling, smartcard security and avionics systems in the Lockheed C130J and EuroFighter "Typhoon" projects.

The CD-ROM accompanying the book contains

  • a demonstration version of the SPARK toolset and its documentation
  • code examples from the text of the book
  • Aonix ObjectAda compiler Special Edition
  • GNAT Compiler public edition

John Barnes, in his clear and urbane style, combines a full description of SPARK with practical advice on using the SPARK tools. Numerous examples and case studies show readers how they can create more reliable software.

Read More

Product Details

ISBN-13:
9780321136169
Publisher:
Addison-Wesley
Publication date:
06/20/2003
Pages:
448
Product dimensions:
5.90(w) x 9.10(h) x 1.00(d)

Table of Contents

Foreword
Preface
1Introduction3
2Language Principles23
3Spark Analysis Tools53
4Spark Structure81
5The Type Model91
6Control and Data Flow125
7Packages and Visibility151
8Interfacing187
9The Spark Examiner217
10Flow Analysis239
11Verification265
12Design Issues307
13Techniques333
14Case Studies343
App. A1Syntax381
App. A2Words, Attributes and Characters395
App. A3Using the CD399
App. A4Work in Progress401
Answers to Exercises405
Bibliography421
Index425

Read More

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >