Search

Your search keyword '"Laprie, Jean-Claude"' showing total 155 results
Start Over Author "Laprie, Jean-Claude"
155 results on '"Laprie, Jean-Claude"'

1. Modelling interdependencies between the electricity and information infrastructures

Author

Laprie, Jean-Claude, Kanoun, Karama, and Kaaniche, Mohamed

Subjects
Computer Science - Distributed, Parallel, and Cluster Computing
Abstract

The aim of this paper is to provide qualitative models characterizing interdependencies related failures of two critical infrastructures: the electricity infrastructure and the associated information infrastructure. The interdependencies of these two infrastructures are increasing due to a growing connection of the power grid networks to the global information infrastructure, as a consequence of market deregulation and opening. These interdependencies increase the risk of failures. We focus on cascading, escalating and common-cause failures, which correspond to the main causes of failures due to interdependencies. We address failures in the electricity infrastructure, in combination with accidental failures in the information infrastructure, then we show briefly how malicious attacks in the information infrastructure can be addressed.

Published
2008

2. Safety Demonstration and Software Development

Author

Laprie, Jean-Claude, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Saglietti, Francesca, editor, and Oster, Norbert, editor

Published
2007
Full Text
View/download PDF

3. Modelling Interdependencies Between the Electricity and Information Infrastructures

Author

Laprie, Jean-Claude, Kanoun, Karama, Kaâniche, Mohamed, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Saglietti, Francesca, editor, and Oster, Norbert, editor

Published
2007
Full Text
View/download PDF

4. Dependability Modelling and Evaluation of Software Fault-Tolerant Systems

Author

Arlat, Jean, Kanoun, Karama, Laprie, Jean-Claude, European Commission, DG III, Aigrain, P., editor, Aldana, F., editor, Danielmeyer, H. G., editor, Faugeras, O., editor, Gallaire, H., editor, Kowalski, R. A., editor, Lehn, J. M., editor, Levi, G., editor, Metakides, G., editor, Oakley, B., editor, Rasmussen, J., editor, Tribolet, J., editor, Tsichritzis, D., editor, Van Overstraeten, R., editor, Wrixon, G., editor, Randell, Brian, editor, Laprie, Jean-Claude, editor, Kopetz, Hermann, editor, and Littlewood, Bev, editor

Published
1995
Full Text
View/download PDF

5. Software Reliability Trend Analyses: From Theoretical to Practical Considerations

Author

Kanoun, Karama, Laprie, Jean-Claude, European Commission, DG III, Aigrain, P., editor, Aldana, F., editor, Danielmeyer, H. G., editor, Faugeras, O., editor, Gallaire, H., editor, Kowalski, R. A., editor, Lehn, J. M., editor, Levi, G., editor, Metakides, G., editor, Oakley, B., editor, Rasmussen, J., editor, Tribolet, J., editor, Tsichritzis, D., editor, Van Overstraeten, R., editor, Wrixon, G., editor, Randell, Brian, editor, Laprie, Jean-Claude, editor, Kopetz, Hermann, editor, and Littlewood, Bev, editor

Published
1995
Full Text
View/download PDF

6. The Transformation Approach to the Modelling and Evaluation of Reliability and Availability Growth

Author

Laprie, Jean-Claude, Béounes, Christian, Kaâniche, Mohamed, Kanoun, Karama, European Commission, DG III, Aigrain, P., editor, Aldana, F., editor, Danielmeyer, H. G., editor, Faugeras, O., editor, Gallaire, H., editor, Kowalski, R. A., editor, Lehn, J. M., editor, Levi, G., editor, Metakides, G., editor, Oakley, B., editor, Rasmussen, J., editor, Tribolet, J., editor, Tsichritzis, D., editor, Van Overstraeten, R., editor, Wrixon, G., editor, Randell, Brian, editor, Laprie, Jean-Claude, editor, Kopetz, Hermann, editor, and Littlewood, Bev, editor

