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 our own progress in meeting these challenges. Finally, we outline the residual issues, which form the agenda for our future work. |
Year | DOI | Venue |
---|---|---|
2005 | 10.1007/978-3-540-69149-5_39 | VSTTE |
Keywords | Field | DocType |
formal development model,residual issue,future work,formal development,embedded control system,four-variable model,own progress,aerospace domain,safety-critical software,complementary enhancement,control computer,control system | Aerospace,Residual,Programming language,Software engineering,Simulation,Computer science,Formal development,Software,Control system | Conference |
Volume | ISSN | Citations |
4171 | 0302-9743 | 3 |
PageRank | References | Authors |
0.69 | 8 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Andy Galloway | 1 | 177 | 18.25 |
Frantz Iwu | 2 | 20 | 2.26 |
John Mcdermid | 3 | 63 | 6.05 |
Ian Toyn | 4 | 170 | 22.66 |