EARS-CTRL: Building and Verifying Controllers for Dummies

Levi Lúcio , Salman Rahman , Saad bin Abid and Alistair Mavin

Tools and Demo Session track at MoDELS 2017, pp. 1–6

September 2017

abstract

In this paper we present the EARS-CTRL tool forsynthesizing and validating controller software for embeddedsystems. EARS-CTRL has as starting point requirements writtenin (English) natural language, more specifically in the EARS(Easy Approach to Requirements Syntax) language invented atRolls-Royce and currently in use at numerous organizationsaround the world. After expressing the requirements in English,the requirements engineer can produce the controller code atthe press of a button. EARS-CTRL then provides facilitiesfor validating the generated controller that allow step-by-stepsimulation or test-case generation using MATLAB Simulink.

subject terms: Software Controllers, Natural Language, Code Synthesis, MatLab Simulink, Model-based Systems Engineering, MbSE

url: http://ceur-ws.org/Vol-2019/demos_2.pdf

URL BibTeX Back

Name	Purpose	Lifetime	Type	Provider
_pk_id	Used to store a few details about the user such as the unique visitor ID.	13 months	HTML	Matomo
_pk_ref	Used to store the attribution information, the referrer initially used to visit the website.	6 months	HTML	Matomo
_pk_ses	Short lived cookie used to temporarily store data for the visit.	30 minutes	HTML	Matomo
_pk_cvar	Short lived cookie used to temporarily store data for the visit.	30 minutes	HTML	Matomo
_pk_hsr	Short lived cookie used to temporarily store data for the visit.	30 minutes	HTML	Matomo