Published
1995
Full Text
View/download PDF

7. Definition and Analysis of Hardware-and-Software Fault-Tolerant Architectures

Author

Laprie, Jean-Claude, Arlat, Jean, Béounes, Christian, Kanoun, Karama, European Commission, DG III, Aigrain, P., editor, Aldana, F., editor, Danielmeyer, H. G., editor, Faugeras, O., editor, Gallaire, H., editor, Kowalski, R. A., editor, Lehn, J. M., editor, Levi, G., editor, Metakides, G., editor, Oakley, B., editor, Rasmussen, J., editor, Tribolet, J., editor, Tsichritzis, D., editor, Van Overstraeten, R., editor, Wrixon, G., editor, Randell, Brian, editor, Laprie, Jean-Claude, editor, Kopetz, Hermann, editor, and Littlewood, Bev, editor

Published
1995
Full Text
View/download PDF

8. Dependability — Its Attributes, Impairments and Means

Author

Laprie, Jean-Claude, European Commission, DG III, Aigrain, P., editor, Aldana, F., editor, Danielmeyer, H. G., editor, Faugeras, O., editor, Gallaire, H., editor, Kowalski, R. A., editor, Lehn, J. M., editor, Levi, G., editor, Metakides, G., editor, Oakley, B., editor, Rasmussen, J., editor, Tribolet, J., editor, Tsichritzis, D., editor, Van Overstraeten, R., editor, Wrixon, G., editor, Randell, Brian, editor, Laprie, Jean-Claude, editor, Kopetz, Hermann, editor, and Littlewood, Bev, editor

Published
1995
Full Text
View/download PDF

17. Fault injection for formal testing of fault tolerance

Author

Avresky, Dimiter, Arlat, Jean, Laprie, Jean-Claude, and Crouzet, Yves

Subjects
Fault tolerance (Computers) -- Testing, Fault tolerance (Computers) -- Research, Reliability (Engineering) -- Models, Business, Electronics, Electronics and electrical industries
Abstract

Researchers have developed a new fault injection model, FT/TS, to test the efficacy of fault-tolerant algorithms and mechanisms within a computer system. A formal testing procedure was developed to illustrate the major components of the FT/TS model. The model's performance was verified by applying it to an existing fault-tolorant protocol. The FT/TS was able to identify two additional fault-tolerance deficiencies within the fault-tolerant protocol.

Published
1996

21. Reliability growth of fault-tolerant software

Author

Kanoun, Karama, Kaaniche, Mohamed, Beounes, Christian, Laprie, Jean-Claude, and Arlat, Jean

Subjects
Fault tolerance (Computers), Reliability (Engineering) -- Models, Business, Electronics, Electronics and electrical industries
Abstract

Many reliability models which assume stable reliability have created fault-tolerant software approaches. The recovery block and N-version programing are the two fault-tolerant software techniques investigated. The stable reliability model is changed into a model which considers reliability growth, through a transformation approach based on the hyper-exponential model. The influence of fault removal on the reliability of the fault-tolerant software approaches is identified by analytic and numeric processing of the transformed models.

Published
1993

22. X-ware reliability and availability modeling

Author

Laprie, Jean-Claude and Kanoun, Karama

Subjects
Failure Analysis, Reliability, Scientific Research, Modeling, Availability, Software Metrics, Stochastic Model, Software Design, Hardware Error, Error Analysis
Published
1992

31. The dependability approach to critical computing systems

Author

Laprie, Jean-Claude, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Nichols, Howard, editor, and Simpson, Dan, editor

Published
1987
Full Text
View/download PDF

33. Resilient Computing Curriculum

Author

