Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming

We consider requirements for cyber-physical systems represented in constrained natural language. We present novel automated techniques for aiding in the development of these requirements so that they are consistent and can withstand perceived failures. We show how cyber-physical systems' requir...

Full description

Saved in:
Bibliographic Details
Published in:arXiv.org 2021-09
Main Authors: Hall, Brendan, Varanasi, Sarat Chandra, Fiedor, Jan, Arias, Joaquín, Basu, Kinjal, Li, Fang, Bhatt, Devesh, Driscoll, Kevin, Salazar, Elmer, Gupta, Gopal
Format: Article
Language:English
Subjects:
Avionics
Calculus
Cyber-physical systems
Declarative programming
Knowledge representation
Mathematical programming
Natural language (computers)
Requirements specifications
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:We consider requirements for cyber-physical systems represented in constrained natural language. We present novel automated techniques for aiding in the development of these requirements so that they are consistent and can withstand perceived failures. We show how cyber-physical systems' requirements can be modeled using the event calculus (EC), a formalism used in AI for representing actions and change. We also show how answer set programming (ASP) and its query-driven implementation s(CASP) can be used to directly realize the event calculus model of the requirements. This event calculus model can be used to automatically validate the requirements. Since ASP is an expressive knowledge representation language, it can also be used to represent contextual knowledge about cyber-physical systems, which, in turn, can be used to find gaps in their requirements specifications. We illustrate our approach through an altitude alerting system from the avionics domain.
ISSN:2331-8422
DOI:10.48550/arxiv.2109.04634