Proxima: A probabilistic approach to the timing behaviour of mixed-criticality systems

Ada User Journal

Volumn 35, Issue 2, 2014, Pages 118-122

  Davis, Robert I ^a   Vardanega, Tullio ^b   Andersson, Jan ^c   Vatrinet, Francis ^d   Pearce, Mark ^e   Broster, Ian ^e   Azkarate Askasua, Mikel ^f   Wartel, Franck ^g   Cucu Grosjean, Liliana ^h   Patte, Mathieu ⁱ   Farrall, Glenn ^j   Cazorla, Francisco J ^k  

^a UNIVERSITY OF YORK   (United Kingdom)

^b UNIVERSITY OF PADOVA   (Italy)

^c Gaisler Research   (United Kingdom)

^d Sysgo SAS   (France)

^e RAPITA SYSTEMS LTD   (United Kingdom)

^f IK4 IKERLAN   (Spain)

^g AIRBUS   (France)

^h INRIA   (France)

ⁱ AIRBUS DEFENCE AND SPACE   (Germany)

^j Infineon Technologies UK Ltd   (United Kingdom)

^k BARCELONA SUPERCOMPUTING CENTER   (Spain)

more..

Author keywords

Mixed criticality systems; Probabilistic real time systems; Software performance; WCET

Indexed keywords

COMPUTER ARCHITECTURE; REAL TIME SYSTEMS;

INTEGRATED PROJECT; MIXED CRITICALITIES; MIXED-CRITICALITY SYSTEMS; PROBABILISTIC APPROACHES; PROBABILISTIC REAL-TIME SYSTEMS; PROBABILISTIC TECHNIQUE; SOFTWARE PERFORMANCE; WCET;

CRITICALITY (NUCLEAR FISSION);

EID: 84905442995     PISSN: 13816551     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Conference Paper

References (13)

1. F. Cazorla, E. Quinones, T. Vardanega, L. Cucu, B. Triquet, G. Bernat, E. Berger, J. Abella, F. Wartel, M. Houston, L. Santinelli, L. Kosmidis, C. Lo, and D. Maxim (2013), PROARTIS: Probabilistically analysable real-time systems, ACM Transactions on Embedded Computing Systems.
2. L. Cucu-Grosjean, L. Santinelli, M. Houston, C. Lo, T. Vardanega, L. Kosmidis, J. Abella, E. Mezzeti, E. Quinones, F. J. Cazorla (2012), Measurement-based probabilistic timing analysis for multi-path programs, In Proceedings of the Euromicro Conference on Real-Time Systems (ECRTS).
3. W. Feller (1996), An introduction to Probability Theory and Its Applications, Wiley.
4. M. Paolieri, E. Quinones, F.J. Cazorla, G. Bernat, M. Valero (2009), Hardware Support for WCET Analysis of Multicore Systems, In proceedings International Symposium on Computer Architecture.
5. J. Rosen, A. Andrei, P. Eles, Z. Peng (2007), Bus access optimization for predictable implementation of real-time applications on multiprocessor systems-on-chip, In proceedings Real-Time Systems Symposium, pp 49-60.
6. B. Akesson, K. Goossens, M. Ringhofer (2007), Predator: A predictable SDRAM memory controller, CODESISSS.
7. S. Vestal (2007), Preemptive scheduling of multicriticality systems with varying degrees of execution time assurance, In proceedings of the Real-Time Systems Symposium.
8. S.K. Baruah, V. Bonifaci, G. D'Angelo, H. Li, A. Marchetti-Spaccamela, N. Megow, and L. Stougie (2010), Scheduling real-time mixed-criticality jobs, In Proceedings of the 35th International Symposium on the Mathematical Foundations of Computer Science, volume 6281 of Lecture Notes in Computer Science, pp 90-101.
9. S.K. Baruah, A. Burns, R.I. Davis (2011), Response Time Analysis for Mixed Criticality Systems, In proceedings of the Real-Time Systems Symposium (RTSS), pp 34-43.
10. A. Bums and R. I. Davis (2013), Mixed Criticality Systems - A Review, Available from http://www.users.cs.york.ac.uk/̃burns/
11. R.I. Davis, L. Santinelli, S. Altmeyer, C. Maiza, L. Cucu-Grosjean (2013), Analysis of Probabilistic Cache Related Pre-emption Delays, In proceedings of the Euromicro Conference on Real-Time Systems (ECRTS), pp 168-179.
12. L. Kosmidis, E. Quiñones, J. Abella, T. Vardanega, F.J. Cazorla (2013), Achieving Timing Composability with Measurement-Based Probabilistic Timing Analysis, In proceedings International Symposium on Object / component / service-oriented Real-time distributed computing.
13. L. Kosmidis, C. Curtsinger, E. Quinones, J. Abella, E. Berger, F.J. Cazorla (2013), Probabilistic timing analysis on conventional cache designs, In Proceedings Design, Automation & Test in Europe pp.603-606.