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