Brendan Hall (Honeywell Advanced Technology, Plymouth, USA) |
Sarat Chandra Varanasi (The University of Texas at Dallas, Richardson, USA) |
Jan Fiedor (Honeywell Internation s.r.o & Brno University of Technology, Brno, Czech Republic) |
Joaquín Arias (Universidad Rey Juan Carlos, Madrid, Spain) |
Kinjal Basu (The University of Texas at Dallas, Richardson, USA) |
Fang Li (The University of Texas at Dallas, Richardson, USA) |
Devesh Bhatt (Honeywell Advanced Technology, Plymouth, USA) |
Kevin Driscoll (Honeywell Advanced Technology, Plymouth, USA) |
Elmer Salazar (The University of Texas at Dallas, Richardson, USA) |
Gopal Gupta (The University of Texas at Dallas, Richardson, USA) |
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. |
ArXived at: https://dx.doi.org/10.4204/EPTCS.344.6 | bibtex | |
Comments and questions to: eptcs@eptcs.org |
For website issues: webmaster@eptcs.org |