scholarly journals Proceedings Third Workshop on Formal Methods for Autonomous Systems

2021 ◽  
Vol 348 ◽  
Author(s):  
Marie Farrell ◽  
Matt Luckcuck
Keyword(s):  
Formal Methods ◽  
Autonomous Systems

scholarly journals Using formal methods for autonomous systems: Five recipes for formal verification

2021 ◽  
pp. 1748006X2110349
Author(s):  
Matt Luckcuck
Keyword(s):  
Formal Methods ◽  
Software Design ◽  
Autonomous Systems ◽  
Position Paper ◽  
Tool Support ◽  
Software Components ◽  
Formal Specifications ◽  
Human Control ◽  
Verification Methods ◽  
Automated Tool

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, are often embedded in a robotic system, are often safety-critical, and are increasingly being introduced into everyday settings. Autonomous systems need robust development and verification methods, but formal methods practitioners are often asked: Why use Formal Methods for Autonomous Systems? To answer this question, this position paper describes five recipes for formally verifying aspects of an autonomous system, collected from the literature. The recipes are examples of how Formal Methods can be an effective tool for the development and verification of autonomous systems. During design, they enable unambiguous description of requirements; in development, formal specifications can be verified against requirements; software components may be synthesised from verified specifications; 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 argues that Formal Methods are a powerful tool for the repertoire of development techniques for safe autonomous systems, alongside other robust software engineering techniques.

scholarly journals Proceedings Second Workshop on Formal Methods for Autonomous Systems

2020 ◽  
Vol 329 ◽  
Author(s):  
Matt Luckcuck ◽  
Marie Farrell ◽  
Michael Fisher
Keyword(s):  
Formal Methods ◽  
Autonomous Systems

Application of formal methods to the VIPER microprocessor

1987 ◽  
Vol 134 (3) ◽  
pp. 133 ◽  
Author(s):  
W.J. Cullyer ◽  
C.H. Pygott
Keyword(s):  
Formal Methods

THE CONCEPT OF AUTONOMOUS SYSTEMS IN INDUSTRY 4.0

2019 ◽  
Vol 12 (1) ◽  
pp. 77-87
Author(s):  
György Kovács ◽  
Rabab Benotsmane ◽  
László Dudás
Keyword(s):  
Industry 4.0 ◽  
Intelligent Systems ◽  
Autonomous Systems ◽  
Essential Element ◽  
Industrial Sector ◽  
Life Cycles ◽  
Multi Agent Systems ◽  
New Paradigm ◽  
Intelligent Machines ◽  
Digital Network

Recent tendencies – such as the life-cycles of products are shorter while consumers require more complex and more unique final products – poses many challenges to the production. The industrial sector is going through a paradigm shift. The traditional centrally controlled production processes will be replaced by decentralized control, which is built on the self-regulating ability of intelligent machines, products and workpieces that communicate with each other continuously. This new paradigm known as Industry 4.0. This conception is the introduction of digital network-linked intelligent systems, in which machines and products will communicate to one another in order to establish smart factories in which self-regulating production will be established. In this article, at first the essence, main goals and basic elements of Industry 4.0 conception is described. After it the autonomous systems are introduced which are based on multi agent systems. These systems include the collaborating robots via artificial intelligence which is an essential element of Industry 4.0.

Sign in / Sign up

Export Citation Format

Share Document