"Using Formal Methods for Engineering Embedded Systems”

[Jack Ring]

Hi Andrew,

Thanks for bringing this  QRA document to my attention.

https://qracorp.com/wp-content/uploads/2017/04/Formal-Methods-for-Embedded-Systems-Verification.pdf

I appreciate your offer to answer any questions. Here are three.

1. How do Formal Methods ensure that a given set of Requirements are Necessary, Sufficient and Efficient (Parsimonious)?

2. How does "verification of conformance to requirements” ensure that software will be or is Fit for Purpose?

3. Does this QRA document, contain the obvious error on page 9, “Correct by construction should result in systems in systems that are better designed and more reliable.” because a) it was not verified, or b) it did not have an applicable requirement or c) verification can be as incomplete as is testing, or d) else?

If QRA would like to learn how to ensure complete quality at high ROI, we at OntoPilot LLC will be happy to help.

Sincerely,

Jack Ring

On Oct 14, 2017, at 12:12, Andrew Vickers <andrew....@qracorp.com> wrote:

Hi Jack Ring

your PDF on "Using Formal Methods for Engineering Embedded Systems" is here:
https://qracorp.com/wp-content/uploads/2017/04/Formal-Methods-for-Embedded-Systems-Verification.pdf

I'd be interested to hear your thoughts on it or answer any questions you may have.

Andrew Vickers

Business Development at QRA