VEST – A toolset for constructing and analyzing component based embedded systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2211, Issue , 2001, Pages 390-402

  Stankovic, John A ^a  

^a University of Virginia   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EMBEDDED SOFTWARE;

COMPONENT BASED; DOMAIN SPECIFIC; EMBEDDED SYSTEM DEVELOPMENT; NON FUNCTIONAL PROPERTIES; REAL TIME PERFORMANCE; TIME TO MARKET; TOOLSETS;

EMBEDDED SYSTEMS;

EID: 84947261619     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45449-7_27     Document Type: Conference Paper

References (45)

1. Arnold K, O’Sullivan B., Scheifler R.W., Waldo J., and Wollrath A.(1999) The Jini Specification. Addison-Wesley
2. Bershad B., Chambers C., Eggers S., Maeda C., McNamee D., Pardyak P. Savage S., Sirer E. (1994) SPIN-An Extensible Microkernel for Application-specific Operating System Services, University of Washington Technical Report 94-03-03
3. Beuche D., Guerrouat A., Papajewski H., Schroder-Preikschat W., Spinczyk O., and Spinczyk U. (1999) The PURE Family of Object-OrientedOp erating Systems for Deeply Embedded Systems. Proceedings of 2nd IEEE International Symposium on Object-OrientedReal-Time DistributedComputing, Saint-Malo, France
4. Beugnard A., Jezequel J., Plouzeau N. and, Watkins D. (1999) Making Components Contract Aware. Computer, 32(7), 38-45
5. Bhatti N., Hiltunen M., Schlichting R., and Chiu W. (1998) Coyote: A System for Constructing Fine-Grain Configurable Communication Services. ACM Transactions on Computer Systems, 16(4), 321-366
6. Booch G. (1987) Software Components with Ada: Structures, Tools and Subsystems. Benjamin-Cummings, Redwood City, CA
7. Campbell R., Islam N., Madany P., and Raila D. (1993) Designing andImplementing Choices: an Object-OrientedSystem in C++. Communications of the ACM, September 1993
8. Cygnus (1999) eCos-Embedded Cygnus Operating System. Technical White Paper (http://www.cygnus.com/ecos)
9. Endo Y., et. al. (1994) VINO: The 1994 Fall Harvest, TR-34-84, Harvard University
10. Engler D., Kaashoek M.F. and O’Toole J. (1995) Exokernel: An Operating System Architecture for Application-Level Resource Management. Proceedings of the 15th SOSP, Copper Mountain, CO
11. Ford B., Back G., Benson G., Lepreau J., Lin A., and Shivers O. (1997) The Flux OSKit: A Substrate for Kernel andLanguage Research. Proceedings of the 16th ACM Symposium on Operating Systems Principles, Saint-Malo, France
12. Friedrich, L., J. Stankovic, M. Humphrey, M. Marley, and J. Haskins. (2001). A Survey of Configurable, Component-Based Operating Systems for Embedded Applications, IEEE Micro, Vol. 21, No. 3, May-June, pp. 54-68
13. Gabber E., Small C., Bruno J., Brustoloni J., and Silberschatz A. (1999) The Pebble Component-BasedOp erating System. Proceedings of the USENIX Annual Technical Conference. Monterey, California, USA
14. Haskins J., Stankovic J., (2000), muOS, TR, University of Virginia, in preparation
15. Helander J. and Forin A.(1998) MMLite: A Highly ComponentizedSystem Architecture. Proceedings of the Eighth ACM SIGOPS European Workshop. Sintra, Portugal
16. Hildebrand D. (1992) An Architectural Overview of QNX. Proceedings of the USENIX Workshop on Micro-kernels andOther Kernel Architectures. Seattle, WA
17. Honeywell DOME User Guide, http://www.htc.honeywell.com/dome/support.htm.documentation
18. IntegratedChip ware IcWorkShop (http://www.chipware.com/)
19. Lopes, C., and Kiczales G. (1997), D: A Language Framework for Distributed Programming, TR SPL97-010, Xerox Parc
20. Kon F., Singhai A., Campbell R. H., Carvalho D., Moore R., and Ballesteros F. (1998) 2K: A Reflective, Component-BasedOp erating System for Rapidly Changing Environments. Proceedings of the ECOOP’98Workshop on Reflective Object-OrientedProgramming andSystems. Brussels, Belgium. July 1998
21. Liu X., et al. (1999), Building Reliable High-Performance Communication Systems from Components, SOSP, Vol. 33, No 5.
22. Meyer B. and Mingins C. (1999) Component-BasedDev elopment: From Buzz to Spark. Computer, 32(7), 35-37
23. Microsoft Corporation andDigital Equipment Corporation (1995) The Component Object Model Specification. Redmond, Washington
24. Microsoft Corporation (1998) DistributedComp onent Object Model Protocol, version 1.0. Redmond, Washington
25. Morris R., Kohler E., Jannotti J., andKaasho ek M. (1999), The Click Modular Router, SOSP, Vol. 33, No 5.
26. Niehaus D., Stankovic J., andRamamritham K. (1995), A Real-Time Systems Description Language, IEEE Real-Time Technology and Applications Symposium, pp. 104-115
27. Nierstrasz O., Gibbs S., andTsic hritzis D. (1992) Component-orientedsoft ware development. Communications of the ACM, 35(9), 160-165
28. Oberon Microsystems (1998) JbedWhitepap er: Component Software andRealtime Computing. Technical Report. Zurich, Switzerland(http://www.oberon.ch)
29. Object Management Group (1997) The Common Object Request Broker: Architecture andSp ecification, Revision 2.0, formal document 97-02-25 (http://www.omg.org)
30. Orfali R., Harkey D., and Edwards J. (1996) The Essential Distributed Objects Survival Guide. John Wiley and Sons, New York
31. Ready J. (1986), VRTX: A Real-Time Operating System for Embedded Microprocessor Applications, IEEE Micro, Vol. 6, No. 4, pp. 8-17
32. 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
33. Samentiger J. (1997) Software Engineering with Reusable Components. Springer-Verlag, Town
34. Saulpaugh T. and Mirho C. (1999) Inside the JavaOS Operating System. Addison Wesley, Reading, Massachusetts
35. Short K. (1997) Component BasedDev elopment andOb ject Modeling. Sterling Software (http://www.cool.sterling.com)
36. Siegel J. (1998), OMG Overview: Corba abdOMA in Enterprise Computing, CACM, Vol. 41, No 10
37. Stankovic J., and Ramamritham K. (1991), The Spring Kernel: A New Paradigm for Real-Time Systems, IEEE Software, Vol. 8, No. 3, pp. 62-72; also in text on Readings in Real-Time Systems, IEEE Press, editor Mani Krishna
38. Stankovic J., Ramamritham K., Niehaus D., Humphrey M., and Wallace G. (1999), The Spring System: IntegratedSupp ort for Complex Real-Time Systems, special issue of Real-Time Systems Journal, Vol. 16, No. 2/3
39. Stankovic J. and Ramamritham K. (1995), A Reflective Architecture for Real-Time Operating Systems, chapter in Advances in Real-Time Systems, Prentice Hall, pp. 23-38
40. Sun Microsystems (1996) JavaBeans, version 1.0. (http://java.sun.com/beans)
41. Szyperski C. (1998) Component Software BeyondOb ject-OrientedProgramming. Addison-Wesley, ACM Press, New York
42. Takada H. (1997) ITRON: A Standard Real-Time Kernel Specification for Small-Scale Embedded Systems. Real-Time Magazine, issue 97q3
43. Vestal, S., (1997), MetaH Support for Real-Time Multi-Processor Avionics, Real-Time Systems Symposium
44. WindRiv er Systems, Inc. (1995) VxWorks Programmer’s Guide
45. Zhao, W., Ramamritham, K., and Stankovic, J., (1987) Preemptive Scheduling Under Time and Resource Constraints, Special Issue of IEEE Transactions on Computers on Real-Time Systems, Vol. C-36, No. 8, pp. 949-960.