Designing CPSs with aDSL

Fredericus Gerrit Brand van den Berg (Speaker)

Activity: Talk or presentationOral presentation

Description

Staff presentation of Freek van den Berg (INF Post doc together with TU Twente ) on ‘Designing Cyber-Physical Systems with aDSL: a Domain-Specific Language and Tool support’ at Monday April 9, 12.30 in C0083 (Leeuwenborch).

‘Designing Cyber-Physical Systems with aDSL: a Domain-Specific Language and Tool support’
Abstract: An embedded system is a computer system that has a dedicated function within a larger system. It is frequently used to perform safety critical tasks. Multiple approaches exist, which are based on Domain-Specific Languages (DSLs), that include safety and performance evaluation of an embedded system as an integral part of the design process. We would like to achieve a similar approach for Cyber-Physical Systems (CPSs). A CPS is the integration of computation, software, networking, and physical processes. Consequently, CPS models extend embedded systems models with an increased support for hybrid and heterogeneous models, networking, interoperability and time synchronization. The current approaches for embedded systems are not adequate for evaluating the safety and performance of a CPS. We introduce an approach which comprises a DSL and a fully automated toolchain named aDSL, which particularly addresses the interoperability of CPSs. The toolchain provides: (i) interactive model description with input validation; (ii) the computation of possible operation modes of subsystems and parts; (iii) checking the adherence to requirements for different designs; (iv) detecting the Pareto optimal designs out of many designs; and, (v) intuitive visualizations throughout the toolchain which help the system designer to better understand the results and communicate them to stakeholders. aDSL has been tested on an agricultural case study in which a tractor, with different engine fuels and kinds of transmissions, is connected to different trailers; aDSL evaluated 48 designs and rendered all the visualizations, including one that concisely illustrates to which degree each design is Pareto optimal, in a matter of seconds.
Period10 Apr 2018
Held atWageningen University & Research, Netherlands