Safety of Computer Control Systems 1983 (Safecomp '83). Achieving Safe Real Time Computer Systems

Content: 
Titles in the IFAC Proceedings Series, Page ii
Front Matter, Page iii
Copyright, Page iv
THIRD IFAC/IFIP WORKSHOP ON SAFETY OF COMPUTER CONTROL SYSTEMS (SAFECOMP \'83), Page v
PREFACE, Page vii, John A. Baylis
SAFETY INTEGRITY ASSESSMENT OF PROGRAMMABLE ELECTRONIC SYSTEMS, Pages 1-12, B.K. Daniels, R. Bell, R.I. Wright
RELIABILITY ANALYSIS (HARDWARE) OF A CORE TEMPERATURE SAFETY SYSTEM, Pages 13-21, V. Siciliano
APPLICATION OF FINITE STATE MODELS FOR SYSTEM DESIGN AND RELIABILITY ASSESSMENT, Pages 23-28, R.E. Bloomfield
RELIABILITY PREDICTION: A MATTER OF LOGIC, Pages 29-35, L.N. Harris
MODULAR ENCAPSULATIONS COMMUNICATING BETWEEN CLEAN INTERFACES AND THE UNAVOIDABLE OVERHEAD, Pages 37-43, R.C.J. Hicks
INCORPORATION OF RECOVERY AND REPAIR TIME IN THE RELIABILITY MODELLING OF FAULT-TOLERANT SYSTEM, Pages 45-52, Y.W. Yak, T.S. Dillon, K.E. Forward
SOFTWARE SECURITY ANALYSIS — A SHORT APPRECIATION, Pages 53-58, J.W. Steed, G.B. Shore
PRACTICAL FAULT TOLERANT SOFTWARE FOR ASYNCHRONOUS SYSTEMS, Pages 59-65, R.H. Campbell, T. Anderson, B. Randell
THE IMPACT OF SOFTWARE FAULT TOLERANT TECHNIQUES ON SOFTWARE COMPLEXITY IN REAL TIME SYSTEMS, Pages 67-73, K.S. Lew, K.E. Forward, T.S. Dillon
THE APPLICATION OF FAULT TOLERANT TECHNIQUES TO A REAL TIME SYSTEM, Pages 75-82, P.R. Jackson, B.A. White
FAIL-SAFE COMPUTER-BASED PLANT PROTECTION SYSTEMS, Pages 83-94, A.B. Keats
THE MAN-MACHINE INTERFACE FOR A FAULT TOLERANT CONTROL SYSTEM, Pages 95-99, J.H. Wensley
FAULT DETECTION AND RECOVERY TECHNIQUES IN CUTLASS, Page 101, P.G. Bishop
FAULT-AVOIDANCE AND FAULT-REMOVAL FEATURES OF THE COMPUTER-AIDED DEVELOPMENT AND SUPPORT SYSTEM: EPOS, Pages 103-110, P. Baur
THE SPECIFICATION SYSTEM X-SPEX — INTRODUCTION AND EXPERIENCE, Pages 111-118, G. Dahll, J. Lahti
A LANGUAGE FOR FORMAL DESCRIPTION OF REAL TIME SYSTEMS, Pages 119-126, F. Boussinot, R. Martin, G. Memmi, G. Ruggiu, J. Vapné
SOFTWARE QUALITY CONTROL AND ASSURANCE, Pages 127-136, J.A. Dobbins, R.D. Buck
SOFTWARE QUALITY — A PRACTICAL APPROACH, Pages 137-143, N.C. Thomas, E.A. Straker
QUALITY OF THE SOFTWARE DEVELOPMENT PROCESS, Pages 145-152, K. Frühauf, H. Sandmayr
BUILDING RELIABLE SOFTWARE FOR SPACELAB, Pages 153-158, P.J. Robinson, R.K. Atkins
SOFTWARE FOR COMPUTERS IN SAFETY SYSTEMS OF NUCLEAR POWER PLANTS, Pages 159-165, J.M. Gallagher
VERIFICATION OF SAFETY, Pages 167-174, N.G. Leveson
SAFETY ASSESSMENT OF THE SOFTWARE OF A CONTROL ROD MOTION COMPUTER, Pages 175-182, G. Glöe, E.-U. Mainka, O. Nordland, G. Rauch, U. Schmeil, J. Märtz
SOFTWARE VALIDATION FOR A RAILWAY SIGNALLING SYSTEM, Pages 183-193, R.C. Short
A PRACTICAL METHODOLOGY FOR SAFETY SOFTWARE DEVELOPMENT, VERIFICATION & VALIDATION, Pages 195-196, R. Galanti Occulti, B. Massa, V. Siciliano, G.D. Viano
MINOS: SYSTEMS RELIABILITY AND REUSEABLE SOFTWARE, Pages 197-200, R.M.G. Perkin
PLC\'S INTO OFFSHORE SHUT-DOWN SYSTEMS, Pages 201-206, P. Chamoux, O. Schmid
A HIGH INTEGRITY SOFTWARE BASED TURBINE GOVERNING SYSTEM, Pages 207-218, J.C. Higgs
COORDINATED CONTROL OF ELECTRICAL DRIVES, Pages 219-223, S. Keresztély
EXPERIENCE WITH THE INSTALLATION OF SOFTWARE QUALITY ASSURANCE IN SMALL EMBEDDED-COMPUTER PROJECTS, Page 225, D.G. Jenkins
ELECTROMAGNETIC COMPATIBILITY OF MARINE COMPUTER SYSTEMS, Pages 227-231, H. Templin
THE ADNET COMMUNICATIONS SYSTEM: INTER-PROCESS COMMUNICATION IN A FAULT TOLERANT LOCAL AREA NETWORK, Pages 233-238, W.L. Lakin, M.R. Moulding
EVALUATION OF A BACK-UP ACTIVATION MECHANISM TO ACHIEVE FAIL-SAFE OPERATION IN DISTRIBUTED MULTIPROCESS SYSTEMS, Pages 239-245, J.F. Pamies, J.A. Rubio Sola
A HIGHLY AVAILABLE MULTIMICROPROCESSOR SYSTEM FOR REAL-TIME APPLICATIONS, Pages 247-253, P. Ciompi, L. Simoncini, M. La Manna, C. Lissoni, I.R. Martin
TREX/MCS: A FAULT TOLERANT MULTICOMPUTER SYSTEM, Pages 255-260, Y. Matsumoto, H. Nakamura
REBECCA: A DEPENDABLE COMMUNICATION SUPPORT SYSTEM FOR A DISTRIBUTED MONITORING AND SAFETY SYSTEM, Pages 261-268, J.P. Blanquart, K. Kanoun, J.C. Laprie, M. Rodrigues Dos Santos
AUTHOR INDEX, Page 269