Peter Altenbernd  Home/Search
Context Related
| clab.de/data/Publications...diss.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: clab.de/CHaRy/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Contents 1 Introduction 7 1.1 Controller Design . . . . . . . . . . . . . . . . . . . . . . . . . 8 1.2 Related Work . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 1.3 CHaRy: The C-LAB Hard Real-Time System . . . . . . . . . 11 1.4 Overview of Contents . . . . . . . . . . . . . . . . . . . . . . . 13 2 Longest-Executable-Path Search 17 2.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 2.2 Related Work on Timing Analysis . . . . . . . . . . . . . . . . 20 2.3 ... (Update)
Context of citations to this paper: More
.... formats are the graph notation required by the tool SSEA [Tei97] and a C code based representation which is used as input for CHaRy [Al96], StAl97] Summarized SEA supports the specification of systems using a well defined formal model as well as the representation of a...
...CHaRy 2 is used for timing analysis of the SpecC model in the analysis dimension, as depicted in the lower part of Fig.4. CHaRy [A196, A197, StA197] is a software synthesis tool for periodic controller applications. CHaRy allows to guarantee hard real time conditions. Due to...
Cited by: More
Embedded System Design based on Webservices - Rettberg, Thronicke (2002) (Correct)
The Specification Language SpecC within the.. - Rettberg, Rammig, .. (2000) (Correct)
Automated Design Space Exploration on System Level.. - Rettberg, Hardt.. (2000) (Correct)
Similar documents (at the sentence level):
5.3%: On the False Path Problem in Hard Real-Time Programs - Altenbernd (1996) (Correct)
Active bibliography (related documents): More All
4.3: The Slack Method: A New Method for Static Allocation of.. - Altenbernd, Hansson (1997) (Correct)
2.9: CHaRy: The C-LAB Hard Real-Time System to Support Mechatronical .. - Altenbernd (1997) (Correct)
1.2: Allocation Of Periodic Hard Real-Time Tasks - Altenbernd, Ditze (1995) (Correct)
Similar documents based on text: More All
0.2: Integration of Adaptive File Assignment into Distirbuted.. - Wedde, Stange, Lind (1996) (Correct)
0.2: The RTLinux Manifesto - Yodaiken (1999) (Correct)
0.2: BERT: A Scheduler for Best Effort and Realtime Tasks - Bavier, Peterson, Mosberger (1998) (Correct)
Related documents from co-citation: More All
3: The PARADISE design environment - Hardt, Rettberg et al. - 1999
3: Systematischer Entwurf digitaler Systeme (context) - Rammig - 1989
2: Automated Design Space Exploration on System Level for Embedded Systems - Rettberg, Hardt et al. - 2000
BibTeX entry: (Update)
Peter Altenbernd: "Timing Analysis, Scheduling, and Allocation of Periodic Hard Real-Time Tasks" Dissertation, Paderborn, 1996 http://citeseer.ist.psu.edu/altenbernd96timing.html More
@misc{ altenbernd96timing,
author = "P. Altenbernd",
title = "Timing Analysis, Scheduling, and Allocation of Periodic Hard Real-Time
Tasks",
text = "Peter Altenbernd: Timing Analysis, Scheduling, and Allocation of Periodic
Hard Real-Time Tasks Dissertation, Paderborn, 1996",
year = "1996",
url = "citeseer.ist.psu.edu/altenbernd96timing.html" }
Citations (may not include all citations):2138 Genetic Algorithms in Search (context) - Goldberg - 1989
1582 Scheduling Algorithms for Multiprogramming in a Hard Real-Ti.. - Liu, Layland - 1973
686 A Guide to the Theory of NP-Completeness (context) - Garey, Johnson et al. - 1979
336 The Rate-Monotonic Scheduling Algorithm: Exact Characterisat.. (context) - Lehoczky, Sha et al. - 1989
303 Princeton University Press (context) - Ford, Fulkerson et al. - 1962
226 the Complexity of FixedPriority Scheduling of Periodic Real-.. (context) - Leung, Whitehead - 1982
162 Finding Response Times in a Real-Time System (context) - Joseph, Pandya - 1986
138 The High-Level Synthesis of Digital Systems (context) - McFarland, Parker et al. - 1990
124 Hard Real-Time Scheduling: The Deadline Monotonic Approach - Audsley, Burns et al. - 1991
102 Holistic Schedulability Analysis for Distributed Hard RealTi.. (context) - Tindell - 1993
99 An Extendible Approach for Analysing Fixed Priority Hard Rea.. - Tindell, Burns et al. - 1994
94 Information Processing Letters (context) - Joseph, in et al. - 1985
91 An Accurate Worst Case Timing Analysis for RISC Processors - Lim, Bae et al. - 1994
88 A User's Guide to Tabu Search (context) - Glover, Taillard et al. - 1993
83 A Retargetable Technique for Predicting Execution Time of Co.. - Harmon, Baker et al. - 1994
81 Fixed Priority Preemptive Scheduling: An Historical Perspect.. (context) - Audsley, Burns et al. - 1995
71 Performance Analysis of Embedded Software Using Implicit Pat.. - Li, Malik - 1995
69 Allocation and Scheduling of Complex Periodic Tasks (context) - Ramamritham - 1990
69 A General Approach to Mapping of Parallel Computation upon M.. (context) - Kim, Browne - 1988
63 Optimisation by Simulated Annealing (context) - Kirkpatrick, Gelatt et al. - 1983
61 Some Experiments in Local Microcode Compaction for Horizonta.. (context) - Davidson, Landskov et al. - 1981
55 Pipelined Processors and Worst Case Execution Times - Zhang, Burns et al.
54 Scheduling Processes with Release Times (context) - Xu, Parnas - 1990
54 Preemptive Priority Based Scheduling: An Appropriate Enginee.. - Burns - 1993
54 Evaluating Tight Execution Time Bounds of Programs by Annota.. (context) - Mok - 1989
53 Optimal Priority Assignment and Feasibility of Static Priori.. - Audsley - 1991
47 the False Path Problem in Hard Real-Time Programs - Altenbernd - 1996
47 Software Scheduling in the Co-Synthesis of Reactive Real-Tim.. - Chou, Borriello - 1994
36 Allocation of Periodic Task Modules with Precedence and Dead.. (context) - Hou, Shin - 1992
35 An Effective Heuristic Procedure for Partitioning Graphs (context) - Kernighan, Lin - 1970
34 HRT-HOOD: A Structured Design Method for Hard Real-Time Syst.. (context) - Burns, Wellings - 1994
31 Timing Verification and the Timing Analysis Program (context) - Hitchcock - 1982
31 Adding Time-Offsets To Schedulability Analysis - Tindell - 1994
30 Multiprocessor Scheduling of Processes with Release Times (context) - Xu - 1993
30 A Note on Preemptive Scheduling of Periodic Real-Time Tasks (context) - Leung, Merril - 1980
30 Integrating Functional and Temporal Domains in Logic Design (context) - McGeer, Brayton - 1991
27 The Impact of an Ada Runtime System's Performance Characteri.. - Burns, Wellings et al. - 1993
26 CHAOS ARC: Kernel Support for Multiweight Objects (context) - Gheith, Schwan - 1993
24 A Tabu Search Approach to Task Scheduling on Heterogeneous P.. - Porto, Celso - 1993
23 Static Allocation of Periodic Tasks with Precedence Constrai.. (context) - Peng, Shin - 1989
23 The End of The Line for Static Cyclic Scheduling (context) - Audsley, Tindell et al. - 1993
22 Applying Compiler Techniques to Scheduling in Real-Time Syst.. - Gopinath, Gupta - 1990
20 Allocating and Scheduling Hard Real-Time Tasks on a Point-to.. - Nicholson - 1993
20 Predicting Deterministic Executions Times of Real-Time Progr.. (context) - Park - 1992
19 Recent Results in the Theory of Machine Scheduling (context) - Lawler - 1983
17 Predicting Pipelining and Caching Behaviour of Hard Real-Tim.. - Stappert - 1997
16 Static Timing Analysis and Program Proof (context) - Chapman - 1995
15 Efficient Algorithms for Solving the False Path Problem in T.. (context) - Benkoski, VandenMeersch et al. - 1987
15 Improvements in Feasibility Testing for Real-Time Tasks (context) - Ripoll, Crespo et al. - 1996
14 An NP-Hard Problem made Easy (context) - Tindell, Burns et al. - 1992
13 Timing Variations in Dual Loop Benchmarks - Altman, Weideman - 1987
12 Efficient Algorithms for Extracting the K Most Critical Path.. (context) - Yen, Duand et al. - 1989
11 Correlation Analysis Techniques for Refining Execution Time .. - Gupta, Gopinath - 1994
11 Applicability of Simulated Annealing Methods to Real-Time Sc.. - DiNatale, Stankovic - 1995
9 Adding Instruction Cache Effect to an Exact Schedulability A.. (context) - Busquets-Mataix, Martin et al. - 1996
9 Deadline-Monotonic Software Scheduling for the CoSynthesis o.. - Altenbernd - 1995
8 Towards a Scalable Kernel Architecture - Cordsen, Schroeder-Preikschat - 1992
7 A Hybrid Genetic Algorithm Applied to Automatic Parallel Con.. (context) - Sandnes - 1996
6 A Formal Model for Coupling Computer Based Systems and Physi.. - Brielmann, Kleinjohann - 1993
6 Allocation of Periodic Hard RealTime Tasks - Altenbernd, Ditze - 1995
6 Threshold Accepting: A General Purpose Optimisation Algorith.. (context) - Duck, Scheuer - 1990
5 Efficient Static Allocation of Real-Time Tasks Using Genetic.. (context) - Baccouche - 1995
5 Fast Instruction Cache Analysis via Static Cache Simulation - Muller, Whalley - 1995
5 LoDiT - Automatisches Partitionieren von mechatronischen Sys.. (context) - Naumann, Homburg - 1996
4 Predicting Real-Time Behaviour for Data-Flow Computations (context) - Jonsson, Olsson et al. - 1995
4 A parallel localsearch Algorithm for the k-Partitioning Prob.. - Diekmann, Luling et al. - 1994
4 DReaMS -- Concepts for a D (context) - Ditze - 1995
4 Least-Space-TimeFirst Scheduling Algorithm: A Policy for Com.. (context) - Cheng, Stoyenko et al. - 1994
4 Nato Advanced Study Institute (context) - Rammig, Design - 1993
4 Analysis and Improvement of Task Schedulability in Hardware .. - Axelsson - 1995
4 Formal Timing Analysis for Distributed Real-Time Programs (context) - Wedde, Korel et al. - 1994
3 ROOM -- Real-Time ObjectOriented Modeling (context) - Selic, Gullekson et al. - 1994
3 Neural Network versus Max-Flow Algorithms for Multiprocessor.. (context) - Cardeira, Mammeri - 1996
3 An Evolutionary Strategy for Scheduling Periodic Tasks in Re.. (context) - Greenwood, Lang et al. - 1995
3 Multiprocessor Task Scheduling with Resource Requirements (context) - lazewicz, Ecker - 1994
3 A New Method for Optimisation of Allocation and Scheduling i.. (context) - Coli, Palazzari - 1995
3 Static Multiprocessor Scheduling of Periodic Real-Time Tasks.. (context) - Ronngren, Shirazi - 1995
3 Optimisation Searches Inspired by Nature (context) - Nicholson - 1995
3 Meeting Hard Real-Time Constraints Using a Client-Server Mod.. (context) - Ad'an, aes et al. - 1995
2 Techniques to Support the Use of Cache Memory in Hard Real-T.. (context) - Milligan, Cragon - 1995
2 Tuning Parameters to Improve a Heuristic Method: More and Be.. (context) - Ferro, Santos et al. - 1996
2 Discrete-Time Signals and Systems (context) - Achmed, Nataranjan - 1983
2 Design and Application of a Distributed Simulation- and Runt.. - Honekamp, Stolpe - 1995
2 Using the ETA System Multiprocessor Simulator to Prepare for.. (context) - Arnold - 1987
1 A Practitioner 's Guide for Real-Time Analysis (context) - Klein, Ralya et al. - 1993
1 False Path Problem: Analysing Hierarchical Designs of Sequen.. (context) - Altenbernd, Strathaus - 1992
1 Solving the Path Sensitisation Problem in Linear Time (context) - Altenbernd, Strathaus - 1992
1 Mapping Tasks onto Processors at Run-time (context) - Hei - 1992
1 Design of a Learning Fuzzy Production System to Solve an NP-.. (context) - Orozco, Cayssials et al. - 1996
1 Short Description Model CompilerInterpreter Supporting Simul.. (context) - Description, Compiler et al. - 1991
Documents on the same site (http://www.c-lab.de/CHaRy/papers.html): More
Allocation Of Periodic Hard Real-Time Tasks - Altenbernd, Ditze (1995) (Correct)
Complete Worst-Case Execution Time Analysis of.. - Stappert, Altenbernd (1997) (Correct)
From High-Level Specifications down to Software.. - Rust, Stappert.. (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