Skip to main content
SpringerLink
Log in
Book cover

Real Time Computing

  • Conference proceedings
  • © 1994

Overview

Editors:
  1. Wolfgang A. Halang

    1. Vakgroep Informatica, Rijksuniversiteit Groningen, Groningen, The Netherlands
      Fachbereich Elektrotechnik und Informationstechnik, FernUniversität Hagen, Hagen, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Alexander D. Stoyenko

    1. Department of Computer and Information Science, New Jersey Institute of Technology, Newark, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: NATO ASI Subseries F: (NATO ASI F, volume 127)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (131 papers)

  1. Front Matter

    Pages i-xxii
    Download chapter PDF

  2. Lectures

    1. Fundamentals of Real-Time Scheduling (Extended Abstract)

      • C. L. Liu
      Pages 1-7

    2. Algorithmic Methods for Real-Time Scheduling

      • K. Ecker
      Pages 9-29

    3. Engineering Predictable Real-Time Systems

      • Harold W. Lawson
      Pages 31-46

    4. Real-Time Operating Systems: Can Theoretical Solutions Match with Practical Needs

      • Helmut Rzehak
      Pages 47-63

    5. Real-Time Operating Systems

      • John A. Stankovic
      Pages 65-82

    6. Synchronization Techniques, Illustrated by the Concepts of the Dependable Distributed Operating System DEDOS

      • D. K. Hammer
      Pages 83-110

    7. Communications for Real-Time Industrial Control: The Design Issues

      • M. G. Rodd
      Pages 111-130

    8. Safety Engineering and Assurance for Real-Time Systems

      • John A. McDermid
      Pages 131-159

    9. Safety Licensing and Formal Correctness of High Integrity Embedded Systems

      • John Cullyer
      Pages 161-185

    10. Formal Specification and Timing Analysis of High-Integrity Real-Time Systems

      • Miguel Felder, Carlo Ghezzi, Mauro Pezzé
      Pages 187-211

    11. Predictability and Techniques for Schedulability Analysis

      • Alexander D. Stoyenko, Thomas J. Marlowe
      Pages 213-242

    12. A Distributed, Fault-Tolerant Real-Time Language

      • Günter Hommel
      Pages 243-260

    13. An Overview of Real-Time Database Systems

      • Ben Kao, Hector Garcia-Molina
      Pages 261-282

    14. Is Time a Real Time? An Overview of Time Ontology in Informatics

      • Fabio A. Schreiber
      Pages 283-307

    15. A Consensus-Based Framework for Responsive Computer System Design

      • Miroslaw Malek
      Pages 309-324

    16. Static Models and Simulation Engine for Time-Analysis and Verification of Mission-Critical Distributed Systems

      • Giovanni Cantone
      Pages 325-345

    17. Asynchronous Decentralized Realtime Computer Systems

      • E. Douglas Jensen
      Pages 347-371

    18. Design of Real-Time Fault-Tolerant Computing Stations

      • K. H. Kim
      Pages 373-400

    19. Graphical Design of Real Time Applications

      • Jacques J. Skubich, Jean Jacques Schwarz
      Pages 401-429
Back to top

Keywords

About this book

NATO's Division of Scientific and Environmental Affairs sponsored this Advan­ ced Study Institute because it was felt to be timely to cover this important and challengjng subject for the first time in the framework of NATO's ASI programme. The significance of real-time systems in everyones' life is rapidly growing. The vast spectrum of these systems can be characterised by just a few examples of increasing complexity: controllers in washing machines, air traffic control systems, control and safety systems of nuclear power plants and, finally, future military systems like the Strategic Defense Initiative (SDI). The import­ ance of such systems for the well-being of people requires considerable efforts in research and development of highly reliable real-time systems. Furthermore, the competitiveness and prosperity of entire nations now depend on the early app­ lication and efficient utilisation of computer integrated manufacturing systems (CIM), of which real-time systems are an essential and decisive part. Owing to its key significance in computerised defence systems, real-time computing has also a special importance for the Alliance. The early research and development activities in this field in the 1960s and 1970s aimed towards improving the then unsatisfactory software situation. Thus, the first high-level real-time languages were defined and developed: RTL/2, Coral 66, Procol, LTR, and PEARL. In close connection with these language develop­ ments and with the utilisation of special purpose process control peripherals, the research on real-time operating systems advanced considerably.

Editors and Affiliations

  • Vakgroep Informatica, Rijksuniversiteit Groningen, Groningen, The Netherlands

    Wolfgang A. Halang

  • Fachbereich Elektrotechnik und Informationstechnik, FernUniversität Hagen, Hagen, Germany

    Wolfgang A. Halang

  • Department of Computer and Information Science, New Jersey Institute of Technology, Newark, USA

    Alexander D. Stoyenko

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation