Teaching cyber-physical systems to computer scientists via modeling and verification

Authors:
Kostadin Damevski;Badreldin Altayeb;Hui Chen;David Walter
Affiliations:
Virginia State University, Petersburg, VA, USA;Virginia State University, Petersburg, VA, USA;Virginia State University, Petersburg, VA, USA;Virginia State University, Petersburg, VA, USA
Venue:
Proceeding of the 44th ACM technical symposium on Computer science education
Year:
2013

Citing 6
Cited 1

Cyber Physical Systems: Design Challenges

ISORC '08 Proceedings of the 2008 11th IEEE Symposium on Object Oriented Real-Time Distributed Computing
Using mobile phones to determine transportation modes

ACM Transactions on Sensor Networks (TOSN)
Modules in community: injecting more parallelism into computer science curricula

Proceedings of the 42nd ACM technical symposium on Computer science education
Towards a Distributed, Service-Oriented Control Infrastructure for Smart Grid

ICCPS '11 Proceedings of the 2011 IEEE/ACM Second International Conference on Cyber-Physical Systems
Using mobile phone programming to teach Java and advanced programming to computer scientists

Proceedings of the 43rd ACM technical symposium on Computer Science Education
Subgoal-labeled instructional material improves performance and transfer in learning to develop mobile applications

Proceedings of the ninth annual international conference on International computing education research

Infusing cyber-physical systems concepts into an introductory computer science course

Journal of Computing Sciences in Colleges

Quantified Score

Hi-index	0.00

Visualization

Abstract

The greater versatility and increasingly smaller sizes of computing, sensing, and networking devices have resulted in a new computing paradigm called Cyber-Physical Systems (CPSs), which integrates computation and sensing into physical processes producing a wealth of exciting applications in many domains of life, such as transportation, medicine, and agriculture. In order to equip students with the essential knowledge and skills to be successful in the future, this paradigm requires an expansion in the scope of computer science curricula to enable students to understand and overcome the complexity inherent in CPSs. In this paper, we describe our experience with teaching CPS via a set of course modules that rely heavily on modeling and verification. By using the popular Android platform, we aim to engage students to successfully build CPS applications while enhancing their understanding of intellectually challenging concepts.