Monday, September 19, 2016

Clafer Tools 0.4.4 Released

by Michał Antkiewicz, Sep 19, 2016

This is a simultaneous release of all Clafer Tools.

Binary builds are available from Clafer Tools - Binary Distributions.

Clafer compiler, release pull request (0.4.4).
  • compatibility with GHC 8.0.1,
  • added support for nested abstract clafers to Choco generator,
  • fixed building with latest Alex and Happy,
  • fixed an issue with setting references with a union, #49,
  • add the synthetic "root", #57,
  • added partial support for `parent` of top-level abstract clafers (the model now compiles but the generators must be fixed), #84.
Alloy-based instance generator, release pull request (0.4.4).
  • compatibility with GHC 8.0.1.
Choco-based instance generator and multi-objective optimizer, release pull request (0.4.4).
  • a massive update of 249 commits and 460 files changed!
  • ported to the latest Choco version 4.0,
  • added support for reference refinement, 
  • improved support for nested abstract clafers: issues #23, #29, #30, #31.
  • many performance improvements,
  • implemented constructive disjunction optimization.
      Claferwiki, release pull request (0.4.4).
      • compatibility with GHC 8.0.1,
      • compatibility with clafer-0.4.4 and the latest gitit-
      ClaferToolsUICommonPlatform, release pull request (0.4.4).
      • fixed FQ matrix (fixed sorting, fixed references)
      • fixed Clafer API
      ClaferMOOVisualizer, release pull request (0.4.4).
      • minor fixes
      ClaferConfigurator, release diff (0.4.4).

      ClaferIDE, release diff (0.4.4).

      ClaferToolsST, release diff (0.4.4).
      • updated version numbers and links.
      ClaferMPS, release pull request (0.4.4).
      • added ability to extend the reference model with arbitrary clafers and constraints
      • added ability to add constraints to quality attributes
      • fixed quality table

      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.

      Thursday, June 23, 2016

      Technical Report: Case Studies on E/E Architectures for Power Window and Central Door Locks Systems

      by Michał Antkiewicz, June 23, 2016

      Today, we published the final version of the technical report "Case Studies on E/E Architectures for Power Window and Central Door Locks Systems". The report contains:
      • An informal introduction to Clafer with sample outputs from the instance generator
      • Reference Model for E/E System Architecture for early design exploration including layers for feature model, functional analysis architecture, hardware design architecture (including communication and power topologies), and deployment.
      • Three case studies with lots of variability and many quality attributes (cost, mass, end-to-end latency):
        • Single door power window architecture
        • Two door power window architecture based on a generalized single door architecture
        • Central door locks architecture with remote key access and passive key entry
      • A set of techniques for modeling complex systems in Clafer
      The appendices contain
      • Appendix A Reference Model (148 lines)
      • Appendix B Generalized Single-Door Power Window (216 lines)
      • Appendix C Two-Door Power Window (184 lines)
      • Appendix D Central Door Locks (801 lines)
      For source code repositories and more information see the previous post.

      Friday, May 20, 2016

      ClaferMPS 0.4.3 Released

      by Michał Antkiewicz, May 20, 2016

      ClaferMPS is an implementation of Clafer in JetBrains Meta-Programming System (MPS). It also includes an Architecture DSL, which implements an adaptation of EAST-ADL reference model for early architecture modeling described in a technical report.

      ClaferMPS implements full Clafer 0.4.3 and provides
      • a smart structured editor with autocompletion and many intentions,
      • type system,
      • module system,
      • generator of plain-text Clafer.
      The Architecture DSL
      • technical feature model, functional analysis architecture, hardware design architecture, and separate functional to hardware architecture deployment specification,
      • editable textual and graphical projections,
      • semantic error checking according to the reference model,
      • separate definition of quality attributes,
      • generation of plain Clafer separate for every module with and without quality attributes.
      For installation and usage details, see README.

      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.