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.
Tuesday, August 16, 2016
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.
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.
Subscribe to:
Posts (Atom)