High confidence software for cyber-physical systems
Sherif Abdelwahed, Nagarajan Kandasamy, Aniruddha S. Gokhale · 2007
Many new and planned cyber-physical systems (CPSs) are realized as distributed real-time and embedded (DRE) systems. Examples of DRE CPSs we are interested in include data computing centers and automated warehouse management systems.