 |
Journal articles
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
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
Robert Davis 1
Author IdHAL : robert-davis
Tullio Vardanega 2
Author
Jan Alexanderson 3
Author Employer institution : Aeroflex
Francis Vatrinet 4
Author Employer institution : SYSGO [Le Pecq]
Mark Pearce 5
Author Employer institution : Rapita Systems Ltd [York]
Ian Broster 5
Author Employer institution : Rapita Systems Ltd [York]
Mikel Azkarate-Askasua 6
Author Employer institution : IK4 - IKERLAN [Mondragón]
Franck Wartel 7
Author
Liliana Cucu-Grosjean 8
Author Employer institution : Institut National de Recherche en Informatique et en Automatique
Mathieu Patte 9
Author Employer institution : Astrium [Toulouse]
Glenn Farrall 10
Author Employer institution : Infineon Technologies AG [München]
Francisco J. Cazorla 11
Author
1
Department of Computer Science (United Kingdom)
- CS-YORK - Department of Computer Science [York] (Deramore Lane York YO10 5GH - United Kingdom)
- University of York [York, UK] (Heslington, York, YO10 5DD - United Kingdom)
2
Dipartimento di Matematica Pura e Applicata [Padova] (Via Trieste, 63 35121 Padova - Italy)
- Universita degli Studi di Padova (Via 8 Febbraio 2, 35122 Padova - Italy)
3
Aeroflex Gaisler [Göteborg] (Kungsgatan 12 7tr, 411 19 Göteborg - Sweden)
4
SYSGO [Le Pecq] (Route de Sartrouville 54, 78230 Le Pecq - France)
5
Rapita Systems Ltd [York] (Atlas House,
Osbaldwick Link Road,
York YO10 3JB - United Kingdom)
6
IK4 - IKERLAN [Mondragón] (IKERLAN Apdo. 146, Pº. J. Mª. Arizmendiarrieta, 2 20500 Arrasate-Mondragón Gipuzkoa - Spain)
7
Airbus [France] (France)
8
AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints (France)
- CRISAM - Inria Sophia Antipolis - Méditerranée (2004 route des Lucioles BP 93 06902 Sophia Antipolis - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
- Inria Paris-Rocquencourt (INRIA Rocquencourt : Domaine de Voluceau, Rocquencourt B.P. 105 78153 le Chesnay Cedex - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
- Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués (Laboratoire I3S
CS 40121
06903 Sophia Antipolis Cedex - France)
- I3S - Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (2000, route des Lucioles - Les Algorithmes - bât. Euclide B 06900 Sophia Antipolis - France)
- UNS - Université Nice Sophia Antipolis (... - 2019) (Parc Valrose - BP 2135 - 06103 Nice cedex 2 - France)
- COMUE UCA - COMUE Université Côte d'Azur (2015 - 2019) (Parc Valrose, 28 avenue Valrose 06108 Nice Cedex 2 - France)
- CNRS - Centre National de la Recherche Scientifique : UMR7271 (France)
- UCA - Université Côte d'Azur (Parc Valrose, 28 avenue Valrose 06108 Nice Cedex 2 - France)
- UNS - Université Nice Sophia Antipolis (... - 2019) (Parc Valrose - BP 2135 - 06103 Nice cedex 2 - France)
- I3S - Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (2000, route des Lucioles - Les Algorithmes - bât. Euclide B 06900 Sophia Antipolis - France)
9
Astrium [Toulouse] (31 rue des Cosmonautes, Z.I. du Palays, F-31402 Toulouse Cedex 4 - France)
10
Infineon Technologies AG [München] (Germany)
11
CSIC - Spanish National Research Council (Consejo Superior de Investigaciones Cientificas, Madrid - Spain)
Keywords :
Real-time Systems
Document type :
Journal articles
Domain :
Complete list of metadata
https://hal.archives-ouvertes.fr/hal-01094390
Contributor : Liliana Cucu-Grosjean <>
Submitted on : Friday, December 12, 2014 - 11:22:14 AM
Last modification on : Friday, November 13, 2020 - 11:16:06 AM
Contributor : Liliana Cucu-Grosjean <>
Submitted on : Friday, December 12, 2014 - 11:22:14 AM
Last modification on : Friday, November 13, 2020 - 11:16:06 AM
Identifiers
- HAL Id : hal-01094390, version 1
Collections
UNICE | CNRS | INRIA | I3S | UNIV-COTEDAZUR
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 Language, 2014, pp.118-122. ⟨hal-01094390⟩
Metrics
Record views