PROARTIS : Probabilistically Analysable Real-Time Systems

  title={PROARTIS : Probabilistically Analysable Real-Time Systems},
  author={Francisco J. Cazorla and Eduardo Qui{\~n}ones and Tullio Vardanega and Liliana Cucu and Benoit Triquet and Guillem Bernat and Emery Berger and Jaume Abella and Franck Wartel and Michael Houston and Luca Santinelli and Leonidas Kosmidis and Code Lo and Dorin Maxim},
Static Timing Analysis is the state-of-the-art practice to ascertain the timing behaviour of current-generation real-time embedded systems. The adoption of more complex hardware to respond to the increasing demand for computing power in nextgeneration systems exacerbates some of the limitations of Static Timing Analysis. In particular, the effort of acquiring (1) detail information on the hardware to develop an accurate model of its execution latency as well as (2) knowledge of the timing… CONTINUE READING
Highly Cited
This paper has 60 citations. REVIEW CITATIONS
44 Citations
32 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 44 extracted citations

61 Citations

Citations per Year
Semantic Scholar estimates that this publication has 61 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 32 references

Automotive chip content growing fast

  • P. Clarke
  • says gartner. In…
  • 2011
1 Excerpt

Refaat and PierreEmmanuel Hladik . Efficient stochastic analysis of real - time systems via random sampling

  • S. Khaled
  • 2010

This car runs on code

  • R. N. Charette
  • IEEE Spectrum online
  • 2009
2 Excerpts

Similar Papers

Loading similar papers…