Nicolas Sordon

Learn More
This presentation demonstrates the early results from the French ANR project RT-Simex. RT-Simex proposes a set of tools to analyze parallel embedded code and trace the simulation results back to the initial models from which the code was generated. The whole tool-set relies on standard formats (UML MARTE, Open Trace Format) to ensure a perennial use. The(More)
When designing complex real-time software, it is very difficult to predict how design decisions may impact the system timing behavior. Usually, the industrial practices rely on the subjective judgment of experienced software architects and developers. This is however risky since eventual timing errors are only detected after implementation and integration,(More)
As a consequence of the increasing complexity of modern real-time applications, the need for an efficient, reliable and automated performance estimation method throughout the whole development cycle becomes essential. Model-based formal timing analysis appears at first sight to be the adequate candidate for this purpose. However, its use in the industry is(More)
Summary form only given. Usually, the industrial practices rely on the subjective judgment of experienced software architects and developers to predict how design decisions may impact the system timing behavior. This is however risky since eventual timing errors are only detected after implementation and integration, when the software execution can be(More)
The growing complexity of applications, combined with constant quality and time-to-market constraints, creates new challenges for performance engineering practices in the area of real-time embedded systems. It is namely expected that delivered products implement more and more complex features, while respecting strict real-time requirements. When developing(More)
Symposium (RTSS'12). I am pleased to present 25 excellent WiP papers that describe innovative research contributions from the broad field of real-time and embedded systems and applications. The 25 accepted papers were selected from 38 submissions. These proceedings are also published online in the ACM SIGBED Review (available at The primary purpose of the(More)
The growing complexity of software applications, combined with increasing reliability requirements and constant quality and time-to-market constraints, creates new challenges for performance engineering practices in the area of real-time embedded systems. It is namely expected that delivered products combine timing garantees with fault tolerant behavior,(More)
  • 1