Early Validation of High-level Requirements on Cyber-Physical Systems

TL;DR

This paper presents an early validation approach for high-level requirements in cyber-physical systems by transforming requirements into Event Calculus and reasoning with ASP solvers, aiming to improve safety-critical system validation.

Contribution

It introduces a novel method for early validation of CPS requirements using formal logic transformation and reasoning with ASP solvers, with initial results accepted for publication.

Findings

Initial validation results demonstrate feasibility

Method effectively transforms requirements into formal logic

Work is progressing towards practical validation tools

Abstract

The overarching, broad topic of my research are advancements in the area of safety-critical, cyber-physical systems (CPS) development with emphasis on validation and verification. The particular focus of my research is the early validation of high-level requirements on CPS. My current approach for tackling this problem is transforming the requirements into Event Calculus and subsequently reasoning about them using ASP solvers such as the grounding-free s(CASP). Below, I discuss my research, its current state, and the open issues that are still left to tackle. The first results of my work will be presented in a paper that was accepted for ICLP'24, which is my first paper in this area.