Anders P. Ravn, Hans Rischel  Home/Search
Context
Related
| cs.auc.dk/research/FS/VH...RaRi99.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: verimag.imag.fr/VHS/r...citations (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . The Provably Correct Systems project [5,6] developed links between layers of formal specifications for real-time systems. These layers cover requirements capture, design, programming and code generation. In this paper we trace real-time constraints through the layers in order to inspect their changing forms. They originate in constraints on continuous dynamical models of physical phenomena. However, in a digital system it is desirable to abstract the complexities of these models to... (Update)
Active bibliography (related documents): More All
0.6: The ProCoS Approach to the Design of Real-Time Systems.. - He, Hoare, al. (1996) (Correct)
0.6: A ProCoS Project Final Report: ESPRIT Basic Research project 7071 - Bowen, al. (1996) (Correct)
0.6: A ProCoS II Project Final Report: ESPRIT Basic.. - Bowen, Hoare.. (1996) (Correct)
Similar documents based on text: More All
0.3: Hybrid Systems in TLA+ - Lamport (1993) (Correct)
0.1: Provably Correct Systems - FTRTFT'94 Tutorial - Bowen, Hoare, Hansen, Ravn.. (1994) (Correct)
0.1: Component Based Development - Where is the Place for.. - Makowski, Ravn (Correct)
BibTeX entry: (Update)
@inproceedings{ ravn99realtime,
author = "Anders P. Ravn and Hans Rischel",
title = "Real-Time Constraints Through the ProCoS Layers",
booktitle = "Correct System Design",
pages = "61-78",
year = "1999",
url = "citeseer.ist.psu.edu/ravn99realtime.html" }
Citations (may not include all citations):103 Specifying and verifying requirements of real-time systems (context) - Ravn, Rischel et al. - 1993
90 Duration calculus: Logical foundations (context) - Hansen, Chaochen - 1997
75 Timed transition systems - Henzinger, Manna et al. - 1992
32 A calculus of durations (context) - Zhou, Hoare et al. - 1991
29 PLC-Automata: A New Class of Implementable Real-Time Automat.. - Dierks - 1997
24 Refining system requirements to program specifications (context) - Olderog, Ravn et al. - 1996
10 Analyzing and synthesizing hybrid control systems (context) - Branicky - 1998
10 Refinement from a control problem to programs - Schenke, Ravn - 1996
9 The ProCoS approach to correct systems (context) - Langmaack - 1997
8 Development of safety-critical real-time systems - Rischel, Cuellar et al. - 1995
3 The ProCoS project: Provably correct systems (context) - Langmaack, Ravn - 1994
2 Modular Compiler Verification (context) - Muller-Olm - 1997
2 Engineering of realtime systems with an experiment in hybrid.. (context) - Ravn, Eriksen et al. - 1998
1 Specification and verification in dc (context) - Liu
Documents on the same site (http://www-verimag.imag.fr/VHS/resources/citations.html): More
A switched continuous model of VHS Case Study 1 - Deparade (1999) (Correct)
Modelling a Real-Time Language - Hune (1999) (Correct)
Efficient Memory Deallocation Techniques in Real-Time.. - Larsson, Pettersson, Yi (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