See this document in CiteSeerX!

Description and Schedulability Analysis of the Software  (Make Corrections)  
Architecture of an Automated Vehicle Control System Stavros Tripakis



  Home/Search   Context   Related

 
View or download:
verimag.imag.fr/~t...msoft02full.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  verimag.imag.fr/~tripaki...publis (more)
(Enter author homepages)

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

Abstract: We describe the software architecture of an automated vehicle control system implemented in the PATH lab. (Update)

Similar documents (at the sentence level):
7.0%:   Timing Analysis and Code Generation of Vehicle Control.. - Tripakis, Yovine (2001)   (Correct)

Active bibliography (related documents):   More   All
0.1:   A Hardware Scheduler for Complex Real-Time Systems - Sergio Aez Joan   (Correct)
0.1:   Fine Tuning the Scheduling of Tasks through a Genetic.. - Navet, Migge   (Correct)
0.1:   Reducing the Number of Preemptions in Standard Fixed Priority .. - Dobrin, Fohler   (Correct)

Similar documents based on text:   More   All
0.4:   New Technology - Examine The History   (Correct)
0.4:   Simulation Study of Learning Automata Games in Automated.. - Ünsal, Kachroo, Bay   (Correct)
0.4:   Executive Summary - Automation Of   (Correct)

BibTeX entry:   (Update)

@misc{ an-description,
  author = "Architecture Of An",
  title = "Description and Schedulability Analysis of the Software",
  url = "citeseer.ist.psu.edu/598364.html" }
Citations (may not include all citations):
1582   Scheduling algorithms for multiprogramming in a hard realtim.. - Liu, Layland - 1973
528   Priority inheritance protocols: An approach to real-time syn.. (context) - Sha, Rajkumar et al. - 1990
336   The rate monotonic scheduling algorithm: Exact characterizat.. (context) - Lehoczky, Sha et al. - 1989
140   Smart cars on smart roads: Problems of control (context) - Varaiya - 1993
95   A Practitioner's Handbook for Real-Time Analysis: Guide to R.. (context) - Harbour, Klein et al. - 1993
81   Fixed priority pre-emptive scheduling: An historical perspec.. (context) - Audsley, Burns et al. - 1995
69   Generalized rate-monotonic scheduling theory: A framework fo.. (context) - Sha, Rajkumar et al. - 1994
55   Fixed priority scheduling of periodic tasks with varying exe.. (context) - Harbour, Klein et al. - 1991
39   Deadline Scheduling For Real-Time Systems: EDF and Related A.. (context) - Stankovic, Spuri et al. - 1998
30   Rate monotonic analysis for real-time industrial computing (context) - Klein, Lehoczky et al. - 1994
22   real time publishersubscriber interproces communication mode.. - Gagliardi, real et al. - 1995
6   ective analysis for engineering real-time xed priority sched.. (context) - Burns, Tindell et al. - 1995
1   Timing analysis for xed-priority scheduling of hard real-tim.. (context) - Harbour, Klein et al. - 1994
1   Real Time Systems: Special Issue on Worst-Case Execution-Tim.. (context) - Puschner, Burns et al. - 2000
www.docs.uu.se/artes/wcet/
www.qnx.com/literature/whitepapers/archoverview.html
www.tripac.com/html/whitepapers/end2end.pdf

Documents on the same site (http://www-verimag.imag.fr/~tripakis/publis.html):   More
Probabilistic Model Checking: Formalisms and Algorithms.. - Courcoubetis, Tripakis (2000)   (Correct)
Modeling Urgency in Timed Systems - Bornot, Sifakis, Tripakis (1997)   (Correct)
The tool Kronos - Daws, Olivero, Tripakis, Yovine (1996)   (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