Show simple item record

dc.contributor.authorMurashkin, Alexandr 14:23:50 (GMT) 14:23:50 (GMT)
dc.description.abstractModern car systems are getting more complex, so do car electronic/electric (E/E) architectures. E/E architecture of a car includes sensors, actuators, programmable ECUs and all the related communications. The complexity of E/E architectures increases dramatically: modern car have more than 100 of ECUs and communications spread over the entire vehicle. Therefore, the development of such architectures is a major challenge. Additional complexity comes from cross-cutting concerns, such as, variability and dependability. To manage this complexity and reduce costs, architects and engineers apply model-based methods to automate analysis, perform simulation, and make key decisions before the actual implementation. To quantify the analysis results, engineers use quality attributes, such as, cost, power consumption, complexity, maintainability, and wire length. Introduction of quality attributes also allows engineers to perform architecture optimization. In this work, we explore applicability of a modeling language called Clafer to address E/E architecture modeling, exploration and optimization problems. Clafer is a general-purpose domain-modeling language that comes with tools and solvers that are capable of performing consistency checking, design exploration and optimization. Clafer has minimalistic syntax, but its first-order logic based semantics is rich enough to represent a wide range of domains. Our main contributions include: formulation of Clafer domain modeling principles with respect to architecture modeling, identification of Clafer design patterns in general, and demonstration of applicability of Clafer to architecture exploration and optimization. To evaluate our approach, we develop the Power Window case study. The Power Window system's E/E architecture is a rich representative of a car E/E architecture: it can be decomposed into subsystems, it can have smart or dumb sensor and actuators, and it requires wire or bus communications within and across subsystems. We consider the following topics: representing Power Window system's features and functions, automated hardware topology generation, and automated deployment of functions to hardware. Our case case study concludes that Clafer is capable of representing all structural aspects of E/E architectures: from modeling a device to modeling an entire system. Clafer tools can facilitate automated deployment and hardware topology generation and perform architecture multi-objective optimization within a reasonable time. And finally, Clafer language features, such as arbitrary property nesting, result in clear, concise and lightweight structural models.en_US
dc.publisherUniversity of Waterlooen
dc.subjectDesign Explorationen_US
dc.subjectTopology Generationen_US
dc.titleAutomotive Electronic/Electric Architecture Modeling, Design Exploration and Optimization using Claferen_US
dc.typeMaster Thesisen
dc.subject.programComputer Scienceen_US of Computer Scienceen
uws-etd.degreeMaster of Mathematicsen

Files in this item


This item appears in the following Collection(s)

Show simple item record


University of Waterloo Library
200 University Avenue West
Waterloo, Ontario, Canada N2L 3G1
519 888 4883

All items in UWSpace are protected by copyright, with all rights reserved.

DSpace software

Service outages