Design Con 2015
Welcome Guest Log In | Register

Safety-Critical Design Techniques for Secure and Reliable Systems

Authored on: Jun 26, 2007 by Robert Dewar

Technical Paper / Conference Paper

0 0
More InfoLess Info

Safety critical programs require a comprehensive approach, that combines the use of specialized languages, such as SPARK, specialized tools, rigorously controlled testing, and the use of formal methods. In this paper, we survey the use of these techniques, and explain how they can be used to build error-free software systems. We also discuss how these techniques can be used in more general, non-safety-critical systems to improve reliability.

View
 
0 comments
write a comment

Please Login

You will be redirected to the login page

×

Please Login

You will be redirected to the login page

×

Please Login

You will be redirected to the login page