Tuesday, August 16, 2016

Synthesis and Exploration of Multi-Level, Multi-Perspective Architectures of Automotive Embedded System

by Michał Antkiewicz, Aug 16, 2016

Jordan Ross' Masters thesis about using Clafer tools for synthesis and exploration of automotive architectures is now available for download:

Synthesis and Exploration of Multi-Level, Multi-Perspective Architectures of Automotive Embedded System

The models created in that work are available in GitHub repository ClaferCaseStudies.

Monday, August 1, 2016

Preprint of the ClaferMPS paper is available

by Michał Antkiewicz, Aug 01, 2016

The preprint of the paper 

E. Khalilov, J. Ross, M. Antkiewicz, M. Voelter, and K. Czarnecki, "Modeling and Optimizing Automotive Electric/Electronic (E/E) Architectures: Towards Making Clafer Accessible to Practitioners", ISoLA, 2016

is available for download.

The paper describes features offered by the implementation of Clafer in JetBrains' Meta Programming System (MPS) and how it was used for modeling automotive E/E architectures. 

The paper reflects ClaferMPS version 0.4.3. We are going to release ClaferMPS 0.4.4 soon, which adds exciting new features.