Just Formal Enough? Automated Analysis of EARS Requirements [chapter]

Levi Lúcio, Salman Rahman, Chih-Hong Cheng, Alistair Mavin
2017 Lecture Notes in Computer Science  
EARS is a technique used by Rolls-Royce and many other organizations around the world to capture requirements in natural language in a precise manner. In this paper we describe the EARS-CTRL tool for writing and analyzing EARS requirements for controllers. We provide two levels of analysis of requirements written in EARS-CTRL: firstly our editor uses projectional editing as well as typing (based on a glossary of controller terms) to ensure as far as possible well-formedness by construction of
more » ... e requirements; secondly we have used a controller synthesis tool to check whether a set of EARS-CTRL requirements is realizable as an actual controller. In the positive case, the tool synthesizes and displays the controller as a synchronous dataflow diagram. This information can be used to examine the specified behavior and to iteratively correct, improve or complete a set of EARS-CTRL requirements.
doi:10.1007/978-3-319-57288-8_31 fatcat:27ydaan4uvhltbpxymo6kh4rui