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.


  1. Thanks for sharing, nice post!

    Sữa tắm cho bé hiệu sebamed baby bubble bath có tốt không, và kem chống hăm của đức cho bé loại nào tốt nhất hay dầu gội cho bé tốt nhất hiện nay là gì, hay kem chống nắng sebamed cho bé tốt không và kẹo bổ sung vitamin cho bé loại nào tốt, cách bổ sung omega 3 cho trẻ hiệu quả tốt nhất hay kẹo vita gummies cold and flu có tốt không và cách bổ sung chất xơ cho trẻ hay kẹo lợi khuẩn cho trẻ nature's way probiotic có tốt hay không.