P.K. Jensen  Home/Search
Context Related
| brics.dk/RS/98/Ref...ICSRS9851.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: brics.dk/RS/98/Ref/BRICSRS98... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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 speci cation of the timed behavior is modeled in timed automata and checked against the generated model in order to validate their timed behavior. (Update)
Cited by: More
Modeling and Analyzing Runtime Properties of Complex Embedded.. - Andersson (Correct)
Active bibliography (related documents): More All
0.5: Efficient Timed Reachability Analysis using Clock Difference.. - Behrmann, al. (1998) (Correct)
0.4: Automated Modeling of Real-Time Implementation - Peter Krogsgaard Jensen (Correct)
0.3: Operating System Resource Reservation for Real-Time and.. - Mercer (1997) (Correct)
Similar documents based on text: More All
1.2: Normalization by Evaluation with Typed Abstract Syntax - Danvy, Rhiger, Rose (2001) (Correct)
1.2: A Simple Take on Typed Abstract Syntax in Haskell-like Languages - Danvy, Rhiger (2000) (Correct)
1.2: A Unifying Approach to Goal-Directed Evaluation - Danvy, Grobauer, Rhiger (2001) (Correct)
BibTeX entry: (Update)
P. K. Jensen. Automated modeling of real-time implementation. Technical Report BRICS RS-98-51, University of Aalborg, December 1998. http://citeseer.ist.psu.edu/jensen98automated.html More
@misc{ jensen98automated,
author = "P. Jensen",
title = "Automated modeling of real-time implementation",
text = "P. K. Jensen. Automated modeling of real-time implementation. Technical
Report BRICS RS-98-51, University of Aalborg, December 1998.",
year = "1998",
url = "citeseer.ist.psu.edu/jensen98automated.html" }
Citations (may not include all citations):528 Priority inheritance protocols: An approach to real-time syn.. (context) - Sha, Rajkumar et al. - 1990
206 Real-time mach: Towards a predictable realtime system - Tokuda, Rao - 1990
160 Processor capacity reserves: Operating system support for mu.. - Mercer, Savage et al. - 1994
69 Generalized rate-monotonic scheduling theory: A framework fo.. (context) - Sha, Rajkumar et al. - 1994
61 Integrating the timing analysis of pipelining and instructio.. (context) - Healy, Whalley et al. - 1995
48 Predictable communication protocol processing in real-time m.. (context) - Lee, Yosida et al. - 1996
34 HRT-HOOD: A Structured Design Method for Hard Real-Time Ada .. (context) - Wellings, Burns
29 Application of real-time monitoring to scheduling tasks with.. (context) - Haban, Shin - 1990
12 Uppaal - a tool suite for automatic veri cation of real-time.. - Larsen, Bengtsson et al. - 1995
3 Artifact: A platform for evaluating real-time window system .. (context) - Sasinowski, Strosnider - 1995
2 Formal veri cation audiovideo power controller using real ti.. (context) - Skou, veri et al. - 1998
Documents on the same site (http://www.brics.dk/RS/98/Ref/BRICS-RS-98-Ref/): More
The Hardness of Speeding-up Knapsack - Sen (1998) (Correct)
On the (Im)possibility of Basing Oblivious Transfer.. - Damgård.. (1998) (Correct)
Lower Bounds for Dynamic Algebraic Problems - Frandsen, al. (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC