Skip to content

Expressing requirements for software controllers in the EARS language

License

Notifications You must be signed in to change notification settings

levilucio/EARS-CTRL-light

Repository files navigation

EARS-CTRL (light)

EARS-CTRL allows going from software requirements expressed in EARS (Easy Approach to Requirements Syntax) to software controllers that can be simulated - all from the same MPS-based interactive development environment.

Note that this version of EARS-CTRL is restricted to the construction of requirements and does not allow the generation of simulink models for the requirements. For the full version please refer to the EARS-CTRL repository.

Take a look here for a video demoing the whole tool.

Install instructions

  1. Install mbeddr for MPS 3.4.3 for your platform.

  2. Clone this repository locally:

    git clone https://github.com/levilucio/EARS-CTRL.git

  3. Start mbeddr

  4. Open the org.iets3.opensource project at:

    your_repo_root/code/languages

You will get a dialog asking if you want to migrate the project. Select 'Postpone':

  1. Compile the gxw language, if necessary.

  1. Enjoy EARS-CTRL!

About

Expressing requirements for software controllers in the EARS language

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages