Friday, May 13, 2016

New automotive case studies in Clafer

by Michał Antkiewicz, May 12, 2016

We published a few new automotive body domain case studies in a GitHub repository 'ClaferCaseStudies'.

Previously, the repository contained the original Power Window case study presented in Alexandr Murashkin's Master's thesis. Now, we added two new case studies by Jordan Ross: extended Power Window and Central Door Locks. More details in the README and the accompanying technical report.

Additionally, we reimplemented the Power Window and Central Door Locks case studies in ClaferMPS. The MPS solutions are contained in MPS/Automotive/BodyDomain. We are in the process of releasing ClaferMPS and a separate announcement will follow.


No comments:

Post a Comment