Framing Relevance for Safety-Critical Autonomous Systems

07/23/2023
by   Astrid Rakow, et al.
0

We are in the process of building complex highly autonomous systems that have build-in beliefs, perceive their environment and exchange information. These systems construct their respective world view and based on it they plan their future manoeuvres, i.e., they choose their actions in order to establish their goals based on their prediction of the possible futures. Usually these systems face an overwhelming flood of information provided by a variety of sources where by far not everything is relevant. The goal of our work is to develop a formal approach to determine what is relevant for a safety critical autonomous system at its current mission, i.e., what information suffices to build an appropriate world view to accomplish its mission goals.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
09/28/2022

A Doxastic Characterisation of Autonomous Decisive Systems

A highly autonomous system (HAS) has to assess the situation it is in an...
research
12/02/2020

Proceedings Second Workshop on Formal Methods for Autonomous Systems

Autonomous systems are highly complex and present unique challenges for ...
research
10/08/2017

Proceedings 2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies

The second international CREST workshop continued the focus of the first...
research
07/21/2023

Envisioning a Safety Island to Enable HPC Devices in Safety-Critical Domains

HPC (High Performance Computing) devices increasingly become the only al...
research
09/04/2022

Synergistic Redundancy: Towards Verifiable Safety for Autonomous Vehicles

As Autonomous Vehicle (AV) development has progressed, concerns regardin...
research
05/27/2018

Safety-Critical Java: Level 2 in Practice

Safety Critical Java (SCJ) is a profile of the Real-Time Specification f...
research
09/07/2019

Formal Methods and CyberSecurity

Formal methods have been largely thought of in the context of safety-cri...

Please sign up or login with your details

Forgot password? Click here to reset