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

by   Brendan Hall, et al.

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.



There are no comments yet.


page 8


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

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

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

Automated commonsense reasoning is essential for building human-like AI ...

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

The increasing development of cyber-physical systems (CPSs) requires mod...

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

Cyber-Physical Systems in general, and Intelligent Transport Systems (IT...

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

It has been challenging for the technical and regulatory communities to ...

Consistency Checking of Functional Requirements

Requirements are informal and semi-formal descriptions of the expected b...

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.