Challenges in transformation of existing real-time embedded systems to cyber-physical systems

Authors:
Borzoo Bonakdarpour
Affiliations:
Department of Computer Science and Engineering, Michigan State University, East Lansing, MI
Venue:
ACM SIGBED Review - Special issue on the RTSS forum on deeply embedded real-time computing
Year:
2008

Citing 5
Cited 0

Saturation: An Efficient Iteration Strategy for Symbolic State-Space Generation

TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
The theory of hybrid automata

LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Opportunities and Obligations for Physical Computing Systems

Computer
Exploiting Symbolic Techniques in Automated Synthesis of Distributed Programs with Large State Space

ICDCS '07 Proceedings of the 27th International Conference on Distributed Computing Systems
Incremental synthesis of fault-tolerant real-time programs

SSS'06 Proceedings of the 8th international conference on Stabilization, safety, and security of distributed systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Most research directions in the context of cyber-physical systems have focused on developing computing foundations for designing, analyzing, and reasoning about systems being constructed from scratch. However, an equally important issue is to develop sound methods for transforming existing real-time embedded systems to ones that conform with standards of modern cyber-physical systems. This essay proposes several research directions for achieving such transformation techniques.