| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A Detailed Processor Model for Verification of Real-Time Applications 1
|
Wilding, Matthew
|
|
1995
|
28 |
25 |
p. 43-48
6 p.
|
artikel
|
| 2 |
A Framework for Modeling Dependable Real-Time Distributed Systems
|
Chen, Yeong-Jia
|
|
1995
|
28 |
25 |
p. 269-274
6 p.
|
artikel
|
| 3 |
A General Framework for Building Dependable Software
|
Jalate, Pankaj
|
|
1995
|
28 |
25 |
p. 7-12
6 p.
|
artikel
|
| 4 |
A Generic Architecture for Distributed, Non-Stop, Mission and Safety Critical Systems
|
Atkinson, C.
|
|
1995
|
28 |
25 |
p. 175-180
6 p.
|
artikel
|
| 5 |
Analysis of Safety Requirements for a Chemical Batch Processing System
|
de Lemos, Rogério
|
|
1995
|
28 |
25 |
p. 205-210
6 p.
|
artikel
|
| 6 |
An Experiment in Applying a Fault Injection-Based Hazard Mitigation Technique to a Software Automobile Control System
|
Voas, J.
|
|
1995
|
28 |
25 |
p. 193-198
6 p.
|
artikel
|
| 7 |
An Overview of Software Safety Standards *
|
Lawrence, J. Dennis
|
|
1995
|
28 |
25 |
p. 257-261
5 p.
|
artikel
|
| 8 |
A Usage-Model Based Approach to Test Therac-25
|
Hsia, Pei.
|
|
1995
|
28 |
25 |
p. 55-63
9 p.
|
artikel
|
| 9 |
Author Index
|
|
|
1995
|
28 |
25 |
p. 287-
1 p.
|
artikel
|
| 10 |
Automatic Verification of Consistency Between Diagrams for Process Control
|
Uraoka, T.
|
|
1995
|
28 |
25 |
p. 121-126
6 p.
|
artikel
|
| 11 |
Center for High Integrity Software System Assurance
|
Wallace, Dolores
|
|
1995
|
28 |
25 |
p. 249-255
7 p.
|
artikel
|
| 12 |
Certification of Software: Is it Necessary?
|
Egan Jr., Leo G.
|
|
1995
|
28 |
25 |
p. 231-237
7 p.
|
artikel
|
| 13 |
Commercial Digital Equipment in Nuclear Plants: The Ethos of a Black Box
|
Waite, Charles M.
|
|
1995
|
28 |
25 |
p. 71-76
6 p.
|
artikel
|
| 14 |
Complete Functional Testing of Safety Critical Systems
|
Holcombe, Mike
|
|
1995
|
28 |
25 |
p. 199-204
6 p.
|
artikel
|
| 15 |
COSMIC – PC-Based Software for Safety and Total Quality
|
Strong, Richard Allen
|
|
1995
|
28 |
25 |
p. 101-106
6 p.
|
artikel
|
| 16 |
Data Acquisition and Analysis for Automotive Air Bag Testing
|
Simon, D.
|
|
1995
|
28 |
25 |
p. 187-192
6 p.
|
artikel
|
| 17 |
DRS - Derivational Reasoning System: A Digital Design Derivation System for Hardware Synthesis *
|
Bose, Bhaskar
|
|
1995
|
28 |
25 |
p. 25-30
6 p.
|
artikel
|
| 18 |
Evaluation of Programmable Electronics Systems The German Approach
|
Weber, Markus
|
|
1995
|
28 |
25 |
p. 239-247
9 p.
|
artikel
|
| 19 |
Formal Development of a Task-Oriented Look-Ahead Storage Management Scheme
|
Toi, Ronald M.
|
|
1995
|
28 |
25 |
p. 281-286
6 p.
|
artikel
|
| 20 |
Formal Specification Applied to Control Systems Development
|
Brink, K.
|
|
1995
|
28 |
25 |
p. 115-120
6 p.
|
artikel
|
| 21 |
Formal Specification of IEEE Floating-Point Arithmetic Using PVS
|
Miner, Paul S.
|
|
1995
|
28 |
25 |
p. 31-36
6 p.
|
artikel
|
| 22 |
Hardware and Software Development for Safety-Related Medical Devices
|
Orkiszewski, Jeny
|
|
1995
|
28 |
25 |
p. 49-53
5 p.
|
artikel
|
| 23 |
Highly Reliable Systems - Hardwired or Computerized
|
Siddall, Ernest
|
|
1995
|
28 |
25 |
p. 89-94
6 p.
|
artikel
|
| 24 |
Implementing Multiple Task Modular Redundancy
|
Fuhrman, Christopher P.
|
|
1995
|
28 |
25 |
p. 275-280
6 p.
|
artikel
|
| 25 |
Improving PROPLANE, a Specifications Development Framework
|
Levy, N.
|
|
1995
|
28 |
25 |
p. 139-144
6 p.
|
artikel
|
| 26 |
Issues Associated with a Total Systems Approach to Designing Dependable Systems
|
Chisholm, G.H.
|
|
1995
|
28 |
25 |
p. 83-87
5 p.
|
artikel
|
| 27 |
Model Checking for Real-Time Specification
|
Yamane, Satoshi
|
|
1995
|
28 |
25 |
p. 145-150
6 p.
|
artikel
|
| 28 |
Modeling and Model-Based Analysis for Safety and Hazard Analysis
|
Laufenberg, Xaver
|
|
1995
|
28 |
25 |
p. 263-268
6 p.
|
artikel
|
| 29 |
Monitoring Interval Properties in Real-Time Systems
|
Vishnuvajjala, Ramakrishna V.
|
|
1995
|
28 |
25 |
p. 65-70
6 p.
|
artikel
|
| 30 |
On Requirements Analysis for Reactor Control and Protection Systems
|
Barrett, P.A.
|
|
1995
|
28 |
25 |
p. 77-82
6 p.
|
artikel
|
| 31 |
Performance-Driven Design and Analysis for Distributed Mission-Critical Systems
|
Wedde, Horst F.
|
|
1995
|
28 |
25 |
p. 151-162
12 p.
|
artikel
|
| 32 |
Preface
|
|
|
1995
|
28 |
25 |
p. vi-
1 p.
|
artikel
|
| 33 |
Real-Time Safety-Critical Systems: An Overview
|
Hilburn, Thomas
|
|
1995
|
28 |
25 |
p. 127-138
12 p.
|
artikel
|
| 34 |
Safety Licensing of Real-Time and Control Software
|
Halang, W.A.
|
|
1995
|
28 |
25 |
p. 225-230
6 p.
|
artikel
|
| 35 |
Software Engineering Issues Emerged from Critical Control Applications
|
Iglewski, Michal
|
|
1995
|
28 |
25 |
p. 13-24
12 p.
|
artikel
|
| 36 |
Software Safety Progress at NASA
|
Radley, Charles F.
|
|
1995
|
28 |
25 |
p. 181-186
6 p.
|
artikel
|
| 37 |
Specification and Verification of Safe Software Systems
|
Göhner, Peter
|
|
1995
|
28 |
25 |
p. 1-6
6 p.
|
artikel
|
| 38 |
Standardization of Formal Specification Languages
|
Milam, William P.
|
|
1995
|
28 |
25 |
p. 163-167
5 p.
|
artikel
|
| 39 |
Supervisory Control of Power Systems: Reliability Improvement
|
Hanawa, Y.
|
|
1995
|
28 |
25 |
p. 211-216
6 p.
|
artikel
|
| 40 |
Testing Critical Software: Practical Experiences
|
Hagar, Jon D.
|
|
1995
|
28 |
25 |
p. 169-174
6 p.
|
artikel
|
| 41 |
Test Problems in Fault Tolerant and Safety Related Hardware
|
Sosnowski, Janusz
|
|
1995
|
28 |
25 |
p. 37-42
6 p.
|
artikel
|
| 42 |
The Impact of Goal Setting Legislation on the Specification and Design of Safety Systems Offshore
|
Pearson, J.
|
|
1995
|
28 |
25 |
p. 217-224
8 p.
|
artikel
|
| 43 |
The Impact of Software Timing Correctness on Systems Safety
|
Motus, L.
|
|
1995
|
28 |
25 |
p. 107-114
8 p.
|
artikel
|
| 44 |
The Safety-Critical Software Evaluation Assistant (SEA) *
|
Persons, Warren L.
|
|
1995
|
28 |
25 |
p. 95-100
6 p.
|
artikel
|
| 45 |
Welcome Address
|
|
|
1995
|
28 |
25 |
p. v-
1 p.
|
artikel
|
Tijdschrift beschrijving