High confidence software for cyber-physical systems

Authors:
Sherif Abdelwahed;Nagarajan Kandasamy;Aniruddha Gokhale
Affiliations:
Mississippi State University, Starkville, MS;Drexel University, Philadelphia, PA;Vanderbilt University, Nashville, TN
Venue:
Proceedings of the 2007 workshop on Automating service quality: Held at the International Conference on Automated Software Engineering (ASE)
Year:
2007

Citing 2
Cited 0

Online Control for Self-Management in Computing Systems

RTAS '04 Proceedings of the 10th IEEE Real-Time and Embedded Technology and Applications Symposium
Model-based diagnosis for information survivability

IWSAS'01 Proceedings of the 2nd international conference on Self-adaptive software: applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.