Real-Time Systems

期刊简介：Papers published in Real-Time Systems cover, among others, the following topics: 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. Applications are found in command and control systems, process control, automated manufacturing, flight control, avionics, space avionics and defense systems, shipborne systems, vision and robotics, pervasive and ubiquitous computing, and in an abundance of embedded systems.

【译文】发表在实时系统期刊上的论文涵盖了以下主题：需求工程、规范和验证技术、设计方法和工具、编程语言、操作系统、调度算法、架构、硬件和接口、可靠性及安全性、分布式和其他新型架构、有线和无线通信、无线传感器系统、分布式数据库、人工智能技术、专家系统以及应用案例研究。应用领域包括指挥控制系统、过程控制、自动化制造、飞行控制、航空电子、航天航空电子和防御系统、舰载系统、视觉和机器人、普适计算和泛在计算，以及大量的嵌入式系统。