Automated Evaluation of Embedded-System Design Alternatives

This half-day tutorial presents a method to tackle the issue of evaluating a plethora of embedded system design-alternatives against functional and non-functional requirements. Our method results from a joint research project between three universities and Visteon Electronics, a multinational company active in the engineering of automotive embedded systems. We will illustrate its application on a real-world application and, first and foremost, under a practical prism. As such, practitioners developing embedded systems are invited to discover the capabilities of our techniques and tools, as well as insights on how to integrate them into their engineering processes. Moreover, researchers will get a comprehensive picture of the underlying techniques and the challenges that remain ahead.