D. Niehaus

Papers

Total Citations

H-Index

About

D. Niehaus has made foundational contributions to the design and specification of predictable, high-performance real-time computing systems. His work centers on developing languages and architectures that enable engineers to build complex, hard real-time systems—such as those found in space stations and integrated robotics—with guaranteed timing behavior. A key contribution is his work on "A real-time system description language" (2002, 17 citations), which provides a formal environment for specifying system designs and automatically calculating timing properties, allowing for safe modification and analysis. Earlier, his influential paper "SpringNe: A Scalable Architecture For High Performance, Predictable, and Distributed Real-Time Computing" (1991, 12 citations) proposed a novel architecture to meet the growing demands for flexibility and dependability in next-generation critical systems. Together, these works address the challenge of coordinating human-robot teams and AI components under strict timing constraints. Niehaus’s research remains essential reading for anyone designing distributed real-time systems where predictability is paramount.