Automated Modeling of Real-Time Implementation

  • Peter Krogsgaard Jensen

Abstract

This paper describes ongoing work on the automatic construction
of formal models from Real-Time implementations. The model construction is based on measurements of the timed behavior of the threads of an implementation, their causal interaction patterns and external visible events. A specification of the timed behavior is modelled in timed automata and checked against the generated model in order to validate their timed behavior.
Published
1998-06-21
How to Cite
Jensen, P. (1998). Automated Modeling of Real-Time Implementation. BRICS Report Series, 5(51). https://doi.org/10.7146/brics.v5i51.19497