Laboratoire d’Analyse et d’Architecture des Systèmes
A.DE BONNEVAL, M.SGHAIRI, Y.CROUZET
TSF, Aéroconseil, Blagnac
Manifestation avec acte : Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement Lamda Mu 2012 18 du 16 octobre au 18 octobre 2012, Tours (France), 2012, 3p. , N° 12008
Diffusable
128431Y.CROUZET, K.KANOUN
TSF
Ouvrage (contribution) : Advances in Computers. Special issue: Dependable and Secure Systems Engineering, Vol.84, A.Hurson, S.Sedigh (Eds), Elsevier, 264p., N°978-0-12-396525-7, Mai 2012, pp.93-139 , N° 12375
Lien : http://hal.archives-ouvertes.fr/hal-00761042
Diffusable
Plus d'informations
This chapter presents briefly basic concepts, measures and approaches for dependability characterization and benchmarking, and examples of benchmarks, based on dependability modeling and measurements. We put emphasis on Commercial Off-the-Shelf components (COTS) on COTS-based systems. To illustrate the various concepts, techniques and results of dependability benchmarking, we present two examples of benchmarks: one addressing the system and service level of a COTS-based fault tolerant system, and one dedicated to COTS software components. The first benchmark shows how dependability modeling can be used to benchmark alternative architectural solutions of instrumentation and control systems of nuclear power plants. The benchmarked measure corresponds to system availability. The second benchmark shows how controlled experiments can be used to benchmark operating systems taking Windows and Linux as examples. The benchmark measures are robustness, reaction time and restart time.
M.SGHAIRI, P.BROT, J.J.AUBERT, A.DE BONNEVAL, Y.CROUZET
TSF, AIRBUS France
Brevet : brevet AIRBUS/CNRS. US2010204853 (A1) le 12/08/2010; FR2941912 (B1) le 18/02/2011; CA2740280 (A1) le 10/11/2011; EP2216244 (B1) le 01/02/2012, 18 Février 2011, 13p. , N° 09069
Diffusable
123742M.SGHAIRI, P.BROT, J.J.AUBERT, A.DE BONNEVAL, Y.CROUZET
AIRBUS France, TSF
Brevet : brevet AIRBUS/CNRS. FR2941913 (A1), EP2216245 (A1), US2010222943 (A1), Septembre 2010, 13p. , N° 09070
Diffusable
123743J.ARLAT, Y.CROUZET
TSF
Ouvrage (contribution) : Models in Hardware Testing: Lecture Notes of the Forum in Honor of Christian Landrault, Springer, 257p., N°978-90-481-3281-2, 29 Décembre 2009, pp.217-255 , N° 09349
Diffusable
120474A.YOUSSEF, A.DE BONNEVAL, Y.CROUZET, J.J.AUBERT, P.BROT
TSF, AIRBUS France
Brevet : Brevet AIRBUS/CNRS N° FR2878097 (A1 & B1), US2009319122 (A1), US8239075 (B2) - 07/08/2012 , CA2587503 (A1), WO2006053956, Décembre 2009, 16p. , N° 04735
Diffusable
108211M.SGHAIRI, A.DE BONNEVAL, Y.CROUZET, J.J.AUBERT, P.BROT, Y.LAAROUCHI
TSF, AIRBUS France
Manifestation avec acte : 28th Digital Avionics Systems Conference (DASC'09), Orlando (Etats-Unis), 25-29 Octobre 2009, 10p. , N° 09657
Diffusable
119699P.GARNIER, P.ZAJAC, J.H.COLLET, Y.CROUZET
OLC, Lodz, TSF
Rapport de Contrat : Contrat MasCotTe. ANR-05-PDIT-018-01, Août 2009, 44p. , N° 09501
Diffusion restreinte
118737B.VABRE, J.H.COLLET, Y.CROUZET
TSF
Rapport de Contrat : Contrat MasCotTe. ANR-05-PDIT-018-01, Août 2009, 73p. , N° 09500
Diffusion restreinte
118735M.SGHAIRI, A.DE BONNEVAL, Y.CROUZET, J.J.AUBERT, P.BROT
AIRBUS France, TSF
Ouvrage (contribution) : Advances in Electrical and Electronics Engineering. IAENG Special edition of the World Congress on Engineering and Computer Science (WCECS 2008), N°ISBN 978-0-7695-3555-5, Avril 2009, pp.13-20 , N° 09177
Diffusable
Plus d'informations