Proposal for Improving the Applicability of Formal Methods in the Functional Safety Base Standard IEC 61508-3
Proposal for Improving the Applicability of Formal Methods in the Functional Safety Base Standard IEC 61508-3
- Author(s): B.M. Sieker
- DOI: 10.1049/cp.2015.0279
For access to this article, please select a purchase option:
Buy conference paper PDF
Buy Knowledge Pack
IET members benefit from discounts to all IET publications and free access to E&T Magazine. If you are an IET member, log in to your account and the discounts will automatically be applied.
10th IET System Safety and Cyber-Security Conference 2015 — Recommend this title to your library
Thank you
Your recommendation has been sent to your librarian.
- Author(s): B.M. Sieker Source: 10th IET System Safety and Cyber-Security Conference 2015, 2015 page ()
- Conference: 10th IET System Safety and Cyber-Security Conference 2015
- DOI: 10.1049/cp.2015.0279
- ISBN: 978-1-78561-092-9
- Location: Bristol, UK
- Conference date: 21-22 Oct. 2015
- Format: PDF
Most errors in critical systems arise in the requirements. Consistency and completeness of such requirements as well as their traceability throughout the development are very important. However, it has been found that the current revision of IEC 61508:2010 does not require either requirement to be checked. We propose that clauses be added to IEC 61508 in the forthcoming maintenance cycle to require checking of safety requirements for consistency and relative completeness, along with a Technical Specification which indicates how this may be done using formal methods and available tools.
Inspec keywords: software standards; formal specification; software maintenance; safety-critical software; IEC standards
Subjects: Data security; Software engineering techniques; Formal methods
Related content
content/conferences/10.1049/cp.2015.0279
pub_keyword,iet_inspecKeyword,pub_concept
6
6