Laboratoire d’Analyse et d’Architecture des Systèmes
E.ALATA, M.KAANICHE, V.NICOMETTE, R.AKROUT
TSF
Rapport LAAS N°12692, Janvier 2013, 9p.
Diffusable
128784K.TIASSOU, K.KANOUN, M.KAANICHE, C.SEGUIN, C.PAPADOPOULOS
ONERA, Airbus Op. Ltd, TSF
Rapport LAAS N°12689, Décembre 2012, 30p.
Diffusable
128780I.STUDNIA, E.ALATA, Y.DESWARTE, M.KAANICHE, V.NICOMETTE
TSF
Manifestation avec acte : Computer & Electronics Security Applications Rendez-vous ( CESAR ) 2012 du 20 novembre au 22 novembre 2012, Rennes (France), 2012, pp.61-74 , N° 12657
Lien : http://hal.archives-ouvertes.fr/hal-00761206
Diffusable
Plus d'informations
Virtualization techniques are at the heart of Cloud Computing, and these techniques add their own vulnerabilities to those traditional in any connected computer system. This paper presents an overview of such vulnerabilities, as well as possible counter-measures to cope with them.
K.TIASSOU, K.KANOUN, M.KAANICHE, C.SEGUIN, C.PAPADOPOULOS
TSF, ONERA, Airbus Op. Ltd
Manifestation avec acte : Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement ( Lamda Mu ) 2012 du 16 octobre au 18 octobre 2012, Tours (France), 2012, 9p. , N° 12475
Lien : http://hal.archives-ouvertes.fr/hal-00761050
Diffusable
Plus d'informations
Lors de la conception des avions, il est courant que les constructeurs évaluent la sûreté de fonctionnement en utilisant des modèles stochastiques, mais l'évaluation de la fiabilité opérationnelle à l'aide de modèles, en ligne, reste rarement effectuée. Souvent, l'évaluation stochastique concerne la sécurité des avions ou des missions. Cet article aborde la fiabilité opérationnelle des missions d'avion, à la suite de défaillances de composants, de modifications dans l'environnement opérationnel, ou de changement concernant les possibilités de maintenance dans les diverses escales que comporte la mission. Nous décrivons comment l'évaluation de la fiabilité opérationnelle en ligne peut permettre d'ajuster une mission d'avion, en cas de changements majeurs durant sa réalisation. L'évaluation est rendue possible grâce à la construction et à la validation d'un modèle de sûreté de fonctionnement facile i) à utiliser pour la définition d'une mission initiale, et ii) à mettre à jour lors de la réalisation d'une mission, suite à l'occurrence de certains événements majeurs. Le modèle peut être construit dès la phase de conception, par des ingénieurs spécialistes en sûreté de fonctionnement, en utilisant les processus stochastiques. La mise à jour et le traitement du modèle, en phase opérationnelle, peuvent être effectués par les exploitants, qui ne sont pas nécessairement familiers avec les processus stochastiques. Nous présentons des exemples de résultats qui montrent le rôle important de la réévaluation de la fiabilité opérationnelle pendant une mission d'avion.
G.VACHE, V.NICOMETTE, M.KAANICHE
TSF
Manifestation avec acte : International Conference on Risks and Security of Internet and Systems 2012 du 10 octobre au 12 octobre 2012, Cork (Irelande), 2012, 14p. , N° 11044
Diffusable
128671R.LUDINARD, E.TOTEL, F.TRONEL, V.NICOMETTE, M.KAANICHE, E.ALATA, R.AKROUT, Y.BACHY
SUPELEC Rennes, TSF
Manifestation avec acte : International Conference on Risks and Security of Internet and Systems ( CRiSIS ) 2012 du 10 octobre au 12 octobre 2012, Cork (Irelande), 2012, 12p. , N° 12013
Diffusable
128672K.TIASSOU, K.KANOUN, M.KAANICHE, C.SEGUIN, C.PAPADOPOULOS
TSF, ONERA, Airbus Op. Ltd
Manifestation avec acte : International Symposium on Reliable Distributed Systems ( SRDS ) 2012 du 08 octobre au 11 octobre 2012, Irvine (USA), 2012, 6p. , N° 12474
Lien : http://hal.archives-ouvertes.fr/hal-00755266
Diffusable
Plus d'informations
This paper addresses an aircraft mission operational reliability as resulting from component failures, environment changes, and maintenance facilities offered at the various stops involved in the mission. We will show how the on-line assessment of operational reliability will help adjust an aircraft mission, in case of major changes to equipment availability during the mission. The assessment is made possible thanks to the building and validation of a generic dependability model that is easily i) processed for the assignment of an initial mission, and ii) updated during mission accomplishment, following the occurrence of some specific major events. The generic model can be built as early as the design phase, by engineers who are specialist in dependability assessment, based on stochastic processes. Model update and processing, during aircraft operation, can be achieved by operators who are not necessarily familiar with stochastic processes in the way that they are being applied in this research. We will present examples of results that show the valuable role of operational dependability re-assessment during aircraft mission.
J.GUIOCHET, Q.A.DO HOANG, M.KAANICHE, D.POWELL
TSF
Manifestation avec acte : Intelligent Robots and Systems ( IROS ) 2012 du 07 octobre au 12 octobre 2012, Algarve (Portugal), 2012, 6p. , N° 12643
Diffusable
128594G.VACHE, M.KAANICHE, V.NICOMETTE
TSF
Revue Scientifique : The Computer Journal, 25p., Septembre 2012, doi: 10.1093/comjnl/bxs112 , N° 11020
Diffusable
127965G.VACHE, M.KAANICHE, V.NICOMETTE
TSF
Manifestation avec acte : International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2012), Paris (France), 27-28 Août 2012, pp.60-71 , N° 12232
Diffusable
127885