2008
DOI: 10.1007/978-3-540-69149-5_39
|View full text |Cite
|
Sign up to set email alerts
|

On the Formal Development of Safety-Critical Software

Abstract: Abstract. We reflect on the formal development models applicable to embedded control systems in light of our experience with safety-critical applications from the aerospace domain. This leads us to propose two complementary enhancements to Parnas' four-variable model, one elaborating the structure outside the control computer, and the other elaborating the structure inside the control computer. We then identify several challenges which illustrate why formal development in this domain is difficult, and report o… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
1
0

Year Published

2013
2013
2016
2016

Publication Types

Select...
2
2

Relationship

0
4

Authors

Journals

citations
Cited by 4 publications
(1 citation statement)
references
References 9 publications
0
1
0
Order By: Relevance
“…RELATED WORK While there has been work in formal modelling for safetycritical systems, especially in the context of formal system development [5], and runtime models for managing self adaptation and the complexity of evolving software behaviour while it is executing [6], there appears to be scant work on formal modelling to inform (human) operational decision making during the execution of safety-critical systems. One issue for quantitative analysis of dependable systems development is state space explosion and numerical simulation difficulties in the presence of rare events [7].…”
Section: Reflections On the Case Studymentioning
confidence: 99%
“…RELATED WORK While there has been work in formal modelling for safetycritical systems, especially in the context of formal system development [5], and runtime models for managing self adaptation and the complexity of evolving software behaviour while it is executing [6], there appears to be scant work on formal modelling to inform (human) operational decision making during the execution of safety-critical systems. One issue for quantitative analysis of dependable systems development is state space explosion and numerical simulation difficulties in the presence of rare events [7].…”
Section: Reflections On the Case Studymentioning
confidence: 99%