Software reliability: achievement and assessment

Contents: Building safe software Requirements, specification and testing Quality plans as a means of coordination, and engineering improvement Design fault tolerance in practical systems Software failures are management failures STATENGINE - a software reliable digital system for synchronous engineering. Task model, dedication architecture and task language Diversity by design - reliability aspects of systems with embedded software Management metrics Systematic versus probabilistic verification efforts - some examples Data requirements for software reliability prediction How good are software reliability predictions? Entropy/information theory and (software) reliability The r le for entropy and information in software reliability The use of models in reliability Safety systems for railways Reliable funds transfer.