VEST: An aspect-based composition tool for real-time systems

Real-Time Technology and Applications - Proceedings

Volumn , Issue , 2003, Pages 58-69

  Stankovic, John A ^a   Zhu, Ruiqing ^a   Poornalingam, Ram ^a   Lu, Chenyang ^b   Yu, Zhendong ^a   Humphrey, Marty ^a   Ellis, Brian ^c  

^a University of Virginia   (United States)

^b WASHINGTON UNIVERSITY IN ST LOUIS   (United States)

^c BOEING COMPANY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED EMBEDDED SYSTEM; DISTRIBUTED REAL-TIME EMBEDDED SYSTEMS; DOMAIN SPECIFIC; NON FUNCTIONAL PROPERTIES; REAL TIME PERFORMANCE;

EMBEDDED SYSTEMS; MIDDLEWARE;

REAL TIME SYSTEMS;

EID: 49649124219     PISSN: 10801812     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RTTAS.2003.1203037     Document Type: Conference Paper

References (27)

1. Audsley, N. C. (1991) Optimal Priority Assignment and Feasibility of Static Priority Tasks with Arbitrary Start Times, Tech. Report YCS 164, University of York, York, England.
2. Bettati, R., (1994) End-to-End Scheduling to Meet Deadlines in Distributed Systems, PhD Thesis, Department of Computer Science, University of Illinois at Urbana-Champaign.
3. Booch G. (1987) Software Components with Ada: Structures, Tools and Subsystems. Benjamin-Cummings, Redwood City, CA.
4. Gill, C., Levine, D. and Schmidt, D. (2000) The Design and Performance of a Real-Time CORBA Scheduling Service, Real-Time Systems, 20(2), Kluwer.
5. Gray, J., Bapty, T., Neema, S., and Tuck, J. (2001), Handling Crosscutting Constraints In Domain Specific Modeling, CACM, Vol. 44, No. 10.
6. Harrison T., Levine, D. and Schmidt, D. (1997), The Design and Performance of a Real-time CORBA Event Service, Proceedings of OOPSLA '97, ACM, Atlanta, GA.
7. Hatcliff, J., et. al. (2003) Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems, ICSE, to appear.
8. Humphrey, M. and Stankovic, J., (1996) CAISARTS: A Tool for Real-Time Scheduling Assistance, IEEE Real-Time Technology and Applications Symposium.
9. Kao, B., and Garcia-Molina, H., (1994) Subtask Deadline Assignment for Complex Distributed Soft Real-time Tasks, IEEE International Conference on Distributed Computing Systems.
10. Kiczales, G., Hilsdale, E., Hugunin, J., Kersten, M., Palm, J., and Griswold, W. (2001) Getting Started With ASPECTJ, Communications of the ACM, 44(10).
11. Klein, M., Ralya, T., Pollak, B., Obenza, R., Harbour, M. G. (1993) A Practitioner's Handbook for Real-Time Analysis-Guide to Rate Monotonic Analysis for Real-Time Systems, Kluwer Academic Publishers.
12. Ledeczi A., Maroti M., Bakay A., Karsai G., Garrett J., Thomason IV C., Nordstrom G., Sprinkle J., Volgyesi P. (2001) The Generic Modeling Environment, Workshop on Intelligent Signal Processing, Budapest, Hungary.
13. Microsoft Corporation and Digital Equipment Corporation (1995) The Component Object Model Specification. Redmond, Washington.
14. Microsoft Corporation (1998) Distributed Component Object Model Protocol, version 1.0. Redmond, Washington.
15. Object Management Group (1997) The Common Object Request Broker: Architecture and Specification, Revision 2.0, formal document 97-02-25 (http://www.omg.org).
16. Palencia, J. and Gonzlez Harbour, M. (1998) Schedulability Analysis for Tasks with Static and Dynamic Offsets, Real-Time Systems Symposium.
17. Rational Software Corporation, Model Driven Development Using UML: Rational Rose http://www.rational.com/media/products/rose/D185F-Rose.pdf.
18. Reid, A., M. Flatt, L. Stoller, J. Lepreau, and E. Eide. (2000) Knit: Component Composition for Systems Software. OSDI 2000, San Diego, Calif., pp. 347-360.
19. Santarini, M, Cadence Says Platform Halves Verification Time, EEdesign, Feb. 24, 2003.
20. Short K. (1997) Component Based Development and Object Modeling. Sterling Software (http://www.cool.sterling.com).
21. Siegel J. (1998), OMG Overview: Corba and OMA in Enterprise Computing, CACM, Vol. 41, No. 10.
22. Schmidt, D., Levine, D., and Mungee, S. (1998) The Design of the TAO Real-Time Object Request Broker, Computer Communications, Special Issue on Building Quality of Service into Distributed Systems, 21(4).
23. Sharp, D. (1998) Reducing Avionics Software Cost Through Component Based Product Line Development, Software Technology Conference.
24. Stankovic, J., Zhu, R., Poornalingham, R., Lu, C., Yu, Z., Humphrey, M., and Ellis, B., VEST: An Aspect-Based Real-Time Composition Tool, University of Virginia TR-CS-2003-07, March 2003.
25. Szyperski C. (1998) Component Software Beyond Object-Oriented Programming. Addison-Wesley, ACM Press, New York.
26. Tindell, K. (1994) Adding Time-Offsets to Schedulability Analysis, Technical Report YCS 221, Dept. of Computer Science, University of York.
27. Vestal, S. (1997) MetaH Support for Real-Time Multi-Processor Avionics, Real-Time Systems Symposium.