Skip to main content

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)

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. (Contact us about this Publication)
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
Divisions: Faculties > Sciences > School of Computing > Security Group
Depositing User: Ozgur Kafali
Date Deposited: 04 Feb 2018 12:52 UTC
Last Modified: 26 Sep 2019 10:26 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/65879 (The current URI for this page, for reference purposes)
  • Depositors only (login required):