Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective

Denis Besnard, Cristina Gacek, Cliff Jones (Autoren)

Buch | Softcover

306 Seiten

2005 | 2006 ed.
Springer London Ltd (Verlag)
978-1-84628-110-5 (ISBN)

Artikel merken

Computer-based systems are now essential to everyday life. They involve both tech- cal (hardware/software) components and human beings as active participants. Wh- ever we ?y aboard an aircraft or withdraw money from a cash point, a combination of humans, machines and software is supporting the delivery of the service. These systems and many others bene?t from the miniaturisation and cost reduction of the hardware which has made it possible for computers to be embedded everywhere. An equally remarkable development is the software involved: today, systems are built which were literally unthinkable twenty or thirty years ago. Measured in terms of their function, the productivity of their creation has also advanced enormously (largely - cause of the software infrastructure). Even the dependability of the best of todays so- ware is praiseworthy when one considers the complexity of the functionality provided. Solid engineering and the increasing adoption of methods based on ?rmly established theory are to be thanked here. However, in large and complex systems, there remain major challenges to achieving dependability when complex interactions exist between technical and human components. Large and complex things are understood as assemblages of simpler components: the way these components ?t together is the structure of the system. Structure can be real and physical, or a subjective mental tool for analysis.

The role of structure: a dependability perspective.- The role of structure: a software engineering perspective.- System Properties.- Structuring evolution: on the evolution of socio-technical systems.- Time bands in systems structure.- Human Components.- Procedures, programs and their impact on dependability.- Cognitive conflicts in dynamic systems.- Systems Descriptions.- Architectural description of dependable software systems.- Computational diagrammatics: diagrams and structure.- Ethnography and the social structure of work.- Faults, errors and failures in communications: a systems theory perspective on organisational structure.- Guaranteeing Dependability.- Security implications of structure.- The structure of software development thought.- On the use of diverse arguments to increase confidence in dependability claims.- Qualitative analysis of dependability argument structure.

Zusatzinfo	50 Illustrations, black and white; XII, 306 p. 50 illus.
Verlagsort	England
Sprache	englisch
Maße	140 x 216 mm
Themenwelt	Mathematik / Informatik ► Informatik ► Software Entwicklung
Themenwelt	Mathematik / Informatik ► Informatik ► Theorie / Studium
ISBN-10	1-84628-110-5 / 1846281105
ISBN-13	978-1-84628-110-5 / 9781846281105
Zustand	Neuware