PRO-ELICERE: A STUDY FOR CREATE A NEW PROCESS FOR DEPENDABILITY ANALYSIS OF SPACE COMPUTER SYSTEMS

摘要

This paper presents the new approach to the computerrnsystem dependability analysis, called PRO-ELICERE,rnwhich introduces data mining concepts and intelligentrnmechanisms to decision support to analyze the potentialrnhazards and failures of a critical computer system. Also,rnare presented some techniques and tools that support therntraditional dependability analysis and briefly discussesrnthe concept of knowledge discovery and intelligentrndatabases for critical computer systems. After that,rnintroduces the PRO-ELICERE process, an intelligentrnapproach to automate the ELICERE, a process created tornextract non-functional requirements for critical computerrnsystems. The PRO-ELICERE can be used in the V&Vrnactivities in the projects of Institute of Aeronautics andrnSpace, such as the Brazilian Satellite Launcher (VLS-1).