Bernardeschi, Cinzia, Bloomfield, Robin, Bondavalli, Andrea, Cachin, Christian, Correia, Miguel, Dacier, Marc, Di Giandomenico, Felicita, Fabre, Jean-Charles, Harrison, Michael, Kaâniche, Mohamed, Kanoun, Karama, Lac, Chidung, Lami, Giuseppe, Laprie, Jean-Claude, Majzik, Istvan, Masci, Paolo, Palanque, Philippe, Pataricza, Andras, Pfeifer, Holger, Raynal, Michel, Simoncini, Luca, Strigini, Lorenzo, Suri, Neeraj, Urvoy-Keller, Guillaume, Veríssimo, Paulo, von Henke, Friedrich, Waeselynck, Helene, Winckler, Marco, Ahrendt, Wolfgang, Jimenez-Peris, Ricardo, Karlsson, Johan, Voges, Udo, and Baldoni, Roberto

Abstract

Submitted by Wagner Dantas (wagners@lasige.di.fc.ul.pt) on 2009-05-07T18:36:01Z No. of bitstreams: 1 09-9.pdf: 567542 bytes, checksum: b4f346f4bb0acc5e7a692308be3a2b7a (MD5) Approved for entry into archive by Paulo Urbano(pub@di.fc.ul.pt) on 2009-05-08T10:59:28Z (GMT) No. of bitstreams: 1 09-9.pdf: 567542 bytes, checksum: b4f346f4bb0acc5e7a692308be3a2b7a (MD5) Made available in DSpace on 2009-05-08T10:59:28Z (GMT). No. of bitstreams: 1 09-9.pdf: 567542 bytes, checksum: b4f346f4bb0acc5e7a692308be3a2b7a (MD5) Made available in DSpace on 2014-11-14T16:23:57Z (GMT). No. of bitstreams: 2 license.txt: 1214 bytes, checksum: 0867df17dfe35d48776d8c51843953cc (MD5) 09-9.pdf: 567542 bytes, checksum: b4f346f4bb0acc5e7a692308be3a2b7a (MD5) Previous issue date: 2009-05 European Commission through NoE IST-4-026764-NOE (ReSIST)

Published
2009

34. RKBExplorer

Author

Laprie, Jean-Claude, Glaser, Hugh, and Millard, Ian

Published
2008

39. Reliability analyses of workstation failure data

Author

Brocklehurst, Sara, Kanoun, Karama, Laprie, Jean-Claude, Littlewood, Bev, Metge, Sylvain, Mellor, Peter, Tanner, A., City University London, Équipe Tolérance aux fautes et Sûreté de Fonctionnement informatique (LAAS-TSF), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), and Université de Toulouse (UT)

Subjects
[INFO]Computer Science [cs], ComputingMilieux_MISCELLANEOUS
Abstract

International audience

Published
1999

40. Fiabilité du logiciel : de la collecte des données à l'évaluation probabiliste

Author

Kanoun, Karama, Kaâniche, Mohamed, Laprie, Jean-Claude, Équipe Tolérance aux fautes et Sûreté de Fonctionnement informatique (LAAS-TSF), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), and Université Fédérale Toulouse Midi-Pyrénées

Subjects
failure data processing, [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF], reliability growth, Software reliability
Abstract

National audience; Cet article présente une méthode d'analyse et d'évaluation de la fiabilité du logiciel basée sur le traitement des données de défaillance recueillies sur le logiciel en développement ou en exploitation. Cette méthode est progressive : elle débute par un filtrage des données collectées, se poursuit par des partitionnements des données retenues en fonction de certains critères (sévérité des défaillances, localisation des fautes, etc.), afin de permettre des analyses descriptives, des analyses de tendance et des évaluations probabilistes. L'accent est mis sur le traitement des données en temps réel pour permettre un retour d'expérience rapide. L'intérêt de la méthode est montré à travers son application à des données réelles. Sa mise en oeuvre est facilitée par un outil : SoRel dont les caractéristiques sont présentées. ABSTRACT. This article presents a method for software reliability analysis and evaluation based on processing failure data collected on the software during development or in operation. This method is progressive: filtering of the collected data, partitioning of the retained data into subsets according to some criteria (failure severity, fault location, etc.), to perform descriptive analyses, trend analyses and probabilistic evaluations. Emphasis is put on processing of the data in real time to enable early field feedback. The benefits of this method are shown through its application to real data. To make it easier to process failure data, we developed a tool, SoRel, which is presented in the last section. MOTS-CLES : Fiabilité du logiciel, croissance de fiabilité, traitement de données.

