Published 2014 | Version v1

Journal article Metadata-only

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

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

Others:: Department of Computer Science ; Department of Computer Science [York] (CS-YORK) ; University of York [York, UK]-University of York [York, UK]; Dipartimento di Matematica Pura e Applicata [Padova] ; Università degli Studi di Padova = University of Padua (Unipd); Aeroflex Gaisler [Göteborg]; SYSGO [Le Pecq]; Rapita Systems Ltd [York]; IK4 - IKERLAN [Mondragón]; Airbus [France]; Models and methods of analysis and optimization for systems with real-time and embedding constraints (AOSTE) ; Inria Sophia Antipolis - Méditerranée (CRISAM) ; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Inria Paris-Rocquencourt ; Institut National de Recherche en Informatique et en Automatique (Inria)-COMmunications, Réseaux, systèmes Embarqués et Distribués (Laboratoire I3S - COMRED) ; Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S) ; Université Nice Sophia Antipolis (1965 - 2019) (UNS) ; COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS) ; COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S) ; Université Nice Sophia Antipolis (1965 - 2019) (UNS) ; COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS) ; COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA); Astrium [Toulouse] ; EADS - European Aeronautic Defense and Space; Infineon Technologies AG [München]; Spanish National Research Council (CSIC); European Project: 611085,EC:FP7:ICT,FP7-ICT-2013-10,PROXIMA(2013)

Description

International audience

Additional details

Created:: March 25, 2023
Modified:: November 28, 2023