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

Type de document :

Article dans une revue

Ada User Journal, ADA-Europe, 2014, pp.118-122

Domaine :

Informatique [cs] / Systèmes embarqués

Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01094390
Contributeur : Liliana Cucu-Grosjean <>
Soumis le : vendredi 12 décembre 2014 - 11:22:14
Dernière modification le : lundi 5 novembre 2018 - 15:36:03

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

Identifiants

Collections

Citation

Exporter

Métriques

295

Contact

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

Identifiants

Collections

Citation

Exporter

Partager

Métriques

295

Contact