Real-Time Systems

The journal Real-Time Systems publishes papers, short papers and correspondence articles that concentrate on real-time computing principles and applications. The contents include research papers, invited papers, project reports and case studies, standards and corresponding proposals for general discussion, and a partitioned tutorial on real-time systems as a continuing series. The range of coverage is broad, including requirements engineering, specification and verification techniques, design methods and tools, programming languages, operating systems, scheduling algorithms, architecture, hardware and interfacing, dependability and safety, distributed and other novel architectures, wired and wireless communications, wireless sensor systems, distributed databases, artificial intelligence techniques, expert systems, and application case studies. Real-time systems find application in command and control systems, process control, flight control, avionics, defense systems, vision and robotics, pervasive and ubiquitous computing, and an abundance of embedded systems.

[1]  Z. Deng,et al.  A scheme for scheduling hard real-time applications in open system environment , 1997, Proceedings Ninth Euromicro Workshop on Real Time Systems.

[2]  Dino Mandrioli,et al.  Formal Methods for Real-Time Computing , 1996 .

[3]  Tei-Wei Kuo,et al.  A fixed-priority-driven open environment for real-time applications , 1999, Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054).

[4]  Giuseppe Lipari,et al.  Schedulability analysis of periodic and aperiodic tasks with resource constraints , 2000, J. Syst. Archit..

[5]  Chung Laung Liu,et al.  Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.

[6]  Daeyoung Kim,et al.  DC/sup 2/ scheduling for aperiodic tasks in strongly partitioned real-time systems , 2000, Proceedings Seventh International Conference on Real-Time Computing Systems and Applications.

[7]  Giuseppe Lipari,et al.  A bandwidth inheritance algorithm for real-time task synchronization in open systems , 2001, Proceedings 22nd IEEE Real-Time Systems Symposium (RTSS 2001) (Cat. No.01PR1420).

[8]  Wang Yi,et al.  Real-Time Behaviour of Asynchronous Agents , 1990, CONCUR.

[9]  Alan Burns,et al.  Scheduling slack time in fixed priority pre-emptive systems , 1993, 1993 Proceedings Real-Time Systems Symposium.

[10]  Daeyoung Kim,et al.  SPIRIT-/spl mu/Kernel for strongly partitioned real-time systems , 2000, Proceedings Seventh International Conference on Real-Time Computing Systems and Applications.

[11]  Yann-Hang Lee,et al.  Strongly partitioned system architecture for integration of real-time applications , 2001 .

[12]  Hermann Härtig,et al.  Pragmatic Nonblocking Synchronization for Real-Time Systems , 2001, USENIX Annual Technical Conference, General Track.

[13]  Jochen Liedtke,et al.  Toward real microkernels , 1996, CACM.

[14]  Michael Mendler,et al.  Describing a Signal Analyzer in the Process Algebra PMC - A Case Study , 1995, TAPSOFT.