High confidence software for cyber-physical systems

Sherif Abdelwahed, Nagarajan Kandasamy, Aniruddha Gokhale
2007 Proceedings of the 2007 workshop on Automating service quality Held at the International Conference on Automated Software Engineering (ASE) - WRASQ '07  
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.
doi:10.1145/1314483.1314484 fatcat:jewmeh6ke5dltiy7xkj766e5p4