We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.SE

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Software Engineering

Title: Another Tool in the Box: Why use Formal Methods for Autonomous Systems?

Authors: Matt Luckcuck
Abstract: Formal Methods are mathematically-based techniques for software design and engineering, which enable the unambiguous description of, and reasoning about, a system's behaviour. Autonomous systems use software to make decisions without human control, they are often safety-critical, and are increasingly being introduced into everyday settings; autonomous systems need robust development and verification methods. This position paper described how Formal Methods are an effective tool for development and verification of autonomous systems. During design, they enable unambiguous description of requirements; in development, formal specification can be verified against requirements; software components may be synthesied from verified specification; and behaviour can be monitored at runtime and compared to its original specification. Modern Formal Methods often include highly automated tool support, which enables exhaustive checking of a system's state space. This paper argue that Formal Methods are another tool in the box for developing safe autonomous systems, alongside other robust software engineering techniques.
Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)
Cite as: arXiv:2012.00856 [cs.SE]
  (or arXiv:2012.00856v1 [cs.SE] for this version)

Submission history

From: Matt Luckcuck [view email]
[v1] Tue, 1 Dec 2020 21:54:27 GMT (25kb)
[v2] Tue, 8 Jun 2021 17:16:53 GMT (34kb)
[v3] Wed, 28 Jul 2021 10:47:16 GMT (33kb)

Link back to: arXiv, form interface, contact.