See this document in CiteSeerX!

A Programming-Language Extension for Distributed Real-Time Systems (1996)  (Make Corrections)  
Jozef Hooman, Onno van Roosmalen



  Home/Search   Context   Related

 
View or download:
win.tue.nl/~hooman/DEALtech.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  cs.kun.nl/~hooman/DEALtech (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: In this paper we propose a method for extending programming languages that enables the specification of timing properties of systems. The way time is treated is not language specific and the extension can therefore be included in many existing programming languages. The presented method includes a view on the system development process. An essential feature is that it enables the construction of (hard) real-time programs that may be proven correct independently of the properties of the machines ... (Update)

Active bibliography (related documents):   More   All
0.7:   A Toolset for the Reengineering of Complex Computer.. - Kurfess, Welch..   (Correct)
0.6:   Real-time Constraint Specification in Object-Oriented Languages - Pons, Tapia (1999)   (Correct)
0.5:   Event Abstraction in Modeling Distributed Computations - Basten (1993)   (Correct)

Similar documents based on text:   More   All
0.2:   Extending Hoare Logic to Real-Time - Jozef Hooman Department (1994)   (Correct)
0.1:   Modeling and Verification of Leaders Agreement in the.. - Layouni, Hooman, Tahar (2003)   (Correct)
0.1:   Reasoning about Real-Time Programs Using Idle-Invariant.. - Ian Hayes School   (Correct)

BibTeX entry:   (Update)

@misc{ hooman-programminglanguage,
  author = "Jozef Hooman and Onno van Roosmalen",
  title = "A Programming-Language Extension for Distributed Real-Time Systems",
  url = "citeseer.ist.psu.edu/hooman96programminglanguage.html" }
Citations (may not include all citations):
352   Time, Clocks, and the Ordering of Events in a Distributed Sy.. (context) - Lamport - 1978
98   Real-Time Systems and their Programming Languages (context) - Burns, Wellings - 1989
63   Notes on Structured Programming (context) - Dijkstra - 1972
57   Real-Time Euclid: A Language for Reliable Real-Time Systems (context) - Kligerman, Stoyenko - 1986
57   Object-Oriented Real-Time Language Design: Constructs for Ti.. (context) - Ishikawa, Tokuda et al. - 1990
46   Constructing Predictable Real-Time Systems (context) - Halang, Stoyenko - 1991
35   Language Constructs for Distributed Real-Time Programming (context) - Lee, Gehlot - 1985
35   Real-Time Specification Inheritance Anomalies and Real-Time .. - Aksit, Bosch et al. - 1994
35   Software Engineering with Ada (context) - Booch - 1983
35   DROL: An Object-Oriented Programming Language for Distribute.. (context) - Takashio, Tokoro - 1992
29   Highly Efficient and Encapsulated Re-use of Synchronization .. - Matsuoka, Taura et al. - 1993
27   A modular Approach for Programming Distributed RealTime Syst.. - Ren, Agha et al. - 1996
14   Composing Synchronization and Real-Time Constraints (context) - Bergmans, Aksit
13   Extending Hoare Logic to Real-Time - Hooman - 1994
12   International Standard ANSI/ISO/IEC (context) - Reference - 1995
12   A Framework for Building Dependable Systems (context) - Burns, Lister - 1991
9   the design of the object-oriented language Sina (context) - Aksit - 1989
8   Comparative Evaluation of High-Level Real-Time Programming L.. (context) - Halang, Stoyenko - 1990
6   Advanced Fixed Priority Scheduling (context) - Burns, Wellings - 1996
5   Dedos: A Distributed Real-Time Environment (context) - Hammer - 1994
5   FLEX: A Language for Programming Flexible Real-Time Systems (context) - Lin, Liu et al. - 1991
3   Program Dependence Analysis for Concurrency Exploitation in .. (context) - Yu, Welch - 1994
2   An Assessment of the Real-time Requirements for Programming .. (context) - Gligor, Luckenbaugh - 1983
2   Event Abstraction: Some Definitions and Theorems - Kunz - 1993
1   Programming Development by Stepwise refinement (context) - Wirth - 1971

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