Borzoo Bonakdarpour
Skip Abstract Section
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.
- {1} B. Bonakdarpour and S. S. Kulkarni. Incremental synthesis of fault-tolerant real-time programs. In International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), LNCS 4280, pages 122-136, 2006. Google Scholar
Digital Library
- {2} B. Bonakdarpour and S. S. Kulkarni. Exploiting symbolic techniques in automated synthesis of distributed programs with large state space. In IEEE International Conference on Distributed Computing Systems (ICDCS), pages 3-10, 2007. Google ScholarDigital Library
- {3} G. Ciardo, G. Lüttgen, and R. Siminiceanu. Saturation: An efficient iteration strategy for symbolic state-space generation. In Tools and Algorithms for the Construction and Analysis of Systems (TACAS), pages 328-342, 2001. Google ScholarDigital Library
- {4} T. A. Henzinger. The theory of hybrid automata. In IEEE Symposium on Logic in Computer Science (LICS), pages 278-292, 1996. Google ScholarDigital Library
- {5} E. A. Lee. Cyber-physical systems - are computing foundations adequate? In Position Paper for NSF Workshop On Cyber-Physical Systems: Research Motivation, Techniques and Roadmap, October 2006.Google Scholar
- {6} J. A. Stankovic, I. Lee, A. K. Mok, and R. Rajkumar. Opportunities and obligations for physical computing systems. IEEE Computer, 38(11):23-31, 2005. Google ScholarDigital Library
Index Terms
- Challenges in transformation of existing real-time embedded systems to cyber-physical systems
Recommendations
Implementation of Hard Real-Time Embedded Control Systems
Although the domain of hard real-time systems has been thoroughly elaborated in the academic sphere, embedded computer control systems –- being an important component in mechatronic designs –- are seldom dealt with consistently. Often, off-the-shelf ...
Comments