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

ACM SIGPLAN Notices

Volumn 38, Issue 7, 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

COMPUTATIONAL COMPLEXITY; COMPUTER ARCHITECTURE; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; COMPUTER SOFTWARE SELECTION AND EVALUATION; EMBEDDED SYSTEMS; REAL TIME SYSTEMS; SEMANTICS;

EMBEDDED REAL-TIME SYSTEMS; SEMANTIC DIMENSION; SEMANTIC SEPARATION; SOFTWARE-THROUGH-MODELS; TIME WEAVER;

COMPUTER SOFTWARE;

EID: 1442288702     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/780731.780751     Document Type: Conference Paper

References (19)

1. Kevin Bradley. A Framework For Incorporating Real-Time Analysis Into System Desing Processes. PhD thesis, Department of Electrical and Computer Engineering, Carnegie Mellon University, 1998.
2. C. Scheidler 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 Practitioner's 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. Lui 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, pages 107-119, 1999.
19. Steve Vestal. Mode Changes in a Real-Time Architectuer Description Language. In International Workshop on Configurable Distributed Systems, March 1994.