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

Robert Davis 1 Tullio Vardanega 2 Jan Alexanderson 3 Francis Vatrinet 4 Mark Pearce 5 Ian Broster 5 Mikel Azkarate-Askasua 6 Franck Wartel 7 Liliana Cucu-Grosjean 8 Mathieu Patte 9 Glenn Farrall 10 Francisco J. Cazorla 11
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
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 : jeudi 7 février 2019 - 17:48:22

Identifiants

  • HAL Id : hal-01094390, version 1

Collections

UNICE | INRIA | I3S | UNIV-COTEDAZUR | INRIA-ROCQ

Citation

Robert Davis, Tullio Vardanega, Jan Alexanderson, Francis Vatrinet, Mark Pearce, et al.. PROXIMA: A Probabilistic Approach to the Timing Behaviour of Mixed-Criticality Systems. Ada User Journal, ADA-Europe, 2014, pp.118-122. 〈hal-01094390〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

302

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD