See this document in CiteSeerX!

Language And Compiler Supported Timing Analysis In Real-Time Control (2000)  (Make Corrections)  
D. Verber, M. Colnaric, W.A. Halang



  Home/Search   Context   Related

 
View or download:
in.feri.unimb.si/osebje/col...cep96.ps
rts.unimb.si/members/matjaz...cep96.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  in.feri.unimb.si/osebje/co...bib (more)
(Enter author homepages)

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

Abstract: . To ensure temporally predictable execution behaviour of an embedded hard real-- time computer control system, layer--by--layer predictability of the system must be provided. Based on a simple structured programming language, a programming environment for hard real--time applications is under construction designed to function temporally predictably, and to support an experimental hardware platform as well as a corresponding operating system. A compiler with an integrated analyser for... (Update)

Active bibliography (related documents):   More   All
1.5:   Supporting High Integrity and Behavioural Predictability .. - Colnaric, Verber, Halang (1995)   (Correct)
0.6:   Architectural Support For Predictability In Hard Real Time.. - Matjaz Colnari (1993)   (Correct)
0.3:   Modula-P - A Language for Parallel Programming Definition.. - Vollmer, Hoffart (1992)   (Correct)

Similar documents based on text:   More   All
0.6:   A Real-Time Programming Language As A Means Of.. - Colnaric, Verber, Halang   (Correct)
0.5:   A Hardware Supported Operating System Kernel for Embedded.. - Colnaric, Halang, al.   (Correct)
0.4:   Designing an Embedded Hard Real-Time System: A Case Study - Colnaric, Cheung, Halang   (Correct)

BibTeX entry:   (Update)

@misc{ verber-language,
  author = "D. Verber and M. Colnaric and W.A. Halang",
  title = "Language And Compiler Supported Timing Analysis In Real-Time Control",
  url = "citeseer.ist.psu.edu/verber00language.html" }
Citations (may not include all citations):
103   Experiments with a Program Timing Tool Based on Source-- Lev.. (context) - Park, Shaw - 1991
85   Predicting Program Execution Times by Analyzing Static and D.. (context) - Park - 1993
21   A Real--Time Language With a Schedulability Analyzer (context) - Stoyenko - 1987
19   Editorial: What is Predictability for Real--Time Systems - Stankovic, Ramamritham - 1990
8   Comparative Evaluation of High--Level Real--Time Programming.. (context) - Halang, Stoyenko - 1991
5   Architectural Support for Predictability in Hard Real-- Time.. - Colnaric, Halang
4   Predictability of Temporal Behaviour of Hard Real--Time Syst.. (context) - Colnaric - 1992
3   Design of Embedded Hard Real--Time Applications With Predict.. (context) - Colnaric, Halang - 1993
3   Definition of an Auxiliary Processor Dedicated to Real--Time.. (context) - Halang - 1988
2   A tool for estimation of real--time process execution times (context) - Verber, Colnaric - 1993
1   Transputer hardware and system design (context) - Hinton, Pinder - 1993

Documents on the same site (http://www.in.feri.uni-mb.si/osebje/colnaric/bib.htm):   More
A Real-Time Programming Language As A Means Of.. - Colnaric, Verber, Halang   (Correct)
Architectural Support For Predictability In Hard Real Time.. - Matjaz Colnari (1993)   (Correct)
Supporting High Integrity and Behavioural Predictability .. - Colnaric, Verber, Halang (1995)   (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