Predictably dependable computing systems: with 33 tables
Saved in:
| Format: | Book |
|---|---|
| Language: | German |
| Published: |
Berlin ; Heidelberg ; New York ; Barcelona ; Budapest ; Hong Kon
Springer
1995
|
| Series: | ESPRIT basic research series
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Literaturangaben |
| Physical Description: | XIX, 588 S. graph. Darst. |
| ISBN: | 3540593349 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV010218947 | ||
| 003 | DE-604 | ||
| 005 | 19961202 | ||
| 007 | t | ||
| 008 | 950606s1995 gw d||| |||| 00||| ger d | ||
| 016 | 7 | |a 944533485 |2 DE-101 | |
| 020 | |a 3540593349 |c : DM 140.00 |9 3-540-59334-9 | ||
| 035 | |a (OCoLC)180496315 | ||
| 035 | |a (DE-599)BVBBV010218947 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-91 |a DE-739 |a DE-706 |a DE-634 |a DE-83 | ||
| 082 | 0 | |a 004.2/1 | |
| 084 | |a ST 237 |0 (DE-625)143623: |2 rvk | ||
| 084 | |a DAT 343f |2 stub | ||
| 084 | |a DAT 286f |2 stub | ||
| 245 | 1 | 0 | |a Predictably dependable computing systems |b with 33 tables |c B. Randell ... (ed.) |
| 264 | 1 | |a Berlin ; Heidelberg ; New York ; Barcelona ; Budapest ; Hong Kon |b Springer |c 1995 | |
| 300 | |a XIX, 588 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a ESPRIT basic research series | |
| 500 | |a Literaturangaben | ||
| 650 | 0 | 7 | |a Datenverarbeitungssystem |0 (DE-588)4125229-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Zuverlässigkeitstheorie |0 (DE-588)4195525-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Zuverlässigkeit |0 (DE-588)4059245-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Software |0 (DE-588)4055382-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Fehlertoleranz |0 (DE-588)4123192-2 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 689 | 0 | 0 | |a Datenverarbeitungssystem |0 (DE-588)4125229-9 |D s |
| 689 | 0 | 1 | |a Zuverlässigkeit |0 (DE-588)4059245-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Software |0 (DE-588)4055382-6 |D s |
| 689 | 1 | 1 | |a Fehlertoleranz |0 (DE-588)4123192-2 |D s |
| 689 | 1 | 2 | |a Zuverlässigkeitstheorie |0 (DE-588)4195525-0 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Randell, Brian |e Sonstige |4 oth | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006791406&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-006791406 | |
Record in the Search Index
| _version_ | 1807323890791219200 |
|---|---|
| adam_text |
TABLE
OF
CONTENTS
CHAPTER
I.
BASIC
CONCEPTS
.
1
A.
DEPENDABILITY
-
ITS
ATTRIBUTES,
IMPAIRMENTS
AND
MEANS
.
3
JEAN-CLAUDE
LAPRIE
1
INTRODUCTION
.
3
2
BASIC
DEFINITIONS
.
3
3
ON
SYSTEM
FUNCTION,
BEHAVIOR,
AND
STRUCTURE
.
,
.
4
4
THE
ATTRIBUTES
OF
DEPENDABILITY
.
6
5
THE
IMPAIRMENTS
TO
DEPENDABILITY
.
7
6
THE
MEANS
FOR
DEPENDABILITY
.
10
7
SUMMARY
AND
CONCLUSION
.
18
ACKNOWLEDGEMENTS
.
18
REFERENCES
FOR
CHAPTER
1
.
19
CHAPTER
IL
FAULT
PREVENTION
.
25
A.
ANALYSIS
OF
SAFETY
REQUIREMENTS
FOR
PROCESS
CONTROL
SYSTEMS
.
27
TOM
ANDERSON,
ROGERIO
DE
LEMOS
AND
AMER
SAEED
1
INTRODUCTION
.
27
2
MODELLING
.
28
3
ANALYSIS
.
30
4
SAFETY
SPECIFICATION
GRAPH
.
34
5
REQUIREMENTS
ANALYSIS
.
36
6
SAFETY
ANALYSIS
.
36
7
CONCLUSIONS
.
39
ACKNOWLEDGEMENTS
.
40
B.
REAL-TIME
SYSTEM
SCHEDULING
.
41
NEIL
AUDSLEY,
ALAN
BURNS,
ROB
DAVIS,
KEN
TINDELL,
ANDY
WELLINGS
1
INTRODUCTION
.
41
2
SAFE
AND
PREDICTABLE
KERNELS
.
43
3
AN
EXTENDIBLE
MODEL
.
46
6
CONCLUSIONS
.
52
ACKNOWLEDGEMENTS
.
52
C.
THE
TIME-TRIGGERED
APPROACH
TO
REAL-TIME
SYSTEM
DESIGN
.
53
HERMANN
KOPETZ
1
INTRODUCTION
.
53
2
A
REAL-TIME
SYSTEM
MODEL
.
54
XII
TABLE
OF
CONTENTS
3
THE
TIME-TRIGGERED
DESIGN
APPROACH
.
56
4
THE
TIME-TRIGGERED
COMMUNICATION
PROTOCOL
.
61
5
CONCLUSIONS
.
65
D.
SOFTWARE
MEASUREMENT:
A
NECESSARY
SCIENTIFIC
BASIS
.
67
NORMAN
ELLIOTT
FENTON
1
INTRODUCTION.,
.
67
2
MEASUREMENT
FUNDAMENTALS
.
68
3
MEASURING
SOFTWARE
'
COMPLEXITY
'
.
71
4
UNIFYING
FRAMEWORK
FOR
SOFTWARE
MEASUREMENT
.
75
5
SUMMARY
.
78
ACKNOWLEDGEMENTS
.
78
REFERENCES
FOR
CHAPTER
II
.
79
CHAPTER
III.
FAULT
TOLERANCE
.
85
A.
FROM
RECOVERY
BLOCKS
TO
CONCURRENT
ATOMIC
ACTIONS
.
87
BRIAN
RANDELL,
ALEXANDER
ROMANOVSKY,
CECILIA
M
F
RUBIRA,
ROBERT
J
STROUD,
ZHIXUE
WU,
JIE
XU
1
INTRODUCTION
.
87
2
SYSTEM
STRUCTURING
.
88
3
BASIC
RECOVERY
BLOCKS
.
89
4
EXTENSIONS
AND
APPLICATIONS
OF
BASIC
RECOVERY
BLOCKS
.
91
5
CONCURRENT
PROGRAMS
.
93
6
ERROR
RECOVERY
IN
CONCURRENT
OBJECT-ORIENTED
SYSTEMS
.
95
7
CONCLUDING
REMARKS
.
101
ACKNOWLEDGEMENTS
.
101
B.
DEFINITION
AND
ANALYSIS
OF
HARDWARE-AND-SOFTWARE
FAULT-TOLERANT
ARCHITECTURES
.
103
JEAN-CLAUDE
LAPRIE,
JEAN
ARLAT,
CHRISTIAN
BEOUNES,
KARAMA
KANOUN
1
INTRODUCTION
.
103
2
METHODS
FOR
SOFTWARE-FAULT
TOLERANCE
.
104
3
DEFINITION
OF
HARDWARE-AND-SOFTWARE
ARCHITECTURES
.
108
4
ANALYSIS
AND
EVALUATION
OF
HARDWARE
AND-SOFTWARE
FAULT-TOLERANT
ARCHITECTURES
.
116
5
CONCLUSION
.
121
ACKNOWLEDGEMENTS
.
122
C.
FAILURE
MODE
ASSUMPTIONS
AND
ASSUMPTION
COVERAGE
.
123
DAVID
POWELL
1
INTRODUCTION
AND
OVERVIEW
.
123
2
TYPES
OF
ERRORS
.
125
3
FAILURE
MODE
ASSUMPTIONS
.
129
4
ASSUMPTION
COVERAGE
.
132
TABLE
OF
CONTENTS
XIII
5
INFLUENCE
OF
ASSUMPTION
COVERAGE
ON
SYSTEM
DEPENDABILITY:
A
CASE
STUDY
.
133
6
CONCLUSIONS
AND
FUTURE
DIRECTIONS
.
140
ACKNOWLEDGMENTS
.
140
D.
RATIONAL
DESIGN
OF
MULTIPLE-REDUNDANT
SYSTEMS:
ADJUDICATION
AND
FAULT
TREATMENT
.
141
ANDREA
BONDAVALLI,
SILVANO
CHIARADONNA,
FELICITA
DI
GIANDOMENICO,
LORENZO
STRIGINI
1
INTRODUCTION
.
141
2
THE
ADJUDICATION
PROBLEM
.
143
3
EVALUATION
AND
OPTIMISATION
OF
ADJUDICATION
FUNCTIONS
.
146
4
EXTENSIONS
AND
DISCUSSION
.
147
5
DIAGNOSIS
WITH
DYNAMIC
ERROR
PROCESSING:
SYSTEM
DESCRIPTION
AND
FAULT
ASSUMPTIONS
.
148
6
THE
COMPLETE
FAULT
TOLERANCE
STRATEGY
.
149
7
EVALUATION
.
150
8
CONCLUSIONS
.
153
E.
DYNAMIC
ADJUSTMENT
OF
DEPENDABILITY
AND
EFFICIENCY
IN
FAULT-TOLERANT
SOFTWARE
.
155
JIE
XU,
ANDREA
BONDAVALLI,
FELICITA
DI
GIANDOMENICO
1
INTRODUCTION
.
155
2
TRADEOFF
BETWEEN
SOFTWARE
DEPENDABILITY
AND
EFFICIENCY
.
156
3
SELF-CONFIGURING
OPTIMAL
PROGRAMMING
.
159
4
DESIGN
METHODOLOGY
FOR
SCOP
.
162
5
EVALUATION
.
167
6
CONCLUSIONS
.
171
F.
DESIGNING
SECURE
AND
RELIABLE
APPLICATIONS
USING
FRAGMENTATION-
REDUNDANCY-SCATTERING:
AN
OBJECT
ORIENTED
APPROACH
.
173
JEAN-CHARLES
FABRE,
YVES
DESWARTE,
BRIAN
RANDELL
1
INTRODUCTION
.
:
.
173
2
DISTRIBUTED
SYSTEM
ARCHITECTURE
AND
ASSUMPTIONS
.
175
3
FRS
DATA
PROCESSING
.
176
4
NOTION
OF
CONFIDENTIAL
INFORMATION
.
178
5
OBJECT-ORIENTED
FRS
.
179
6
IMPLEMENTATION
ISSUES
.
183
7
EXPERIMENTATION
.
185
8
CONCLUSIONS
AND
FUTURE
WORK
.
187
XIV
TABLE
OF
CONTENTS
G.
IMPLEMENTING
FAULT
TOLERANT
APPLICATIONS
USING
REFLECTIVE
OBJECT-
ORIENTED
PROGRAMMING
.
189
JEAN-CHARLES
FABRE,
VINCENT
NICOMETTE,
TANGUY
PERENNOU,
ROBERT
STROUD,
ZHIXUE
WU
1
INTRODUCTION
.
189
2
APPROACHES
TO
PROGRAMMING
FAULT
TOLERANCE
.
190
3
REFLECTION
AND
OBJECT-ORIENTED
PROGRAMMING
.
194
4
USING
META-OBJECTS
TO
SUPPORT
REPLICATION
.
198
5
IMPLEMENTATION
ISSUES
.
205
6
CONCLUSION
.
207
ACKNOWLEDGEMENTS
.
208
H.
THE
PDCS
IMPLEMENTATION
OF
MARS
HARDWARE
AND
SOFTWARE
.
209
JOHANNES
REISINGER,
ANDREAS
STEININGER,
GUNTHER
LEBER
1
INTRODUCTION
.
209
2
OVERALL
SYSTEM
STRUCTURE
.
210
3
THE
PROCESSING
NODE
.
211
4
SUPPORTING
DETERMINISTIC TIMING
BEHAVIOUR
.
217
5
ACHIEVING
FAIL-SILENT
BEHAVIOUR
.
220
6
CONCLUSIONS
.
224
ACKNOWLEDGEMENT
.
224
REFERENCES
FOR
CHAPTER
III
.
225
CHAPTER
IV.
FAULT
REMOVAL
.
239
A.
ADVANTAGES
AND
LIMITS
OF
FORMAL
APPROACHES
FOR
ULTRA-HIGH
DEPENDABILITY
.
241
MARIE-CLAUDE
GAUDEL
1
INTRODUCTION
.
241
2
IMPACT
OF
FORMAL
SPECIFICATIONS
ON
THE
SPECIFICATION
AND
VALIDATION
ACTIVITIES
.
244
3
IMPACT
OF
FORMAL
SPECIFICATIONS
ON
DESIGN
AND
CODING,
AND
VERIFICATION
.
247
4
CONCLUSIONS
.
251
ACKNOWLEDGEMENTS
.
251
B.
SOFTWARE
STATISTICAL
TESTING
.
253
PASCALE
THEVENOD-FOSSE,
HELENE
WAESELYNCK,
YVES
CROUZET
1
INTRODUCTION
.
253
2
STATISTICAL
TESTING
.
254
3
CASE
STUDY
FOR
SAFETY
CRITICAL
SOFTWARE
.
257
4
STATISTICAL
STRUCTURAL
TESTING
.
258
5
STATISTICAL
FUNCTIONAL
TESTING
.
265
6
SUMMARY
AND
CONCLUSION
.
272
TABLE
OF
CONTENTS
XV
C.
AN
EXPERIMENTAL
EVALUATION
OF
FORMAL
TESTING
AND
STATISTICAL
TESTING.
.273
BRUNO
MARRE,
PASCALE
THEVENOD-FOSSE,
HELENE
WAESELYNCK,
PASCALE
LE
GALL,
YVES
CROUZET
1
INTRODUCTION
.
273
2
COMPARISON
OF
FORMAL AND
STATISTICAL
TESTING
.
274
3
EXPERIMENTAL
FRAMEWORK
.
278
4
EXPERIMENTAL
RESULTS
.
279
5
CONCLUSION
AND
FUTURE
WORK
.
281
ACKNOWLEDGEMENTS
.
281
D.
TESTING
DISTRIBUTED
REAL-TIME
SYSTEMS:
AN
OVERVIEW
.
283
WERNER
SCHUTZ
1
INTRODUCTION
.
283
2
DEFINITIONS
.
284
3
THE
FUNDAMENTAL
TEST
PROBLEMS
.
286
4
ADVANTAGES
OF
TIME-TRIGGERED
OVER
EVENT-TRIGGERED
SYSTEMS
.
294
5
A
TEST
METHODOLOGY
FOR
MARS
.
295
6
CONCLUSIONS
.
296
REFERENCES
FOR
CHAPTER
IV
.
299
CHAPTER
V.
FAULT
FORECASTING
-
FAULT
INJECTION
.
307
A.
INTEGRATION
AND
COMPARISON
OF
THREE
PHYSICAL
FAULT
INJECTION
TECHNIQUES
.
309
JOHAN
KARLSSON,
PETER
FOLKESSON,
JEAN
ARLAT,
YVES
CROUZET,
GUNTHER
LEBER
1
INTRODUCTION
.
309
2
THE
FAULT
INJECTION
TECHNIQUES
.
310
3
ERROR
DETECTION
MECHANISMS
OF
THE
MARS
SYSTEM
.
314
4
MEASUREMENTS
.
315
5
COMMON
EXPERIMENTAL
SET-UP
.
317
6
RESULTS
.
319
7
CONCLUSION
.
327
B.
FAULT
INJECTION
INTO
VHDL
MODELS:
THE
MEFISTO
TOOL
.
329
ERIC
JENN,
JEAN
ARLAT,
MARCUS
RIMEN,
JOAKIM
OHLSSON,
JOHAN
KARLSSON
1
INTRODUCTION
.
329
2
FAULT
INJECTION
INTO
VHDL
MODELS
.
330
3
OVERVIEW
OF
MEFISTO
.
334
4
MAIN
USER
INTERACTIONS
IN
THE
SETUP
PHASE
.
336
5
A
CASE
STUDY:
THE
DP32
PROCESSOR
.
338
6
SUMMARY
AND
CONCLUDING
REMARKS
.
345
ACKNOWLEDGEMENTS
.
346
XVI
TABLE
OF
CONTENTS
C.
ESTIMATORS
FOR
FAULT
TOLERANCE
COVERAGE
EVALUATION
.
347
DAVID
POWELL,
ELIANE
MARTINS,
JEAN
ARLAT,
YVES
CROUZET
1
INTRODUCTION
.
347
2
DEFINITIONS
.
348
3
COVERAGE
ESTIMATION
.
349
4
EARLY
ESTIMATIONS
.
358
5
THE
NO-REPLY
PROBLEM
.
362
6
DISCUSSION
AND
CONCLUSIONS
.
365
REFERENCES
FOR
CHAPTER
V
.
367
CHAPTER
VI.
FAULT
FORECASTING
-
SOFTWARE
RELIABILITY
.
371
A.
SOFTWARE
RELIABILITY
TREND
ANALYSES:
FROM
THEORETICAL
TO
PRACTICAL
CONSIDERATIONS
.
373
KARAMA
KANOUN,
JEAN-CLAUDE
LAPRIE
1
INTRODUCTION
.
373
2
RELIABILITY
GROWTH
CHARACTERIZATION
.
374
3
TREND
ANALYSIS
.
379
4
APPLICATION
TO
REAL-LIFE
SYSTEMS
.
385
5
CONCLUSION
.
387
ACKNOWLEDGEMENTS
.
388
B.
THE
TRANSFORMATION
APPROACH
TO
THE
MODELING
AND
EVALUATION
OF
RELIABILITY
AND
AVAILABILITY
GROWTH
.
389
JEAN-CLAUDE
LAPRIE,
CHRISTIAN
BEOUNES,
MOHAMED
KAANICHE,
KARAMA
KANOUN
1
INTRODUCTION
.
389
2
CHARACTERIZATION
OF
SYSTEM
BEHAVIOR
.
390
3
THE
HYPEREXPONENTIAL
MODEL
FOR
RELIABILITY
AND
AVAILABILITY
GROWTH
.393
4
MODELING
OF
RELIABILITY
AND
AVAILABILITY
GROWTH
OF
MULTI-COMPONENT
SYSTEMS
.
399
5
CONCLUSION
.
405
ACKNOWLEDGEMENTS
.
406
C.
NEW
WAYS
TO
GET
ACCURATE
RELIABILITY
MEASURES
.
407
SARAH
BROCKLEHURST,
BEV
LITTLEWOOD
1
INTRODUCTION
.
407
2
THE
NEW
APPROACH
.
409
3
EXAMPLE
.
413
4
DISCUSSION
.
416
APPENDIX
1
.
417
APPENDIX
2
.
418
TABLE
OF
CONTENTS
XVII
D.
COMBINATION
OF
PREDICTIONS
OBTAINED
FROM
DIFFERENT
SOFTWARE
RELIABILITY
GROWTH
MODELS
.
421
MINYAN
LU,
SARAH
BROCKLEHURST,
BEV
LITTLEWOOD
1
INTRODUCTION
.
421
2
RAW
RELIABILITY
GROWTH
MODELS
.
422
3
TECHNIQUES
FOR
ANALYSING
PREDICTIVE
QUALITY
AND
RECALIBRATION
.
423
4
COMBINED
PREDICTION
METHODS
.
428
5
ANALYSIS
OF
COMBINED
PREDICTIONS
.
432
6
CONCLUSIONS
.
437
E.
DEPENDABILITY
MODELLING
AND
EVALUATION
OF
SOFTWARE
FAULT-TOLERANT
SYSTEMS
.
441
JEAN
ARLAT,
KARAMA
KANOUN,
JEAN-CLAUDE
LAPRIE
1
INTRODUCTION
.
441
2
RECOVERY
BLOCKS
.
443
3
N-VERSION
PROGRAMMING
.
447
4
RB
AND
NVP
COMPARISON
.
455
5
CONCLUSION
.
456
F.
DEPENDABILITY
ANALYSIS
OF
ITERATIVE
FAULT-TOLERANT
SOFTWARE
CONSIDERING
CORRELATION
.
459
ANDREA
BONDAVALLI,
SILVANO
CHIARADONNA,
FELICITA
DI
GIANDOMENICO,
LORENZO
STRIGINI
1
INTRODUCTION
.
459
2
SYSTEM
AND
HYPOTHESES
.
460
3
MODELS
WITH
INDEPENDENCE
AMONG
SUCCESSIVE
INPUTS
.
461
4
LIMITS
OF
THESE
MODELS
AND
POSSIBLE
IMPROVEMENTS
.
465
5
CORRELATION
BETWEEN
SUCCESSIVE
ITERATIONS,
ALLOWING
MISSION
FAILURES
FROM
REPEATED
BENIGN
FAILURES
.
467
6
CONCLUSIONS
.
471
G.
VALIDATION
OF
ULTRA-HIGH
DEPENDABILITY
FOR
SOFTWARE-BASED
SYSTEMS
.
473
BEV
LITTLEWOOD,
LORENZO
STRIGINI
1
INTRODUCTION
.
473
2
SPECIFICATION
OF
DEPENDABILITY
REQUIREMENTS
.
475
3
RELIABILITY
GROWTH
MODELLING
.
476
4
INFERENCES
TO
BE
DRAWN
FROM
PERFECT
WORKING
.
479
5
OTHER
SOURCES
OF
EVIDENCE
FOR
VALIDATION
.
480
6
DISCUSSION
.
486
APPENDIX
.
490
ACKNOWLEDGMENTS
.
493
REFERENCES
FOR
CHAPTER
VI
.
495
XVIII
TABLE
OF
CONTENTS
CHAPTER
VII.
FAULT
FORECASTING
-
LARGE
STATE
SPACE
MODELLING
.
505
A.
COMPUTABLE
DEPENDABILITY
BOUNDS
FOR
LARGE
MARKOV
CHAINS
.
507
PIERRE-JACQUES
COURTOIS,
PIERRE
SEMAL
1
INTRODUCTION
.
507
2
AN
EXAMPLE
.
508
3
A
USEFUL
POLYHEDRON
.
509
4
THE
METHOD
.
510
5
ITERATI
VE
PROCEDURE
.
511
6
TRIDIAGONAL
MATRICES
.
513
7
BOUNDING
THE
MARGINAL
DISTRIBUTION
.
513
8
COMPLEXITY
.
513
9
THE
EXAMPLE
REVISITED
.
515
10
CONCLUSIONS
.
518
B.
FAST
NUMERICAL
SOLUTION
FOR
A
CLASS
OF
MARKOV
MODELS
.
519
RAM
CHAKKA,
1ST
MITRANI
1
INTRODUCTION
.
519
2
THE
MODEL
.
520
3
SPECTRAL
EXPANSION
SOLUTION
.
;
.
522
4
COMPARISON
WITH
THE
MATRIX-GEOMETRIC
SOLUTION
.
526
5
CONCLUSIONS
.
532
ACKNOWLEDGEMENTS
.
532
REFERENCES
FOR
CHAPTER
VH
.
533
CHAPTER
VIII.
FAULT
FORECASTING
-
SECURITY
MODELLING
.
535
A.
TOWARDS
OPERATIONAL
MEASURES
OF
COMPUTER
SECURITY:
CONCEPTS
.
537
BEV
LITTLEWOOD,
SARAH
BROCKLEHURST,
NORMAN
FENTON,
PETER
MELLOR,
STELLA
PAGE,
DAVID
WRIGHT,
JOHN
DOBSON,
JOHN
MCDERMID,
DIETER
GOLLMANN
1
INTRODUCTION
.
537
2
TERMINOLOGICAL
ANALOGIES
BETWEEN
SECURITY
AND
RELIABILITY
.
538
3
DIFFICULTIES
AND
DEFICIENCIES
OF
THE
ANALOGIES
.
542
4
PROBABILISTIC
REQUIREMENTS
FOR
AN
OPERATIONAL
SECURITY
MODEL
.
548
5
CONCLUSIONS
.
552
ACKNOWLEDGEMENTS
.
553
B.
TOWARDS
OPERATIONAL
MEASURES
OF
COMPUTER
SECURITY:
EXPERIMENTATION
AND
MODELLING
.
555
TOMAS
OLOVSSON,
ERLAND
JONSSON,
SARAH
BROCKLEHURST,
BEV
LITTLEWOOD
1
BACKGROUND
.
555
2
CONDITIONS
FOR
THE
EXPERIMENTATION
.
556
3
THE
PILOT
EXPERIMENT
.
560
4
THE
FULL-SCALE
EXPERIMENT
.
562
TABLE
OF
CONTENTS
XIX
5
LESSONS
FOR
QUANTITATIVE
ASSESSMENT
.
566
6
CONCLUSIONS
.
568
REFERENCES
FOR
CHAPTER
VIII
.
571
PDCS
PUBLICATIONS
.
573 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV010218947 |
| classification_rvk | ST 237 |
| classification_tum | DAT 343f DAT 286f |
| ctrlnum | (OCoLC)180496315 (DE-599)BVBBV010218947 |
| dewey-full | 004.2/1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.2/1 |
| dewey-search | 004.2/1 |
| dewey-sort | 14.2 11 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV010218947</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19961202</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">950606s1995 gw d||| |||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">944533485</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540593349</subfield><subfield code="c">: DM 140.00</subfield><subfield code="9">3-540-59334-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)180496315</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010218947</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.2/1</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 237</subfield><subfield code="0">(DE-625)143623:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 343f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 286f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Predictably dependable computing systems</subfield><subfield code="b">with 33 tables</subfield><subfield code="c">B. Randell ... (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ; Heidelberg ; New York ; Barcelona ; Budapest ; Hong Kon</subfield><subfield code="b">Springer</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIX, 588 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">ESPRIT basic research series</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Datenverarbeitungssystem</subfield><subfield code="0">(DE-588)4125229-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Zuverlässigkeitstheorie</subfield><subfield code="0">(DE-588)4195525-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Zuverlässigkeit</subfield><subfield code="0">(DE-588)4059245-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Software</subfield><subfield code="0">(DE-588)4055382-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Fehlertoleranz</subfield><subfield code="0">(DE-588)4123192-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Datenverarbeitungssystem</subfield><subfield code="0">(DE-588)4125229-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Zuverlässigkeit</subfield><subfield code="0">(DE-588)4059245-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Software</subfield><subfield code="0">(DE-588)4055382-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Fehlertoleranz</subfield><subfield code="0">(DE-588)4123192-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Zuverlässigkeitstheorie</subfield><subfield code="0">(DE-588)4195525-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Randell, Brian</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006791406&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006791406</subfield></datafield></record></collection> |
| genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content |
| genre_facet | Aufsatzsammlung |
| id | DE-604.BV010218947 |
| illustrated | Illustrated |
| indexdate | 2024-08-14T01:19:35Z |
| institution | BVB |
| isbn | 3540593349 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006791406 |
| oclc_num | 180496315 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-739 DE-706 DE-634 DE-83 |
| owner_facet | DE-91 DE-BY-TUM DE-739 DE-706 DE-634 DE-83 |
| physical | XIX, 588 S. graph. Darst. |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| publisher | Springer |
| record_format | marc |
| series2 | ESPRIT basic research series |
| spelling | Predictably dependable computing systems with 33 tables B. Randell ... (ed.) Berlin ; Heidelberg ; New York ; Barcelona ; Budapest ; Hong Kon Springer 1995 XIX, 588 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier ESPRIT basic research series Literaturangaben Datenverarbeitungssystem (DE-588)4125229-9 gnd rswk-swf Zuverlässigkeitstheorie (DE-588)4195525-0 gnd rswk-swf Zuverlässigkeit (DE-588)4059245-5 gnd rswk-swf Software (DE-588)4055382-6 gnd rswk-swf Fehlertoleranz (DE-588)4123192-2 gnd rswk-swf (DE-588)4143413-4 Aufsatzsammlung gnd-content Datenverarbeitungssystem (DE-588)4125229-9 s Zuverlässigkeit (DE-588)4059245-5 s DE-604 Software (DE-588)4055382-6 s Fehlertoleranz (DE-588)4123192-2 s Zuverlässigkeitstheorie (DE-588)4195525-0 s Randell, Brian Sonstige oth DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006791406&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Predictably dependable computing systems with 33 tables Datenverarbeitungssystem (DE-588)4125229-9 gnd Zuverlässigkeitstheorie (DE-588)4195525-0 gnd Zuverlässigkeit (DE-588)4059245-5 gnd Software (DE-588)4055382-6 gnd Fehlertoleranz (DE-588)4123192-2 gnd |
| subject_GND | (DE-588)4125229-9 (DE-588)4195525-0 (DE-588)4059245-5 (DE-588)4055382-6 (DE-588)4123192-2 (DE-588)4143413-4 |
| title | Predictably dependable computing systems with 33 tables |
| title_auth | Predictably dependable computing systems with 33 tables |
| title_exact_search | Predictably dependable computing systems with 33 tables |
| title_full | Predictably dependable computing systems with 33 tables B. Randell ... (ed.) |
| title_fullStr | Predictably dependable computing systems with 33 tables B. Randell ... (ed.) |
| title_full_unstemmed | Predictably dependable computing systems with 33 tables B. Randell ... (ed.) |
| title_short | Predictably dependable computing systems |
| title_sort | predictably dependable computing systems with 33 tables |
| title_sub | with 33 tables |
| topic | Datenverarbeitungssystem (DE-588)4125229-9 gnd Zuverlässigkeitstheorie (DE-588)4195525-0 gnd Zuverlässigkeit (DE-588)4059245-5 gnd Software (DE-588)4055382-6 gnd Fehlertoleranz (DE-588)4123192-2 gnd |
| topic_facet | Datenverarbeitungssystem Zuverlässigkeitstheorie Zuverlässigkeit Software Fehlertoleranz Aufsatzsammlung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006791406&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT randellbrian predictablydependablecomputingsystemswith33tables |