Submission deadline: 18 January 2021
Publication: September 2021
The integration of computer systems into the interfaces to physical devices and social activities (for example, the Internet of Things (IoT) and Facebook) has grown by leaps and bounds and is now pervasive. However, there appears to be gaps in our ability to construct cyber-physical systems with the built-in design and implementation to provide the assurance that they will behave correctly. Even the definition of correct behavior is lacking. Existing tools seem to be inadequate for modeling the correct behavior of cyber-physical systems and difficult to use to provide assurances that the models are not oversimplified, are consistent with physical principles, and are implemented as specified.
Topics of interest for this special issue include, but are not limited to:
Manuscripts should not be published or currently submitted for publication elsewhere. For manuscript submission guidelines, visit www.computer.org/publications/author-resources/peer-review/magazines. When you are ready to submit, visit https://mc.manuscriptcentral.com/com-cs.
Please contact the guest editors at co9-21@computer.org.
Lead Guest Editor:
Dr. J. Bret Michael, Ph.D., Professor (tenured), Naval Postgraduate School
Co-Guest Editors:
Dr. Duminda Wijesekera, Professor (tenured), George Mason University
Dr. Doron Drusinsky, Associate Professor (tenured), Naval Postgraduate School