Published
1997

42. Software reliability and system reliability

Author

Laprie, Jean-Claude, Kanoun, Karama, Équipe Tolérance aux fautes et Sûreté de Fonctionnement informatique (LAAS-TSF), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), M. Lyu, Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), and Université Fédérale Toulouse Midi-Pyrénées

Subjects
[INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]
Abstract

International audience; The chapter is mainly aimed at showing that, by using deliberately simple mathematics, the classical reliability theory can be extended in order to be interpreted from both hardware and software viewpoints. This being referred to as "X-ware". It will be shown that, even though the action mechanisms of the various classes of faults may be different from a physical viewpoint according to their causes, a single formulation can be used from the reliability modeling and statistical estimation viewpoints. Having a single formulation exhibit several advantages, both theoretical and practical, such as a) easier and more consistent modeling of hardware-software systems and of hardware-software interactions, b) adaptability of models for hardware dependability to software systems and vice versa, and c) mathematical tractabliiy. The second Section gives a general overview of the dependability concepts. The third Section is devoted to the failure behavior of an X-ware system disregarding the effect of restoration actions.

Published
1996

43. Basic Concepts and Taxonomy of Dependable and Secure Computing

Author

Avizienis, Algirdas, ISR, Avizienis, Algirdas, Laprie, Jean-Claude, Randell, Brian, Landwehr, Carl, Avizienis, Algirdas, ISR, Avizienis, Algirdas, Laprie, Jean-Claude, Randell, Brian, and Landwehr, Carl

Abstract

This paper gives the main definitions relating to dependability, a generic concept including as special case such attributes as reliability, availability, safety, integrity, maintainability, etc. Security brings in concerns for confidentiality, in addition to availability and integrity. Basic definitions are given first. They are then commented upon, and supplemented by additional definitions, which address the threats to dependability and security (faults, errors, failures), their attributes, and the means for their achievement (fault prevention, fault tolerance, fault removal, fault forecasting). The aim is to explicate a set of general concepts, of relevance across a wide range of situations, and so to help communication and cooperation among a number of scientific and technical communities, including ones that are concentrating on particular types of system, of system failures, or of causes of system failures.

Published
2004

44. Architectural issues in software fault tolerance

Author

Laprie, Jean-Claude, Arlat, Jean, Beounes, Christian, Kanoun, Karama, Équipe Tolérance aux fautes et Sûreté de Fonctionnement informatique (LAAS-TSF), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, M. Lyu, Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), and Université de Toulouse (UT)

Subjects
[INFO]Computer Science [cs], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, ComputingMilieux_MISCELLANEOUS
Abstract

International audience

Published
1995

45. FAULT TOLERANT COMPUTING

Author

Laprie, Jean-Claude, Arlat, Jean, Beounes, Christian, Kanoun, Karama, Équipe Tolérance aux fautes et Sûreté de Fonctionnement informatique (LAAS-TSF), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), and Université Fédérale Toulouse Midi-Pyrénées

Subjects
[INFO]Computer Science [cs]
Abstract

This paper is devoted to an overview of software fault tolerance by means of design diversity, i.e. the production of two or more systems aimed at delivering the same service through separate designs and realizations. The first section is devoted to a unified presentation of the approaches for software-fault tolerance; in addition to the recovery blocks and N-version programming methods, a third type of approach is identified from the careful examination of current, real-life systems: N self-checking programming. In the second section, the three approaches to software fault tolerance are analyzed with respect to two viewpoints: dependability and cost. The third section is devoted to the definition and analysis of architectures aimed at tolerating both hardware and software faults.

Published
1994

46. VIEWPOINT.

Author

Laprie, Jean-Claude and Littlewood, Bev

Subjects
*COMPUTER software, *RISK assessment, *EMBEDDED computer systems, *EVALUATION, *COMPUTER system failures, *COMPUTER systems
Abstract

Traditionally, safety-critical control and/or monitoring computer software are assigned requirements in terms of catastrophic failure probabilities through a complex process starting with statistics on mortality, continuing through risk assessment for the determination of requirements for a given application, for example nuclear plant, civil airliner, subway, and culminating in the allocation of a reliability requirement for the control and/or monitoring system embedded in the application. The first of these clearly cannot be checked simply by testing the product. The second is on the boundary of what can be assured by such testing-based evaluation. For precomputer realizations of control and/or monitoring systems, assessment of system compliance with requirements was conducted through qualitative analyses and quantitative evaluations. In such cases, confidence in the absence of design faults' was supplied for components by experience validation and for the overall design incorporating the components by qualitative analyses such as FMEA or qualitative fault tree, based on the knowledge of the components' failure modes.

Published
1992
Full Text
View/download PDF

47. Field failures and reliability in operation

Author

Kanoun, Karama, Chillarege, Ram, Iyer, Ravishankar, Laprie, Jean-Claude, Musa, John, Équipe Tolérance aux fautes et Sûreté de Fonctionnement informatique (LAAS-TSF), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, University of Illinois at Urbana Champaign (UIUC), University of Illinois at Urbana-Champaign [Urbana], University of Illinois System-University of Illinois System, AT&T, Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), and University of Illinois System

Subjects
[INFO]Computer Science [cs], ComputingMilieux_MISCELLANEOUS
Abstract

International audience

Published
1993

48. Design for validation: An approach to systems validation

Author

Carter, William C, Dunham, Janet R, Laprie, Jean-Claude, Williams, Thomas, Howden, William, Smith, Brian, and Lewis, Carl M

Subjects
Computer Systems
Abstract

Every complex system built is validated in some manner. Computer validation begins with review of the system design. As systems became too complicated for one person to review, validation began to rely on the application of adhoc methods by many individuals. As the cost of the changes mounted and the expense of failure increased, more organized procedures became essential. Attempts at devising and carrying out those procedures showed that validation is indeed a difficult technical problem. The successful transformation of the validation process into a systematic series of formally sound, integrated steps is necessary if the liability inherent in the future digita-system-based avionic and space systems is to be minimized. A suggested framework and timetable for the transformtion are presented. Basic working definitions of two pivotal ideas (validation and system life-cyle) are provided and show how the two concepts interact. Many examples are given of past and present validation activities by NASA and others. A conceptual framework is presented for the validation process. Finally, important areas are listed for ongoing development of the validation process at NASA Langley Research Center.

Published
1989

49. Definition and analysis of hardware-and-software fault-tolerant architectures

Author

Laprie, Jean-Claude, Kanoun, Karama, Arlat, Jean, Beounes, Christian, Équipe Tolérance aux fautes et Sûreté de Fonctionnement informatique (LAAS-TSF), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Hoang Pham, Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, and R.H. Thayer, A.D. McGettick

Subjects
[INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF], [INFO]Computer Science [cs], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, ComputingMilieux_MISCELLANEOUS
Abstract

International audience

Published
1992

50. Dependability modeling of software fault-tolerant systems

Author

Arlat, Jean, Kanoun, Karama, Laprie, Jean-Claude, Équipe Tolérance aux fautes et Sûreté de Fonctionnement informatique (LAAS-TSF), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Hoang Pham, Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), and Université de Toulouse (UT)

Subjects
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, ComputingMilieux_MISCELLANEOUS
Abstract

International audience

Published
1992

Catalog

Books, media, physical & digital resources
See catalog results