Tools and Benchmarks for Real-Time Systems

Set up your profile
Users in this forum are not meant to remain anonymous. We encourage you to add your affiliation and a link to your homepage in your profile. You can edit your profile by clicking on your username at the upper right hand corner of the board. It is also possible to configure the signature used in your posts.

Set up your notifications
In your User Control Panel (that you can access by clicking on your username at the upper right hand corner of the screen) you can decide whether you prefer to be notified by email or personal message on the forum about certain events. In addition, you have the possibility to subscribe to forums and topics. Note that, unfortunately, it is not possible to subscribe to categories, i.e., forums which contain other forums: you can only subscribe to "leaf" forums which contain only topics, and to topics. You can subscribe to forums by clicking on the "subscribe forum" link at the bottom of the chosen forum, or choosing the "subscribe topic" option in the topic tools of the chosen topic, respectively (see pictures below).