Automated Modeling of Real-Time Implementation
AbstractThis 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.
How to Cite
Jensen, P. K. (1998). Automated Modeling of Real-Time Implementation. BRICS Report Series, 5(51). https://doi.org/10.7146/brics.v5i51.19497
Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.