Challenges and Future Directions of Cyber-Physical System Software

@article{Kim2010ChallengesAF,
  title={Challenges and Future Directions of Cyber-Physical System Software},
  author={K. H. Kim},
  journal={2010 IEEE 34th Annual Computer Software and Applications Conference},
  year={2010},
  pages={10-13}
}
Under the current weak state of the art in cyber-physical system (CPS) software engineering a number of problems that plague the industry cannot be contained easily. Low quality of network-based CPS software, low productivity of CPS software engineers, and low performance due to rough design and ineffective computing resource management, are some examples of the problems. Specific component technologies of which improvements are badly needed include specification, design, and guaranteeing of… CONTINUE READING
Highly Cited
This paper has 19 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-8 of 8 extracted citations

A Clock Based Framework for Specifying and Modeling the Time Constraints of Cyber Physical Systems

2013 IEEE 11th International Conference on Dependable, Autonomic and Secure Computing • 2013
View 3 Excerpts

Formal Specification of Cyber Physical Systems: Three Case Studies Based on Clock Theory

2013 IEEE International Conference on Green Computing and Communications and IEEE Internet of Things and IEEE Cyber, Physical and Social Computing • 2013

Specifying Time Constraints of Cyber Physical Systems Based on Clock Theory

2013 IEEE 16th International Conference on Computational Science and Engineering • 2013

A novel approach for designing intelligent transportation system

2012 IEEE International Conference on Systems, Man, and Cybernetics (SMC) • 2012
View 1 Excerpt

An intelligent guiding system based on Wireless Sensor Network technology

2012 International Conference on System Science and Engineering (ICSSE) • 2012
View 1 Excerpt

Review of Cyber-Physical System Architecture

2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops • 2012

References

Publications referenced by this paper.
Showing 1-10 of 10 references

Real-Time Systems - Design Principles for Distributed Embedded Applications

Real-Time Systems Series • 2011
View 3 Excerpts
Highly Influenced

Resource Scopes: Toward Language Support for Compositional Determinism

2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing • 2009
View 1 Excerpt

Realization of an Adaptive Distributed Sound System Based on Global-Time-Based Coordination and Listener Localization

2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC) • 2008

Rim, "Efficient Adaptations of the Non-blocking Buffer for Event Message Communication between Real-Time Threads

K. H. Kim, Juan Colmenares, W K.
Proc. ISORC 2007 (10th IEEE CS Int'l Symp. on Object & Component Oriented Real-Time Distributed Computing), • 2007
View 2 Excerpts

Proving the Correctness of Multiprocess Programs

IEEE Transactions on Software Engineering • 1977
View 2 Excerpts