ACM Transactions on Computer Systems (TOCS)
State dependency issues in evaluating distributed database availability
Computer Networks and ISDN Systems
Response time and display rate in human performance with computers
ACM Computing Surveys (CSUR)
Software reliability: measurement, prediction, application
Software reliability: measurement, prediction, application
Stochastic catastrophe theory in computer performance modeling
Journal of the ACM (JACM)
A field study of the software design process for large systems
Communications of the ACM
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Two-phase locking performance and its thrashing behavior
ACM Transactions on Database Systems (TODS)
A practitioner's handbook for real-time analysis
A practitioner's handbook for real-time analysis
Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS
IEEE Transactions on Software Engineering
Software aspects of strategic defense systems
Communications of the ACM
Software Fault Tolerance
The Specification of Complex Systems
The Specification of Complex Systems
Theoretical Foundations of Computer Sciences
Theoretical Foundations of Computer Sciences
Software Maintenance Management
Software Maintenance Management
TAPSOFT '95 Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
| Hi-index | 0.00 |
A wide gap exists between the dependability figures, required by 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.