This paper considers the potential benefits and practical challenges of a process using the formalisation of requirements for high integrity embedded software systems. We describe first the translation of software requirements to a formalised notation: Once formalised, the requirements are used as the basis for several high-assurance verification activities including analysis and testing. We describe the approach, motivation and benefits of this workflow, as well as the practical challenges faced and lessons learnt.
Practical Experiences of Using Formal Requirements and Their Role in an Overall Work-flow, Page 1 of 2
< Previous page Next page > /docserver/preview/fulltext/books/se/perrsr3e/PERRSR3E_ch6-1.gif /docserver/preview/fulltext/books/se/perrsr3e/PERRSR3E_ch6-2.gif