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

09/10/2021
by   Brendan Hall, et al.
0

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.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 8

03/29/2016

Towards an Automated Requirements-driven Development of Smart Cyber-Physical Systems

The Invariant Refinement Method for Self Adaptation (IRM-SA) is a design...
06/28/2021

Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming

Automated commonsense reasoning is essential for building human-like AI ...
05/15/2018

Explicit Modelling of Physical Measures: From Event-B to Java

The increasing development of cyber-physical systems (CPSs) requires mod...
01/11/2017

A Framework for Knowledge Management and Automated Reasoning Applied on Intelligent Transport Systems

Cyber-Physical Systems in general, and Intelligent Transport Systems (IT...
03/20/2018

Ontology-Based Reasoning about the Trustworthiness of Cyber-Physical Systems

It has been challenging for the technical and regulatory communities to ...
04/27/2018

Consistency Checking of Functional Requirements

Requirements are informal and semi-formal descriptions of the expected b...
01/14/2022

Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework

This paper introduces a formal definition of a Cyber-Physical System (CP...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.