Filtrer vos résultats
- 98
- 17
- 1
- 64
- 30
- 16
- 2
- 2
- 1
- 1
- 1
- 116
- 1
- 1
- 1
- 2
- 3
- 4
- 2
- 4
- 3
- 3
- 2
- 9
- 1
- 4
- 5
- 4
- 4
- 4
- 7
- 4
- 6
- 1
- 7
- 1
- 5
- 5
- 5
- 5
- 4
- 2
- 2
- 2
- 1
- 1
- 2
- 100
- 16
- 116
- 5
- 4
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 116
- 42
- 23
- 16
- 11
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
116 résultats
|
Fiabilité de mission d’un avion. évaluation stochastique en opérationRevue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2014, 33 (9-10), pp.777 - 807. ⟨10.3166/tsi.33.777-807⟩
Article dans une revue
hal-01930324v1
|
||
|
Evaluation de la sûreté de fonctionnement des systèmes de sécurité - Application à la commande des postes à très haute tensionPerformance et fiabilité [cs.PF]. Institut National Polytechnique de Toulouse (INP Toulouse), 1980. Français. ⟨NNT : ⟩
Thèse
tel-01964458v1
|
||
|
Croissance de la sûreté de fonctionnement des logiciels. Caractérisation, modélisation, évaluationPerformance et fiabilité [cs.PF]. Institut National Polytechnique De Toulouse, 1989. Français. ⟨NNT : ⟩
Thèse
tel-01964462v1
|
||
|
An Holistic Approach to Dependability ?15th International Conference on Computer Safety, Reliability and Security (Safecomp'96), 149-154., Oct 1996, Vienne, Austria
Communication dans un congrès
hal-01986892v1
|
||
GUARDS: dependability evaluation, Chapter 9David Powell. A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems, Kluwer Academic Publishers, pp.157-192, 2001, 0-7923-7295-6
Chapitre d'ouvrage
hal-01982521v1
|
|||
|
MODÉLISATION DE LA SÛRETÉ DE FONCTIONNEMENT DE SYSTÈMES À PARTIR DU LANGAGE AADL15ème Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement (Lambda-Mu'15), Oct 2006, Lille, France. 8p
Communication dans un congrès
hal-00755279v1
|
||
|
Impact of Operational Reliability Re-assessment during Aircraft MissionsThe 31st IEEE Symposium on Reliable Distributed Systems (SRDS 2012), Oct 2012, Irvine, CA, United States. pp.219-224, ⟨10.1109/SRDS.2012.37⟩
Communication dans un congrès
hal-01176048v1
|
||
Analyse des défaillances et suivi de la validation du logiciel d'un équipement de télécommunicationAnnals of Telecommunications - annales des télécommunications, 1990, 45 (11-12), pp.657-670
Article dans une revue
hal-00851764v1
|
|||
|
ETALONNAGE DE LA SÛRETÉ DE FONCTIONNEMENT DE SYSTÈMES D'EXPLOITATIONCongrès de Maîtrise des Risques et Sûreté de Fonctionnement, Oct 2004, Bourges, France
Communication dans un congrès
hal-01980665v1
|
||
|
MODÉLISATION DE LA SÛRETÉ DE FONCTIONNEMENT DU CAUTRA (Coordinateur AUtomatique du TRafic Aérien) AVEC PRISE EN COMPTE DES DÉFAILLANCES DU MATÉRIEL ET DU LOGICIEL9ème Colloque International de Fiabilité et de Maintenabilité, May 1994, La Baule, France
Communication dans un congrès
hal-01985283v1
|
||
Definition and analysis of hardware-and-software fault-tolerant architecturesHoang Pham. Fault-tolerant software systems: techniques and applications, IEEE Computer Society Press technology Series, Los Alamitos, pp.5-17, 1992
Chapitre d'ouvrage
hal-01982576v1
|
|||
|
Diversity against accidental and deliberate faultsP.Ammann, B.H.Barnes, S.Jajodia, E.H.Sibley. Computer Security, Dependability, & Assurance: from needs to solutions, IEEE Computer Society, pp.171-181, 1999, 0-7695-0337-3
Chapitre d'ouvrage
hal-00761637v1
|
||
|
Dependability Assessment of GUARDS Instances4th IEEE International Computer Performance and Dependability Symposium (IPDS'2000), Mar 2000, Chicago, United States
Communication dans un congrès
hal-01976690v1
|
||
|
Construction and stepwise refinement of dependability modelsPerformance Evaluation, 2004, 56 (1-4), pp.277-306
Article dans une revue
hal-01980966v1
|
||
|
Stepwise Construction and Refinement of Dependability Models4th IEEE International Computer Performance and Dependability Symposium (IPDS'2000), Mar 2000, Chicago, United States
Communication dans un congrès
hal-01976600v1
|
||
|
Software Failure Data Analysis of two Successive Generations of a Switching System12th IFAC International Conference on Computer Safety, Reliability and Security (SAFECOMP'93), Oct 1993, Poznan, Poland. ⟨10.1007/978-1-4471-2061-2_24⟩
Communication dans un congrès
hal-01212234v1
|
||
|
Modeling Aircrafts Operational ReliabilityInternational Conference on Computer Safety, Reliability ans Security (SAFECOMP 2011), Sep 2011, Naples, Italy. pp.157-170
Communication dans un congrès
hal-01176051v1
|
||
|
Fiabilité du logiciel : de la collecte des données à l'évaluation probabilisteRevue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 1997, 16 (7), pp.865-895
Article dans une revue
hal-01212188v1
|
||
|
Reliability of a commercial telecommunications system7th International Symposium on Software Reliability Engineering (ISSRE'96), Oct 1996, White Plains, New York, United States. ⟨10.1109/ISSRE.1996.558807⟩
Communication dans un congrès
hal-01212242v1
|
||
|
Multi-Level Modeling Approach for the Availability Assessment of e-Business ApplicationsSoftware: Practice and Experience, 2003, 33 (14), pp.1323-1341. ⟨10.1002/spe.550⟩
Article dans une revue
istex
hal-00755223v1
|
||
|
Evaluation of bus and ring communication topologies for the DELTA-4 distributed fault-tolerant architecture10th IEEE Symposium on Reliable Distributed Systems, IEEE, Sep 1991, Pise, Italy. ⟨10.1109/RELDIS.1991.145415⟩
Communication dans un congrès
hal-01986395v1
|
||
Software reliability evaluation of the TROPICO-R switching system.IEEE Transactions on Reliability, 1990, 39 (3), pp.369-379. ⟨10.1109/24.103020⟩
Article dans une revue
hal-02007256v1
|
|||
|
Modelling the dependability of CAUTRA, a subset of the French air traffic control system26th Annual International Symposium on Fault-Tolerant Computing (FTCS-26), Jun 1996, Sendai, Japan
Communication dans un congrès
hal-01976201v1
|
||
|
A User-Perceived Availability Evaluation of a Web Based Travel AgencyInternational Conference on Deependable Systems and Networks (DSN-2003), Jun 2003, San Francisco, CA, United States. pp.709 - 718, ⟨10.1109/DSN.2003.1209986⟩
Communication dans un congrès
hal-01911676v1
|
||
|
Cost of Software Design Diversity-A Case Study10-th IEEE International Conference on Software Reliability Engineering (ISSRE-99), Nov 1999, Boca Raton, FL, United States
Communication dans un congrès
hal-01978617v1
|
||
|
DEPENDABILITY MODELING AND EVALUATION OF SOFTWARE-FAULT TOLERANT SYSTEMSIEEE Transactions on Computers, 1990, 39, pp.504 - 513
Article dans une revue
hal-01978863v1
|
||
|
COLLECTE ET ANALYSE DE DONNÉES RELATIVES A LA SÛRETÉ DE FONCTIONNEMENT DU LOGICIELJournées nationales ISdF "Retour d'expérience et banques de données", Mar 1992, Paris, France
Communication dans un congrès
hal-01985247v1
|
||
Real-word Design Diversity: a case study on costIEEE Software, 2001, 18 (4), pp.29-33
Article dans une revue
hal-01979366v1
|
|||
|
Performability Evaluation of Multipurpose Multiprocessor Systems: The "Separation of Concerns" ApproachIEEE Transactions on Computers, 2003, 52 (2), ⟨10.1109/TC.2003.1176988⟩
Article dans une revue
hal-01977511v1
|
||
|
Software dependability modeling using an industry-standard architecture description language4th European Congress ERTS Embedded Real Time Software, Jan 2008, Toulouse, France
Communication dans un congrès
hal-00323983v1
|