PROXIMA: A Probabilistic Approach to the Timing Behaviour of Mixed-Criticality Systems

Robert Davis; Tullio Vardanega; Jan Alexanderson; Francis Vatrinet; Mark Pearce; Ian Broster; Mikel Azkarate-Askasua; Franck Wartel; Liliana Cucu-Grosjean; Mathieu Patte; Glenn Farrall; Francisco J. Cazorla

PROXIMA: A Probabilistic Approach to the Timing Behaviour of Mixed-Criticality Systems

Robert Davis ¹ Tullio Vardanega ² Jan Alexanderson ³ Francis Vatrinet ⁴ Mark Pearce ⁵ Ian Broster ⁵ Mikel Azkarate-Askasua ⁶ Franck Wartel ⁷ Liliana Cucu-Grosjean ⁸ Mathieu Patte ⁹ Glenn Farrall ¹⁰ Francisco J. Cazorla ¹¹

1 Department of Computer Science

CS-YORK - Department of Computer Science [York]

2 Dipartimento di Matematica Pura e Applicata [Padova]

3 Aeroflex Gaisler [Göteborg]

4 SYSGO [Le Pecq]

5 Rapita Systems Ltd [York]

6 IK4 - IKERLAN [Mondragón]

7 Airbus [France]

8 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints

CRISAM - Inria Sophia Antipolis - Méditerranée , Inria Paris-Rocquencourt, Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués

9 Astrium [Toulouse]

10 Infineon Technologies [Bristol]

11 CSIC - Spanish National Research Council

Keywords : Real-time Systems

Document type :

Journal articles

Domain :

Computer Science [cs] / Embedded Systems

Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01094390
Contributor : Liliana Cucu-Grosjean <>
Submitted on : Friday, December 12, 2014 - 11:22:14 AM
Last modification on : Thursday, February 7, 2019 - 5:48:22 PM

PROXIMA: A Probabilistic Approach to the Timing Behaviour of Mixed-Criticality Systems

Identifiers

Collections

Citation

Export

Metrics

306

Contact

PROXIMA: A Probabilistic Approach to the Timing Behaviour of Mixed-Criticality Systems

Identifiers

Collections

Citation

Export

Share

Metrics

306

Contact