Your browser does not support JavaScript!
http://iet.metastore.ingenta.com
1887

Practical Experiences of Using Formal Requirements and Their Role in an Overall Work-flow

Practical Experiences of Using Formal Requirements and Their Role in an Overall Work-flow

For access to this article, please select a purchase option:

Buy chapter PDF
£10.00
(plus tax if applicable)
Buy Knowledge Pack
10 chapters for £75.00
(plus taxes if applicable)

IET members benefit from discounts to all IET publications and free access to E&T Magazine. If you are an IET member, log in to your account and the discounts will automatically be applied.

Learn more about IET membership 

Recommend Title Publication to library

You must fill out fields marked with: *

Librarian details
Name:*
Email:*
Your details
Name:*
Email:*
Department:*
Why are you recommending this title?
Select reason:
 
 
 
 
 
Resilience, Security & Risk in Transport — Recommend this title to your library

Thank you

Your recommendation has been sent to your librarian.

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.

Chapter Contents:

  • 1 Introduction
  • 2 Overview of requirements formalisation
  • 2.1 Definition and notation
  • 2.2 Potential benefits of formalisation
  • 2.3 Formalisation process
  • 3 Overview of formal verification
  • 4 Practical experiences of requirements formalisation
  • 5 Practical experiences of formal verification by test
  • 6 Conclusions
  • 7 Acknowledgements
  • 8 References

Inspec keywords: formal verification; program testing; program diagnostics

Other keywords: high-assurance verification activities; software requirements; embedded software systems integrity; overall work-flow; formal requirements

Subjects: Formal methods; Diagnostic, testing, debugging and evaluating systems

Preview this chapter:
Zoom in
Zoomout

Practical Experiences of Using Formal Requirements and Their Role in an Overall Work-flow, Page 1 of 2

| /docserver/preview/fulltext/books/se/perrsr3e/PERRSR3E_ch6-1.gif /docserver/preview/fulltext/books/se/perrsr3e/PERRSR3E_ch6-2.gif

Related content

content/books/10.1049/perrsr3e_ch6
pub_keyword,iet_inspecKeyword,pub_concept
6
6
Loading
This is a required field
Please enter a valid email address