Functionally and Temporally Correct Simulation of Cyber-Systems for Automotive Systems

Article Details
Title:	Functionally and Temporally Correct Simulation of Cyber-Systems for Automotive Systems
Article URLs:	https://doi.org/10.1109/RTSS.2017.00014 http://doi.ieeecomputersociety.org/10.1109/RTSS.2017.00014
Alternative Article URLs:
Authors:	Kyoung-Soo We	Seoul National University, Department of Computer Science and Engineering
	Seunggon Kim	Seoul National University, Department of Computer Science and Engineering
	Wonseok Lee	Seoul National University, Department of Computer Science and Engineering
	Chang-Gun Lee	Seoul National University, Department of Computer Science and Engineering
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review. awarded
Artifact URLs:	https://github.com/rubis-lab/CPSim
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/rtss/WeKLL17
Author Comments:

IEEE Real-Time Systems Symposium, RTSS 2017