logo BDSP

Base documentaire


  1. Methodology and tool for measurement-based dependability evaluation of digital systems in critical applications.

    Article, Communication - En anglais

    Proceedings of the 1995 Nuclear Science Symposium & Medical Conference, NSS/MIC. Part 2 (of 3). San Francisco, CA, USA, 1995/10/21 - 1995/10/28.

    This paper presents an overview of a measurement-based methodology for dependability evaluation of critical digital systems and describes a software tool under development for it.

    The approach is based on measurements of operational systems and on dependability models to provide quantitative reliability and availability assessments with stated confidence levels.

    The methodology is described, and some of the lessons learned in its early use are discussed.

    The design of a software tool to implement the methodology is outlined and the current experience in applying the methodology is summarized.

    Mots-clés Pascal : Théorie, Système commande numérique, Génie logiciel assisté, Simulation ordinateur, Fiabilité, Disponibilité, Système sécurité, Analyse système, Méthode statistique, Saisie donnée, Centrale nucléaire, Expérience

    Mots-clés Pascal anglais : Measurement based dependability evaluation, Theory, Numerical control systems, Computer aided software engineering, Computer simulation, Reliability, Availability, Security systems, Systems analysis, Statistical methods, Data acquisition, Nuclear power plants, Experiments

    Logo du centre Notice produite par :
    Inist-CNRS - Institut de l'Information Scientifique et Technique

    Cote : 96-0313340

    Code Inist : 001D06D04D. Création : 10/04/1997.