Formal Understanding of Tradeoffs among Liveness and Safety Requirements

Kafalı, Özgur and Ajmeri, Nirav and Singh, Munindar P. (2017) Formal Understanding of Tradeoffs among Liveness and Safety Requirements. In: 2016 IEEE 24th International Requirements Engineering Conference Workshops (REW). IEEE, pp. 17-18. ISBN 978-1-5090-3695-0. E-ISBN 978-1-5090-3694-3. (doi:10.1109/REW.2016.017) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:65879)

The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided.

Official URL: http://dx.doi.org/10.1109/REW.2016.017

Abstract

Understanding tradeoffs among stakeholder requirements regarding liveness (something good happens) and safety (nothing bad happens) is crucial for designing sociotechnical systems (STSs). Safety-focused specifications restrict agents' actions to avoid undesired executions. However, such restrictions hinder liveness. We formalize such tradeoffs using the elements of an STS specification to understand how much a specification promotes liveness or safety. We propose metrics to measure liveness and safety, and demonstrate how constraint logic programming is used to compute such metrics.

Item Type:	Book section
DOI/Identification number:	10.1109/REW.2016.017
Uncontrolled keywords:	Norms, sociotechnical systems, constraint logic programming
Subjects:	Q Science > Q Science (General) > Q335 Artificial intelligence
Institutional Unit:	Schools > School of Computing
Former Institutional Unit:	Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User:	Ozgur Kafali
Date Deposited:	04 Feb 2018 12:52 UTC
Last Modified:	20 May 2025 10:21 UTC
Resource URI:	https://kar.kent.ac.uk/id/eprint/65879 (The current URI for this page, for reference purposes)

University of Kent Author Information

Kafalı, Özgur.

Creator's ORCID:	https://orcid.org/0000-0001-9296-2087
CReDIT Contributor Roles:

Depositors only (login required):

Altmetric

Total Views

Total unique views of this page since July 2020. For more details click on the image.