Tools and Benchmarks for Real-Time Systems

As the panel’s focus is on the “higher level languages […] for modeling adaptive real-time systems” , two interesting topics can be explored besides the ones mentioned in the pdf. 1. Finite State Machines are widely used (e.g., Simulink ) in model-based design of embedded systems. Many works (especi...