Time weaver: A software-through-models framework for embedded real-time systems

Proceedings of the ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES)

Volumn , Issue , 2003, Pages 133-143

  De Niz, Dionisio ^a   Rajkumar, Raj ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

Couplers; Embedded; Real time; Semantic dimension; Semantic separation; Software through models

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER HARDWARE; COMPUTER OPERATING SYSTEMS; COMPUTER SIMULATION; COMPUTER SOFTWARE REUSABILITY; MIDDLEWARE; QUALITY OF SERVICE; REAL TIME SYSTEMS; RELIABILITY; SEMANTICS;

SEMANTIC DIMENSION; SEMANTIC SEPARATION; SOFTWARE PACKAGE TIME WEAVER; SOFTWARE THROUGH MODELS;

EMBEDDED SYSTEMS;

EID: 0242696251     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (19)

1. Kevin Bradley. A Framework For Incorporating Real-Time Analysis Into System Design Processes. PhD thesis, Department of Electrical and Computer Engineering, Carnegie Mellon University, 1998.
2. C. Sheidler and et al. Time-triggered architecture (TTA). Advances in Information Technologies: The Business Challenge, 1997.
3. D.B. Stewart, R.A. Volpe, and P.K. Khosla. Design of Dynamically Reconfigurable Real-Time Software Using Port-Based Objects. IEEE Transactions on Software Engineering, 23, 1997.
4. Dionisio de Niz and Raj Rajkumar. http://www.cs.cmu.edu/~rtml/timeweaverweb April 2003.
5. G.A. Agha and W. Kim. Actors: Unifying Model for Parallel and Distributed Computing. Journal of Systems Architecture, 45:1263-1277, 1999.
6. H. Ossher and P. Tarr. Multi-Dimensional Separation of Concerns in Hyperspace. Technical Report RC21452, IBM T.J. Watson Research Center, April 1999.
7. J. Davis II, Mudit Goel, Chirstopher Hylands, Bart Kienhuis, Edward A. Lee, Jie Liu, Xiaojun Liu, Lukito Muliadi, Steve Neuendorffer, John Reekie, Neil Smyth, Jeff Tsay, and Yuhong Xiong. Overview of the Ptolemy Project. Technical Report M99/37, UC Berkeley, Dept EECS, 1999.
8. J. Krueger, S. Vestal, and B. Lewis. Fitting The Pieces Together: System/Software Analysis and Code Integration Using MetaH. In IEEE 17th Annual Digital Avionics Systems Conference, November 1998.
9. Mark H. Klein, Thomas Ralya, Bill Pollak, and Ray Obenza. A Practitioners' Handbook for Real-Time Analysis: Guide to Rate Monotonic Analysis for Real-Time Systems. Kluwer Academic Publishers, 1993.
10. K. Lieberherr. Demeter and Aspect-Oriented Programming. In STJA'97 Conference, September 1997.
11. H. Kopetz and G. Gruensteidl. TTP - a protocol for fault-tolerant real-time systems. IEEE Computer, 24, 1994.
12. Edward A. Lee. What's Ahead for Embedded Software? Computer, 1, 2000.
13. Jun Li. Dependency Tracking in Real-Time Fault-Tolerant Systems. PhD thesis, Department of Electrical and Computer Engineering, Carnegie Mellon University, 2000.
14. Brian Nielsen and Gul Agha. Towards reusable real-time objects. Annals of Software Engineering, 7:257-282, 1999.
15. Liu Sha, Ragunathan Rajkumar, and John Lehoczky. Mode Change Protocols for Priority-Driven Pre-emptive Scheduling. In The Real-Time Systems Symposium, 1989.
16. Mary Shaw and David Garlan. Software Architecture: Perspectives on an Emerging Discipline. Prentice Hall, 1996.
17. S. Wang and K.G. Shin. An Architecture for Embedded Software Integration Using Reusable Components. In International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, San Jose, CA, 2000.
18. Peri Tarr, Harold Ossher, William Harrison and Jr. Stanley M. Sutton, N Degrees of Separation: Multi-Dimensional Separation of Concerns. In International Conference on Software Engineering, 107-119, 1999.
19. Steve Vestal. Mode Changes in a Real-Time Architecture Description Language. In International Workshop on Configurable Distributed Systems, March 1994.