Tools and Benchmarks for Real-Time Systems

Please see https://www.ecrts.org/forum/viewtopic.php?f=7&t=81 for an update on the TACLeBench benchmarks.

TACLeBench provides a freely available and comprehensive benchmark suite for timing analysis and related research topics TACLeBench will be continuously extended by novel benchmarks, especially by parallel multi-task/multi-core benchmarks. The extension of TACLeBench will be carefully managed with ...

CPAL is an acronym for the Cyber-Physical Action Language. CPAL is meant to model, simulate, verify and program Cyber-Physical Systems (CPS) which are the types of embedded systems that can be found in cars, planes, robots, UAV, medical devices, home appliance, factory and home automation, power pro...

Title: Using CPAL to model and validate the timing behaviour of embedded systems Authors: Sebastian Altmeyer, Nicolas Navet (University of Luxembourg, Luxembourg) Loïc Fejoz (RealTime-at-Work, Villers-lès-Nancy, France) Abstract: This work presents a solution to the Formal Methods for Timing Verifi...