Dependable systems : software, computing, networks : research results of the DICS program / Jürg Kohlas, Bertrand Meyer, André Schiper (eds.).

Contributor(s):

Material type: Text

TextSeries: LNCS sublibrary. SL 2, Programming and software engineering. | Lecture notes in computer science ; 4028. | Lecture notes in computer science. State-of-the-art survey.Publication details: Berlin ; New York : Springer, ©2006.Description: 1 online resource (xii, 294 pages) : illustrationsContent type:

text

Media type:

computer

Carrier type:

online resource

ISBN:

9783540368236
354036823X
3540368213
9783540368212
9788354036821
8354036820

Other title:

DICS
Dependable information and communications systems

Subject(s): Genre/Form:

Additional physical formats: Print version:: Dependable systems.DDC classification:

005.3 22

LOC classification:

QA76.76.R44 D47 2006eb

Online resources:

Click here to access online

Contents:

Surveys -- Dependable software -- Dependable computing -- Dependable networks.

In: Springer e-booksSummary: 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.

Holdings ( 1 )
Title notes ( 5 )

Holdings
Item type	Current library	Collection	Call number	Status	Date due	Barcode	Item holds
eBook	e-Library	eBook LNCS		Available

Total holds: 0

Includes bibliographical references and index.

Surveys -- Dependable software -- Dependable computing -- Dependable networks.

Print version record.

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.

English.