A Domain-Specific Language and Toolchain for Performance Evaluation Based on Measurements

This tool paper presents iDSL, a language and a fully automated toolchain for evaluating the performance of service-oriented systems. In this work, we emphasize the use of a high-level domain specific language that is tailored to be understood by system designers and domain experts, a transformation into an underlying process algebra which...

Algebraic software analysis and embedded simulation of a driving robot

At TNO Automotive the Generic Driving Actuator (GDA) is developed. The GDA is a device capable of driving a vehicle fully automatically using the same interface as a human driverdoes. In this paper, the design of the GDA is discussed. The software and hardware of the GDA and its effect on vehicle behaviour are analyzed from a safety point of...