IEEE - Institute of Electrical and Electronics Engineers, Inc. - Time-Accurate ASM as a Refinement Scheme for Worst-Case Execution Time Estimation in Hard Real-Time Systems

2016 IEEE Real-Time Systems Symposium (RTSS)

Author(s): Achraf Mguidich ; Vladimir-Alexandru Paun ; Bruno Monsuez ; Philippe Baufreton
Sponsor(s): IEEE Comput. Soc.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 November 2016
Conference Location: Porto, Portugal
Conference Date: 29 November 2016
Page(s): 372
ISBN (Electronic): 978-1-5090-5303-2
DOI: 10.1109/RTSS.2016.051
Regular:

In this paper, we introduce a new formal modeling language that enriches the ground Abstract State Machine (ASM) formalism with the notion of time. Our temporal language is part of a larger HiTAsm... View More

Advertisement