Looking for RSSB-led research?

Application of Spark ADA - detailed investigation (RR-SSU-015)

Last updated on 12 April 2013 2:15

The SPARK Ada programming language has been identified as a highly promising language for use in safety-critical systems. In this study the SPARK language is examined in depth and its suitability for high integrity systems assessed. Topics closely allied to the use of the Ada and SPARK programming languages are...

Author(s): Taleb Dr F;Apperson Dr J

Organisation(s): British Rail Research ;

1994

United Kingdom

Log in or register to keep reading