Validation of In-Vehicle Real-Time Applications

Nicolas Navet 1 Ye-Qiong Song 1
1 TRIO - Real time and interoperability
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : This paper proposes a pragmatic approach for validating, at the design step, real-time in-vehicle applications using CAN (Controller Area Network) as the underlying communication system. By validation, we mean the verification that dependability constraints (e.g. deadlines, jitters, transmission error tolerance) will be met by the designed solution (called the operational architecture and denoted by OA). The verification is performed by evaluating the performance of the OA. Our approach consists, on the one hand, in building models (both analytic and simulation) and analysing them (model-based evaluation), and on the other hand, in monitoring the network(s) on a prototype of the system (prototype-based evaluation). The proposed method, as well as the set of associated software tools, is described with a special emphasis on analytical models. An example is used throughout the paper to illustrate the usefulness of the tools as well as their complementary nature.
Type de document :
Article dans une revue
Computers in Industry, Elsevier, 2001, 46 (2), pp.107-122
Liste complète des métadonnées
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 14:52:57
Dernière modification le : jeudi 11 janvier 2018 - 06:20:05


  • HAL Id : inria-00100930, version 1



Nicolas Navet, Ye-Qiong Song. Validation of In-Vehicle Real-Time Applications. Computers in Industry, Elsevier, 2001, 46 (2), pp.107-122. 〈inria-00100930〉



Consultations de la notice