Practical Experiences of Using Formal Requirements and Their Role in an Overall Work-flow
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.
Preview this chapter:
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