Characterization of the Impact of Faulty Drivers on the Robustness of the Linux Kernel
Drivers are becoming the larger part of operating systems kernels. Previous studies have
shown that device drivers seem to be one of the most important sources of operating systems …
shown that device drivers seem to be one of the most important sources of operating systems …
MAFALDA-RT: a tool for dependability assessment of real-time systems
M Rodriguez, A Albinet, J Arlat - … International Conference on …, 2002 - ieeexplore.ieee.org
This paper presents a new prototype tool called MAFALDA-RT (Microkernel Assessment by
Fault injection AnaLysis and Design Aid for Real Time systems) that is aimed at the …
Fault injection AnaLysis and Design Aid for Real Time systems) that is aimed at the …
Requirement traceability in safety critical systems
MA Peraldi-Frati, A Albinet - Proceedings of the 1st Workshop on Critical …, 2010 - dl.acm.org
Safety engineering analysis is a mandatory stage in the design of critical embedded automotive
systems. The derivation of safety requirements and their verification require establishing …
systems. The derivation of safety requirements and their verification require establishing …
Model-based methodology for requirements traceability in embedded systems
A Albinet, JL Boulanger, H Dubois… - Proceedings of 3rd …, 2007 - inria.hal.science
We present a model-based methodology for requirements traceability proposed in the framework
of the MeMVaTEx project. The methodology relies on the EAST-ADL language and the …
of the MeMVaTEx project. The methodology relies on the EAST-ADL language and the …
Completing EAST-ADL2 with MARTE for enabling scheduling analysis for automotive applications
…, S Tucci-Pergiovanni, C Mraidha, A Albinet… - Embedded Real Time …, 2010 - hal.science
Automotive software systems become more and more complex presenting tougher safety
requirements and tighter timing constraints. On the other hand, today, timing verification of …
requirements and tighter timing constraints. On the other hand, today, timing verification of …
Requirements and solutions for timing analysis of automotive systems
S Anssi, S Gérard, A Albinet, F Terrier - … 2010, Oslo, Norway, October 4-5 …, 2011 - Springer
Automotive software systems are characterized by increasing complexity, tougher safety
requirements and ever-tighter timing constraints. Recent industrial experience has indicated …
requirements and ever-tighter timing constraints. Recent industrial experience has indicated …
Benchmarking the impact of faulty drivers: Application to the linux kernel
Dependability concerns, encompassing robustness assessment, are essential questions to
answer before a developer can make the decision whether to integrate off-the-shelf (OTS) …
answer before a developer can make the decision whether to integrate off-the-shelf (OTS) …
[PDF][PDF] Preliminary Proceedings
D Tamzalit, S Wagner, A Albinet, C Automotive… - 2011 - academia.edu
Domain specific languages (DSLs) allow domain experts to model parts of the system under
development in a problem-oriented notation that is well-known in the respective domain. …
development in a problem-oriented notation that is well-known in the respective domain. …
[BOOK][B] Dependability benchmarking for computer systems
K Kanoun, L Spainhower - 2008 - Wiley Online Library
The benchmark in Chapter 4 changes the physical environment around the system in order
to quantitatively measure susceptibility to silent data corruption. Chapters 5 and 6 include …
to quantitatively measure susceptibility to silent data corruption. Chapters 5 and 6 include …
Summary of the 6th International Workshop on Models and Evolution (ME 2012)
The Models and Evolution (ME) 2012 workshop is the continuance of the following events:
ME 2011 (at MoDELS), ME 2010 (at MoDELS), MoDSE-MCCM 2009 (at MoDELS), MCCM …
ME 2011 (at MoDELS), ME 2010 (at MoDELS), MoDSE-MCCM 2009 (at MoDELS), MCCM …