Peter Krogsgaard Jensen Aalborg University Department of Computer Science Fr. ...  Home/Search
Context
Related
| cs.auc.dk/~pkj/newsletters/ju...ase.ps 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: cs.auc.dk/~pkj/newsle...overview (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 specification of the timed behavior is modeled in timed automata and checked against the generated model in order to validate their timed behavior. 1. Introduction When developing a Real-Time application it is a... (Update)
Active bibliography (related documents): More All
0.4: Automated Modeling of Real-Time Implementation - Jensen (1998) (Correct)
0.3: Operating System Resource Reservation for Real-Time and.. - Mercer (1997) (Correct)
0.2: Model Checking Java Programs Using Java PathFinder - Havelund, Pressburger (1999) (Correct)
Similar documents based on text: More All
0.0: FY00 Headquarters Communication Plan - October Ost Headquarters (2000) (Correct)
0.0: Worst-Case Execution-Time Analysis for Embedded.. - Engblom, Ermedahl.. (2000) (Correct)
0.0: The Worst Case Execution Time (WCET) Analysis Assignment - Ermedahl, Hansson (1997) (Correct)
BibTeX entry: (Update)
@misc{ jensen-automated,
author = "Peter Krogsgaard Jensen",
title = "Automated Modeling of Real-Time Implementation",
url = "citeseer.ist.psu.edu/333058.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 real-time system - Tokuda, Rao - 1990
160 Processor capacity reserves: Operating system support for mu.. - Mercer, Savage et al. - 1994
93 UPPAAL - a tool suite for automatic verification of real-tim.. - Larsen, Bengtsson et al. - 1995
69 Generalized ratemonotonic scheduling theory: A framework for.. (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 - 1995
29 Application of real-time monitoring to scheduling tasks with.. (context) - Haban, Shin - 1990
5 Formal verification of an audio/video power controller using.. - Havelund, Skou et al. - 1998
3 Artifact: A platform for evaluating real-time window system .. (context) - Sasinowski, Strosnider - 1995
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