His work concerned the gamma-ray decay of nuclear systems directly after formation and the development of a data-handling system involving design of electronics and programming of real-time software.
Nevertheless, software - especially real-time embedded software - remains risky and is pervasive, and it is crucial not to give in to complacency.
His research focuses on software construction, in particular methods and tools for automating the development of real-time embedded software and for component-based embedded software systems.
Atom is a domain-specific language (DSL) in Haskell, for designing real-time embedded software.
TenAsys (rhymes with tenacious) is a privately owned company providing real-time software and services based on the x86 Intel Architecture and Microsoft Windows operating system.
For many of us, commuting is part of the daily routine, but with real-time software, drivers can get more informed travel information.
You see, the very exciting thing about multimedia from Ready Systems' point of view is that it requires real-time software.
The enforced use of automatic garbage collection means that writing real-time software can be difficult in Java.
The real-time software provides a secure environment for communication and sharing among multiple parties.
PSDL is a prototype description language to describe real-time software.