The Community for Technology Leaders
Green Image
TABLE OF CONTENTS
Issue No. 09 - Sept. (vol. 12)
ISSN: 0098-5589
Papers

Foreword reliability and safety in real-time systems (Abstract)

Sandro Bologna , ENEA (Italian Agency for Nuclear and Alternative Energy)
Nancy G. Leveson , IBM; Computer Science at the University of California, Irvine
pp. 877-878

Call for papers (Abstract)

pp. 994-995

RT-ASLAN: A specification language for real-time systems (Abstract)

Brent Auernheimer , Department of Computer Science, University of California, Santa Barbara, CA 93106
Richard A. Kemmerer , Department of Computer Science, University of California, Santa Barbara, CA 93106
pp. 879-889

Safety analysis of timing properties in real-time systems (Abstract)

Farnam Jahanian , Department of Computer Sciences, University of Texas at Austin, Austin, TX 78712
Aloysius Ka-Lau Mok , Department of Computer Sciences, University of Texas at Austin, Austin, TX 78712
pp. 890-904

On hierarchical design of computer systems for critical applications (Abstract)

Peter Gabriel Neumann , SRI International, Menlo Park, CA 94025
pp. 905-920

Design of reliable software in distributed systems using the conversation scheme (Abstract)

Andrew M. Tyrrell , Department of Electrical, Electronic, and Systems Engineering, Coventry (Lanchester) Polytechnic, Coventry CV1 5FB, England
David J. Holding , Department of Electrical and Electronic Engineering and Applied Physics, Aston University, Birmingham B4 7ET, England
pp. 921-928

PODS — A project on diverse software (Abstract)

Peter G. Bishop , Central Electricity Research Laboratories, UK Central Electricity Generating Board, Surrey KT22 7SE, England
David G. Esp , Central Electricity Research Laboratories, UK Central Electricity Generating Board, Surrey KT22 7SE, England
Mel Barnes , UK Atomic Energy Authority
Peter Humphreys , UK Atomic Energy Authority
Gustav Dahll , Institute for Energy
Jaakko Lahti , Technical Research Center of Finland
pp. 929-940

Real-Time Euclid: A language for reliable real-time systems (Abstract)

Eugene Kligerman , Department of Computer Science, University of Toronto, Toronto, Ont. M5S 1A4, Canada
Alexander D. Stoyenko , Department of Computer Science, University of Toronto, Toronto, Ont. M5S 1A4, Canada
pp. 941-949

Evaluation of competing software reliability predictions (Abstract)

Abdalla A. Abdel-Ghaly , Centre for Software Reliability, City University, Northampton Square, London ECIV OHB, England
P. Y. Chan , Centre for Software Reliability, City University, Northampton Square, London ECIV OHB, England
Bev Littlewood , Centre for Software Reliability, City University, Northampton Square, London ECIV OHB, England
pp. 950-967

A statistical methodology for the study of the software failure process and its application to the ARGOS center (Abstract)

Robert Troy , Verilog S.A., 3, Chemin du Pigeonnier de la Cépière, 31081 Toulouse Cedex, France
Yves Romain , Verilog S.A., 3, Chemin du Pigeonnier de la Cépière, 31081 Toulouse Cedex, France
pp. 968-978

Extensions to an approach to the modeling of software testing with some performance comparisons (Abstract)

Thomas Downs , Department of Electrical Engineering, University of Queensland, St. Lucia, Qld., 4067, Australia
pp. 979-987

The application of formal methods to the assessment of high integrity software (Abstract)

Robin E. Bloomfield , Department of Scientific Services, Central Electricity Generating Board, Gravesend, Kent DA 12 2RS, England
Peter K. D. Froome , Department of Scientific Services, Central Electricity Generating Board, Gravesend, Kent DA 12 2RS, England
pp. 988-993

IASTED conference on reliability and quality control (Abstract)

B. Dhillon , Department of Mechanical Engineering, University of Ottawa, Ottawa, Ont. K1N 6N5, Canada
pp. 996
100 ms
(Ver )