Just Formal Enough? Automated Analysis of EARS Requirements

  title={Just Formal Enough? Automated Analysis of EARS Requirements},
  author={Levi Lucio and Salman Rahman and Chih-Hong Cheng and Alistair Mavin},
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