Searched for: subject%3A%22Process%255C%2Balgebras%22
(1 - 2 of 2)
van den Berg, F. (author), Hooman, J. (author), Haverkort, B.R. (author)
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...
conference paper 2018
Merkx, L.L.F. (author), Cuijpers, P.J.L. (author), Duringhof, H.M. (author), TNO Industrie en Techniek (author)
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...
conference paper 2007