Volume 18; Issue 12

Main
IFAC Proceedings Volumes
Volume 18; Issue 12

IFAC Proceedings Volumes

Volume 18; Issue 12

1

Computer Aided Design for Reliability Assessment, A Package Specification

Featherstone, A.M., Daniels, B.K.

Journal:

IFAC Proceedings Volumes

Year:

1985

Language:

english

File:

PDF, 1.18 MB

english, 1985

2

A Soft Control Desk for Power Generation

Journal:

IFAC Proceedings Volumes

Year:

1985

Language:

english

File:

PDF, 1.93 MB

english, 1985

3

Verification and Validation Program for a Distributed Computer System for Safety Application

Rao, D.M., Bologna, S.

Journal:

IFAC Proceedings Volumes

Year:

1985

Language:

english

File:

PDF, 2.16 MB

english, 1985

4

Reliability Evaluation of a Safety Related Operating System

Ehrenberger, W., Märtz, J., Glöe, G., Mainka, E.-U.

Journal:

IFAC Proceedings Volumes

Year:

1985

Language:

english

File:

PDF, 1.54 MB

english, 1985

5

Real-Time Systems with Highly Reliable Storage Media: A Case Study

Journal:

IFAC Proceedings Volumes

Year:

1985

Language:

english

File:

PDF, 826 KB

english, 1985

6

Stable Paths for an Efficient Recovery in Real-Time Distributed Systems

Mancini, P., Ciompi, P., Simoncini, L.

Journal:

IFAC Proceedings Volumes

Year:

1985

Language:

english

File:

PDF, 1.18 MB

english, 1985

7

Modelling the Effect of Transient Faults in Fault Tolerant Computer Systems

Yak, Y.W., Forward, K.E., Dillon, T.S.

Journal:

IFAC Proceedings Volumes

Year:

1985

Language:

english

File:

PDF, 1.03 MB

english, 1985

8

Project on Diverse Software — An Experiment in Software Reliability

Bishop, P., Esp, D., Barnes, M., Humphreys, P., Dahll, G., Lahti, J., Yoshimura, S.

Journal:

IFAC Proceedings Volumes

Year:

1985

Language:

english

File:

PDF, 1.48 MB

english, 1985

9

Software Fault-Tolerance and Design Diversity: Past Experience and Future Evolution

Strigini, L., Avižienis, A.

Journal:

IFAC Proceedings Volumes

Year:

1985

Language:

english

File:

PDF, 1.75 MB

english, 1985

10

Structuring Processes as a Sequence of Nested Atomic Actions

Baiardi, F., Vanneschi, M.

Journal:

IFAC Proceedings Volumes

Year:

1985

Language:

english

File:

PDF, 1.45 MB

english, 1985

11

A Tool For Specification Analysis: "Complete" Decision Tables

Journal:

IFAC Proceedings Volumes

Year:

1985

Language:

english

File:

PDF, 590 KB

english, 1985

12

Software Tools as an Aid for Hardware and Software Reliability Analysis

Benejean, R., Michon, J.C., Signoret, J.P.

Journal:

IFAC Proceedings Volumes

Year:

1985

Language:

english

File:

PDF, 1021 KB

english, 1985

13

Design of a Self-Checking Microprocessor for Real-Time Applications

Osseiran, A., Nicolaidis, M., Schoellkopf, J.P., Courtois, B., Bied-Charreton, D., Le Trung, B.

Journal:

IFAC Proceedings Volumes

Year:

1985

Language:

english

File:

PDF, 1.30 MB

english, 1985

14

Fault Handling Capabilities in Bus Architectures

Journal:

IFAC Proceedings Volumes

Year:

1985

Language:

english

File:

PDF, 1.56 MB

english, 1985

15

Specification and Design of Reliable Systems in Terms of Unreliable Components

Journal:

IFAC Proceedings Volumes

Year:

1985

Language:

english

File:

PDF, 1.50 MB

english, 1985

16

Reliability Versus Safety

Journal:

IFAC Proceedings Volumes

Year:

1985

Language:

english

File:

PDF, 1.42 MB

english, 1985

17

Correlated Failures in Multi-Version Software 1

Knight, J.C., Leveson, N.G.

Journal:

IFAC Proceedings Volumes

Year:

1985

Language:

english

File:

PDF, 1.97 MB

english, 1985

18

Software Fault-Tolerance by Design Diversity Dedix: A Tool for Experiments

Avižienis, A., Gunningberg, P., Kelly, J.P.J., Lyu, R.T., Strigini, L., Traverse, P.J., Tso, K.S., Voges, U.

Journal:

IFAC Proceedings Volumes

Year:

1985

Language:

english

File:

PDF, 1.63 MB

english, 1985

19

A Dynamic System Architecture for Safety Related Systems

Journal:

IFAC Proceedings Volumes

Year:

1985

Language:

english

File:

PDF, 1.34 MB

english, 1985

20

Safety Integrity Assessment of Robot Systems

Khodabandehloo, K., Sayles, R.S., Husband, T.M.

Journal:

IFAC Proceedings Volumes

Year:

1985

Language:

english

File:

PDF, 1.93 MB

english, 1985

21

Reliability and Integrity of Computer Assisted Decision Making Process

Journal:

IFAC Proceedings Volumes

Year:

1985

Language:

english

File:

PDF, 863 KB

english, 1985

22

Design Verification for (Safety-Related) Software Systems

Baur, P., Lauber, R.

Journal:

IFAC Proceedings Volumes

Year:

1985

Language:

english

File:

PDF, 1.33 MB

english, 1985

23

Fuzzy Based Safety System as a Part of Computer Control Software

Vaija, P., Keskinen, K., Järveläinen, M., Dohnal, M.

Journal:

IFAC Proceedings Volumes

Year:

1985

Language:

english

File:

PDF, 936 KB

english, 1985

24

Fault Tolerant Software Techniques for a Railway Electronic Interlocking Device

Ruello, I., Torielli, F.

Journal:

IFAC Proceedings Volumes

Year:

1985

Language:

english

File:

PDF, 815 KB

english, 1985

25

Author Index

Journal:

IFAC Proceedings Volumes

Year:

1985

File:

PDF, 92 KB

1985

26

On Some New Reliability Importance Measures

Journal:

IFAC Proceedings Volumes

Year:

1985

Language:

english

File:

PDF, 853 KB

english, 1985

27

Requirements and Design for a Distributed Computerized System for Safety and Control Applications

Bagnasco, S., Manzo, F., Piazza, F.

Journal:

IFAC Proceedings Volumes

Year:

1985

Language:

english

File:

PDF, 2.18 MB

english, 1985

28

Broadcast Remote Procedure Calls for Resilient Computation

Journal:

IFAC Proceedings Volumes

Year:

1985

Language:

english

File:

PDF, 1.57 MB

english, 1985

29

Preface

Journal:

IFAC Proceedings Volumes

Year:

1985

Language:

english

File:

PDF, 207 KB

english, 1985

30

Validation of a Computerized Operator Support System

Fukutomi, S., Yoshimura, S., Takizawa, Y., Itoh, J., Mori, N.

Journal:

IFAC Proceedings Volumes

Year:

1985

Language:

english

File:

PDF, 1.70 MB

english, 1985

31

Subject Index

Journal:

IFAC Proceedings Volumes

Year:

1985

Language:

english

File:

PDF, 130 KB

english, 1985