160documents trouvés
Self-checking components for dependable interactive cockpits using formal description techniques
A.TANKEU-CHOITAT, D.NAVARRE, P.PALANQUE, Y.DELERIS, J.C.FABRE, C.FAYOLLAS
IRIT-UPS, TSF, Airbus Operations
Manifestation avec acte : IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2011), Pasadena (USA), 12-14 Décembre 2011, 11p. , N° 11547
Diffusable
126324Out-of-order evaluation of timed petri nets for distributed monitoring
O.BALDELLON, M.ROY, J.C.FABRE
TSF
Rapport LAAS N°11612, Novembre 2011, 10p.
Lien : http://hal.archives-ouvertes.fr/hal-00643683/fr/
Diffusable
Plus d'informations
Abstract
Modern embedded systems for safety critical applications, found in planes or cars, are based on real-time distributed networks and require high level of robustness, reliability and adaptability. In order to complement static off-line validation of such systems, this paper introduces a novel approach for on-line verification of behavioral properties expressed as a sub-family of timed Petri nets. We show that, for the subclass of acyclic safe nets, whose expressivity matches real-time systems constraints, it is possible to define a commutative and associative operation on states that enables out-of-order evaluation of the state of the Petri net, and thus a fully distributed evaluation of the behavior of the system under supervision. Additionally, when provided with a mapping between events and nodes of the distributed system, we show how to efficiently distribute the monitoring system on top of the applicative system, and provide algorithms for local evaluation and merging of information in order to detect as soon as possible when the system deviates from its specification.
Resolver-based detection of interferences in aspect-oriented programs
J.LAURET, J.C.FABRE, H.WAESELYNCK
TSF
Rapport LAAS N°11587, Novembre 2011, 10p.
Diffusable
125745Architecting resilient computing systems: overall approach and open issues
M.STOICESCU, J.C.FABRE, M.ROY
TSF
Manifestation avec acte : International Workshop on Software Engineering for Resilient Systems (SERENE 2011), Genève (Suisse), 29-30 Septembre 2011, pp.48-62 , N° 11230
Diffusable
125422A simple primary-backup replication design pattern: development in UML and application
P.ANDRE, J.C.FABRE, C.FAYOLLAS, J.GUIOCHET, M.ROY, M.STOICESCU
TSF
Rapport LAAS N°11476, Septembre 2011, 26p.
Diffusable
125276Aspect oriented framework for non-functional mechanisms: composability, reusability and testing
J.LAURET, J.C.FABRE, H.WAESELYNCK
TSF
Rapport de Contrat : LOT2-IMAP n° 2009 93 0816, Septembre 2011, 39p. , N° 11477
Non diffusable
125278WOSD 2011 the first international workshop on open systems dependability
M.TOKORO, K.KANOUN, K.KURAMITSU, J.C.FABRE
Sony CSL, TSF, YNU
Manifestation avec acte : International Conference on Dependable Systems & Networks (DSN 2011), Hong Kong (Chine), 27-30 Juin 2011, pp.593-594 , N° 11850
Diffusable
127063Self-checking widgets for interactive cockpits
A.TANKEU-CHOITAT, J.C.FABRE, P.PALANQUE, D.NAVARRE, Y.DELERIS
Airbus Operations, TSF, IRIT-UPS
Manifestation avec acte : European Workshop on Dependable Computing (EWDC 2011), Pise (Italie), 11-12 Mai 2011, 6p. , N° 11228
Diffusable
124561Detecting interferences in aspect oriented programs
J.LAURET, J.C.FABRE, H.WAESELYNCK
TSF
Manifestation avec acte : European Workshop on Dependable Computing (EWDC 2011), Pise (Italie), 11-12 Mai 2011, 6p. , N° 11131
Diffusable
124566Test des applications orientés aspect: modèle de faute, classification des techniques, problèmes ouverts
J.LAURET, J.C.FABRE, H.WAESELYNCK
TSF
Manifestation avec acte : Congrès des Doctorants EDSYS 2011, Toulouse (France), 10-11 Mai 2011, 6p. , N° 11165
Diffusable
124825