Tools and Benchmarks for Real-Time Systems

This is tightly related to the underlying Operating System. In most OS, it shouldn't be too complicated to get the spent/remaining execution budget of a task (though there may not be a dedicated API function). Providing language primitives to interrogate the OS on these aspects shouldn't be too hard...

Hi Sophie,

Indeed, thanks for pointing these out.

I just attached a more detailed description of the panel subject in the original post.

Best,
Julien

The Amalthea To Prelude translator is now available on the Prelude forge (amx2plu): https://forge.onera.fr/projects/prelude/files In the provided archive you will also find the Prelude program resulting from the translation (in case you cannot re-generate it). A new Prelude distribution will be avai...

A topic we would like to discuss concerns the choice of the design and programming tools. Adaptive real-time systems can be programmed with existing low-level languages (like C for instance), however it might be difficult to design and analyze large programs with complex adaptive behaviors and still...

WATERS'17 will hold a panel discussion on "Programming adaptive real-time systems". The focus of the panel is detailed below. The objective of the panel is to share experiences and ideas. As such, we encourage you to suggest topics you would like to discuss during this panel. ------- During this pan...