Scipediacontent: Scipediacontent moved page Draft Content 927872902 to Dutle et al 2018a

2021-01-28T18:32:59Z

Scipediacontent moved page Draft Content 927872902 to Dutle et al 2018a

Scipediacontent: Created page with " == Abstract == This paper presents a software development process for safety-critical software components of cyber-physical systems. The process is called MINERVA, which sta..."

2021-01-28T18:32:55Z

Created page with " == Abstract == This paper presents a software development process for safety-critical software components of cyber-physical systems. The process is called MINERVA, which sta..."

New page

== Abstract ==

This paper presents a software development process for safety-critical software components of cyber-physical systems. The process is called MINERVA, which stands for Mirrored Implementation Numerically Evaluated against Rigorously Verified Algorithms. The process relies on formal methods for rigorously validating code against its requirements. The software development process uses: (1) a formal specification language for describing the algorithms and their functional requirements, (2) an interactive theorem prover for formally verifying the correctness of the algorithms, (3) test cases that stress the code, and (4) numerical evaluation on these test cases of both the algorithm specifications and their implementations in code. The MINERVA process is illustrated in this paper with an application to geo-containment algorithms for unmanned aircraft systems. These algorithms ensure that the position of an aircraft never leaves a predetermined polygon region and provide recovery maneuvers when the region is inadvertently exited.

== Original document ==

The different versions of the original document can be found in:

* [http://dx.doi.org/10.29007/5jlw http://dx.doi.org/10.29007/5jlw]

* [https://easychair.org/publications/open/g1Rs https://easychair.org/publications/open/g1Rs]

* [https://ntrs.nasa.gov/search.jsp?R=20170005461 https://ntrs.nasa.gov/search.jsp?R=20170005461],
: [https://www.easychair.org/publications/paper/g1Rs https://www.easychair.org/publications/paper/g1Rs],
: [https://academic.microsoft.com/#/detail/2628876113 https://academic.microsoft.com/#/detail/2628876113]

← Older revision	Revision as of 18:32, 28 January 2021
(No difference)

Dutle et al 2018a - Revision history

Scipediacontent: Scipediacontent moved page Draft Content 927872902 to Dutle et al 2018a

Scipediacontent: Created page with " == Abstract == This paper presents a software development process for safety-critical software components of cyber-physical systems. The process is called MINERVA, which sta..."