Bruno Abrantes Basseto

  • Citations Per Year
Learn More
0 7 4 0 7 4 5 9 / 0 3 / $ 1 7 . 0 0 © 2 0 0 3 I E E E damage. But even if the software does exactly what it was specified to do, it still might not be safe if the operation scenario was unknown or not previously evaluated.1 The verification of all important aspects of safety-critical systems is obligatory, because it can save human lives and material(More)
When microprocessors are used in a safety critical application, the software can be responsible for safety functions. Furthermore, software is also responsible for the implementation of the Fault Cover Factor, especially hardware faults. In this paper are discussed some important aspects that must be considered in a safety analysis work. Also it’s proposed(More)
  • 1