Time-Accurate ASM as a Refinement Scheme for Worst-Case Execution Time Estimation in Hard Real-Time Systems

Article Details
Title:	Time-Accurate ASM as a Refinement Scheme for Worst-Case Execution Time Estimation in Hard Real-Time Systems
Article URLs:	https://doi.org/10.1109/RTSS.2016.051 http://doi.ieeecomputersociety.org/10.1109/RTSS.2016.051
Alternative Article URLs:
Authors:	Achraf Mguidich	ENSTA ParisTech, UIIS
	Vladimir-Alexandru Paun	ENSTA ParisTech, UIIS
	Bruno Monsuez	ENSTA ParisTech, UIIS
	Philippe Baufreton	SAFRAN Electronics, Etablissement F. Hussenot - R&D
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	none
Artifact URLs:	https://github.com/HiTAsm/Timed-AsmetaL
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/rtss/MguidichPMB16
Author Comments:

IEEE Real-Time Systems Symposium, RTSS 2016