Since 2014
Automated Modeling of Real-Time Implementation
BRICS Report Series
View Archive Info| Field | Value | |
| Title |
Automated Modeling of Real-Time Implementation
|
|
| Creator |
Jensen, Peter Krogsgaard
|
|
| Description |
This paper describes ongoing work on the automatic constructionof 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.
|
|
| Publisher |
Aarhus University
|
|
| Contributor |
—
|
|
| Date |
1998-06-21
|
|
| Type |
info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion — |
|
| Format |
application/pdf
|
|
| Identifier |
https://tidsskrift.dk/brics/article/view/19497
10.7146/brics.v5i51.19497 |
|
| Source |
BRICS Report Series; No 51 (1998): RS-51 Automated Modeling of Real-Time Implementation
BRICS Report Series; No 51 (1998): RS-51 Automated Modeling of Real-Time Implementation 1601-5355 0909-0878 |
|
| Language |
eng
|
|
| Relation |
https://tidsskrift.dk/brics/article/view/19497/17119
|
|
| Rights |
Copyright (c) 2014 BRICS Report Series
|
|