standardization committees for life-critical computer applications, and the current state-of-art in techniques to provide and assess them. In this paper we make a quick review of the best suited methodologies for each phase of the system life-cycle. We argue that the traditional view, which distinguishes between the behaviour of hardware and software components, should be clarified by separating the logical activities in the specification and in the design phases, which can be related both to hardware and to software, and the physical defects and operation stress, which only affect hardware.

Analysis of Techniques in the Assessment of Ultra-Reliable Computerized Systems

SCHREIBER, FABIO ALBERTO;MORZENTI, ANGELO CARLO
1997

Abstract

standardization committees for life-critical computer applications, and the current state-of-art in techniques to provide and assess them. In this paper we make a quick review of the best suited methodologies for each phase of the system life-cycle. We argue that the traditional view, which distinguishes between the behaviour of hardware and software components, should be clarified by separating the logical activities in the specification and in the design phases, which can be related both to hardware and to software, and the physical defects and operation stress, which only affect hardware.
File in questo prodotto:
File Dimensione Formato  
ultrel2c.pdf

Accesso riservato

: Pre-Print (o Pre-Refereeing)
Dimensione 67.61 kB
Formato Adobe PDF
67.61 kB Adobe PDF   Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11311/526547
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact