Just Formal Enough? Automated Analysis of EARS Requirements

@inproceedings{Lucio2017JustFE,
  title={Just Formal Enough? Automated Analysis of EARS Requirements},
  author={Levi Lucio and Salman Rahman and Chih-Hong Cheng and Alistair Mavin},
  booktitle={NFM},
  year={2017}
}
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… CONTINUE READING