Find file History
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
..
Failed to load latest commit information.
DoorLocks
PowerWindow
README.md

README.md

Automotive Body Domain Case Studies

Overview

See the technical report Case Studies on E/E Architectures for Power Window and Central Door Locks Systems for the complete details for the power window and door locks case studies.

Dependencies

Contributers

Generating Instances

  1. Build the .cfr file using clafer -m choco <model file name>.cfr
  2. Generate instances:
    • All non-optimal instances: java -Xmx3g -jar <path to chocosolver jar> --file=<model file name> --maxint=<max int size> --output=<instance output file>
      • Note: The java heap needs around 3GB due to the large max integer size.
      • Note: A max integer of 50,000 is required for the power window models and the door locks model.
    • All optimal instances: java -Xmx3g -jar <path to chocosolver jar> --file=<model file name> --moo --maxint=<max int size> --output=<instance output file>