TY - GEN
T1 - A course on software engineering for safety-related systems
AU - Swain, Thomas
AU - Carter, Jason
AU - Trammell, Carmen
AU - Lin, Lan
PY - 2010
Y1 - 2010
N2 - The prime objective of this work has been development of mathematically rigorous, systematic, and constructive software specification methods suitable for use by typical industry practitioners. This reseach forms the basis for course materials and instructional tools for multidisciplinary instruction in software engineering. The methods and course materials are particularly applicable to safety-related embedded systems and together provide a path to upgrading the state of practice for production of these systems. This paper addresses two complementary topics: (1) a perspective on rigorous software production methods and (2) the means for educating current and future industry practitioners in the use of these methods. First we review the progression of strategies for production of high-assurance software followed by in-depth descriptions of the most recent and effective specification and implementation methods. The paper culminates with a discussion of the instructional resources and methods being used in courses focused on application of the most effective methods. The course presents modern high-assurance software development methods in a format tailored for safety and control engineers. It provides (1) the theoretical basis for methods that ensure production of reliable, auditable software, and (2) systematic procedures for application of the methods.
AB - The prime objective of this work has been development of mathematically rigorous, systematic, and constructive software specification methods suitable for use by typical industry practitioners. This reseach forms the basis for course materials and instructional tools for multidisciplinary instruction in software engineering. The methods and course materials are particularly applicable to safety-related embedded systems and together provide a path to upgrading the state of practice for production of these systems. This paper addresses two complementary topics: (1) a perspective on rigorous software production methods and (2) the means for educating current and future industry practitioners in the use of these methods. First we review the progression of strategies for production of high-assurance software followed by in-depth descriptions of the most recent and effective specification and implementation methods. The paper culminates with a discussion of the instructional resources and methods being used in courses focused on application of the most effective methods. The course presents modern high-assurance software development methods in a format tailored for safety and control engineers. It provides (1) the theoretical basis for methods that ensure production of reliable, auditable software, and (2) systematic procedures for application of the methods.
KW - Embedded systems
KW - Safety-related instrumentation
KW - Software dependability
UR - http://www.scopus.com/inward/record.url?scp=79958287584&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:79958287584
SN - 9781617822667
T3 - 7th International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies 2010, NPIC and HMIT 2010
SP - 696
EP - 707
BT - 7th International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies 2010, NPIC and HMIT 2010
T2 - 7th International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies 2010, NPIC and HMIT 2010
Y2 - 7 November 2010 through 11 November 2010
ER -