Assuring Autonomous Systems: Opportunities for Integrated Formal Methods?

12/25/2018
by   Mario Gleirscher, et al.
0

Formal methods have provided approaches for investigating software engineering fundamentals and also have high potential to improve current practices in dependable systems assurance. In this article, we summarise known strengths and weaknesses of formal methods. From the viewpoint of the assurance of robots and autonomous systems (RAS), we highlight unique opportunities for empirical research on the integration of formal methods, for fundamental research on integrated formal methods, and for successful transfer of both strands of research into RAS assurance. Based on these opportunities, we present our position on certifiable RAS assurance using integrated formal methods. From this position, we argue directions for future research and research transfer as well as expectations on useful outcomes of such research.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
12/25/2018

New Opportunities for Integrated Formal Methods

Formal methods have provided approaches for investigating software engin...
research
12/02/2020

Proceedings Second Workshop on Formal Methods for Autonomous Systems

Autonomous systems are highly complex and present unique challenges for ...
research
05/02/2018

Robotics and Integrated Formal Methods: Necessity meets Opportunity

Robotic systems are multi-dimensional entities, combining both hardware ...
research
12/23/2021

A Manifesto for Applicable Formal Methods

Formal methods were frequently shown to be effective and, perhaps becaus...
research
12/20/2018

Formal Methods: Oversold? Underused? A Survey

Context: Formal methods (FM) have been around for a while, still being u...
research
07/12/2021

Formal Methods in Railways: a Systematic Mapping Study

Formal methods are mathematically-based techniques for the rigorous deve...
research
02/12/2021

What helped, and what did not? An Evaluation of the Strategies to Improve Continuous Integration

Continuous integration (CI) is a widely used practice in modern software...

Please sign up or login with your details

Forgot password? Click here to reset