TY  - BOOK
AU  - Kohlas,Jürg
AU  - Meyer,Bertrand
AU  - Schiper,André
TI  - Dependable systems: software, computing, networks : research results of the DICS program 
T2  - LNCS sublibrary. SL 2, Programming and software engineering
SN  - 9783540368236
AV  - QA76.76.R44 D47 2006eb
U1  - 005.3 22
PY  - 2006///
CY  - Berlin, New York
PB  - Springer
KW  - Computer software
KW  - Reliability
KW  - Research
KW  - Computer systems
KW  - Computer networks
KW  - Logiciels
KW  - Fiabilité
KW  - Recherche
KW  - Réseaux d'ordinateurs
KW  - Systèmes informatiques
KW  - operating systems
KW  - aat
KW  - Informatique
KW  - eclas
KW  - Operating systems (Computers)
KW  - fast
KW  - Software engineering
KW  - systemen
KW  - systems
KW  - systeemanalyse
KW  - systems analysis
KW  - computerwetenschappen
KW  - computer sciences
KW  - software engineering
KW  - Information and Communication Technology (General)
KW  - Informatie- en communicatietechnologie (algemeen)
KW  - Congress
KW  - Conference papers and proceedings
KW  - lcgft
KW  - Actes de congrès
KW  - rvmgf
N1  - Includes bibliographical references and index; Surveys -- Dependable software -- Dependable computing -- Dependable networks
N2  - Modern civilization relies on a functioning information infrastructure. As a result, dependability has become a central issue in all disciplines of systems engineering and software architecture. Theories, methods and tools that help to master the problems encountered in the design process and the management of operations are therefore of utmost importance for the future of information and communication technology. The present volume documents the results of a research program on Dependable Information and Communication Systems (DICS). The members of the project met in two workshops organized by the Hasler Foundation. This state-of-the-art survey contains 3 overview articles identifying major issues of dependability and presenting the latest solutions, as well as 10 carefully selected and revised papers depicting the research results originating from those workshops. The first workshop took place in Münchenwiler, Switzerland, in March 2004, and the second workshop, which marked the conclusion of the projects, in Löwenberg, Switzerland, in October 2005. The papers are organized in topical sections on surveys, dependable software, dependable computing, and dependable networks
UR  - https://link.springer.com/10.1007/11808107
ER  -