Find file History
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
..
Failed to load latest commit information.
.mps
_spreferences/CodeReviewPreferences
solutions
README.md

README.md

MPS Implementation for Automotive Body Domain Case Studies

Overview

This is our MPS implementation of the case studies found in the technical report Case Studies on E/E Architectures for Power Window and Central Door Locks Systems. Also check out the experience reports for some unfiltered insights into developing these case studies using MPS found here.

Getting Started

  1. Follow the instructions for setting up ClaferMPS here.
  2. Clone this repository to some local path <local repo dir>
  3. Open up MPS
  4. Click File, Open, select <local repo dir>/MPS/Automotive/BodyDomain, click OK.
  5. Rebuild the door locks and power window solutions.
  6. To generate the plain Clafer, right click on the desired module and select Preview Generated Text.