1 Hit in 0.46 sec

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  
well-formedness by construction of the 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 this paper we describe the EARS-CTRL tool for writing and analyzing EARS requirements for controllers.  ...  is necessary that designers understand the structure of controllers.  ... 
doi:10.1007/978-3-319-57288-8_31 fatcat:27ydaan4uvhltbpxymo6kh4rui