datasheets.com EBN.com EDN.com EETimes.com Embedded.com PlanetAnalog.com TechOnline.com  
Events
UBM Tech
UBM Tech
Welcome Guest Log In | Register | Benefits

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.

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