Elena Fersman  Home/Search
Context Related
| publications.uu.se...e_uu_diva3767.pdf 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: it.uu.se/research/diss/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This thesis presents a framework for design, analysis, and implementation of embedded systems. We adopt a model of timed automata extended with asynchronous processes i.e. tasks triggered by events. A task is an executable program characterized by its worst-case execution time and deadline, and possibly other parameters such as priorities etc. for scheduling. The main idea is to associate each location of an automaton with a task (or a set of tasks). A transition leading to a location denotes... (Update)
Context of citations to this paper: More
...the number of tasks involved in the data sharing. More recently these results are extended to handle precedence and resource constraints [8] and implemented in Times. 3.2 Code Generation The second main function of the tool is code generation. We consider automata extended with...
Cited by: More
TIMES: a Tool for Schedulability Analysis and Code .. - Amnell, Fersman.. (2003) (Correct)
Active bibliography (related documents): More All
0.9: Timed Automata with Asynchronous Processes.. - Fersman, Pettersson, Yi (2002) (Correct)
0.9: Schedulability Analysis Using Two Clocks - Fersman, Mokrushin, Pettersson, Yi (2003) (Correct)
0.3: Interference Control for Integration of Vehicular.. - Åkerholm, Sandström, .. (Correct)
Similar documents based on text: More All
0.4: Estimation Using Low Rank Signal Models - Mahata (2003) (Correct)
0.4: Acta Universitatis Upsaliensis - Uppsala Dissertations From (Correct)
0.4: Processor Pipelines and Static Worst-Case Execution Time Analysis - Engblom (2002) (Correct)
BibTeX entry: (Update)
Elena Fersman and Wang Yi. A generic approach to schedulability analysis of real-time tasks. Submitted for publication., 2003. http://citeseer.ist.psu.edu/fersman03generic.html More
@phdthesis{ fersman03generic,
author = "E. Fersman",
title = "A generic approach to schedulability analysis of real-time systems",
series = "Acta Universitatis Upsaliensis --- Uppsala Dissertations from the Faculty
of Science and Technology",
number = "49",
pages = "162",
isbn = "91-554-5774-6",
year = "2003",
url = "citeseer.ist.psu.edu/fersman03generic.html" }
Citations (may not include all citations):1582 Scheduling algorithms for multiprogramming in a hard-real-ti.. - Liu, Layland - 1973
528 Priority inheritance protocols: An approach to real-time syn.. (context) - Sha, Rajkumar et al. - 1990
399 The algorithmic analysis of hybrid systems - Alur, Courcoubetis et al. - 1995
226 the complexity of fixed-priority scheduling of periodic (context) - Leung, Whitehead - 1982
162 Finding response times in a real-time system (context) - Joseph, Pandya - 1986
65 Real-Time Systems (context) - Liu - 2000
50 Scheduling a steel plant with timed automata - Fehnker - 1999
49 Real-Time Systems (context) - Krishna, Shin - 1997
48 Bounding pipeline and instruction cache performance (context) - Healy, Arnold et al. - 1999
44 Hard Real-Time Computing Systems (context) - Buttazzo - 1997
43 Theoretical Computer Science (context) - Liu, Joseph - 2001
34 A framework for scheduler synthesis - Altisen, Gler et al. - 1999
31 Adding time-offsets to schedulability analysis - Tindell - 1994
31 Guided Synthesis of Control Programs using UPPAAL - Hune, Larsen et al. - 2001
25 Schedulability analysis for tasks with static and dynamic of.. - Palencia, Harbour - 1998
19 Suspension automata: A decidable class of hybrid automata (context) - McManis, Varaiya - 1994
19 Modeling and analysis of real-time ada tasking programs - Corbett - 1994
16 Scheduling for embedded real-time systems (context) - Balarin, Lavagno et al. - 1998
15 Expressiveness of updatable timed automata - Bouyer, Dufourd et al. - 2000
12 Timed automata as task models for event-driven systems - Ericsson, Wall et al. - 1998
11 A methodology for the construction of scheduled systems - Altisen, Gler et al. - 2000
11 Timed automata with asynchronous processes: Schedulability a.. - Fersman, Pettersson et al. - 2002
9 Worst-case execution-time analysis for embedded real-time sy.. - Engblom, Ermedahl et al. - 2003
9 An experimental investigation of synchronisation protocols (context) - Rajkumar, Sha et al. - 1998
8 Job-shop scheduling using timed automata (context) - Abdeddam, Maler - 2001
7 Scheduler modeling based on the controller synthesis paradig.. (context) - Altisen, Gler et al. - 2002
6 Worst-case execution-time analysis for digital signal proces.. (context) - Holsti, Lngbacka et al. - 2000
5 Embedded market breaks new ground (context) - Halfhill - 2000
4 Preemptive job-shop scheduling using stopwatch automata - Abdeddam, Maler - 2002
3 Model-checking for hybrid systems by quotienting and constra.. - Cassez, Laroussinie - 2000
3 Calculating exact worst case response times for static prior.. (context) - Redell, Trngren - 2002
1 Embedded processors (context) - Turley - 2002
1 Scheduling a production line to minimize maximal tardiness (context) - Jackson - 1955
Documents on the same site (http://www.it.uu.se/research/diss/): More
Uppsala Theses In Computing Science - Term-Modal Logic And (Correct)
Comprehensive Summaries of Uppsala Dissertations - From The Faculty (Correct)
Hybrid Solvers for the Maxwell Equations in Time-Domain - Rogaway (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