VEST — A Toolset for Constructing and Analyzing Component Based Embedded Systems

  • John A. Stankovic
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2211)


Embedded systems are proliferating at an amazing rate. To be successful these systems must be tailoredto meet many cost, time to market, performance, and dependability constraints. Building and tailoring embedded systems by using domain specific components has promise. However, in composing components the most difficult issues are ensuring that non-functional properties such as real-time performance and dependability are being met. The VEST toolkit is aimed at providing a rich set of dependency checks based on aspects to support embedded system development via components.


Embed System Source Object Exclusion Constraint Component Object Model Embed System Development 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Arnold K., O’Sullivan B., Scheifler R. W., Waldo J., and Wollrath A. (1999) The Jini Specification. Addison-Wesley.Google Scholar
  2. 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.Google Scholar
  3. 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.Google Scholar
  4. 4.
    Beugnard A., Jezequel J., Plouzeau N. and, Watkins D. (1999) Making Components Contract Aware. Computer, 32(7), 38–45.CrossRefGoogle Scholar
  5. 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.CrossRefGoogle Scholar
  6. 6.
    Booch G. (1987) Software Components with Ada: Structures, Tools and Subsystems. Benjamin-Cummings, Redwood City, CA.Google Scholar
  7. 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.Google Scholar
  8. 8.
    Cygnus (1999) eCos-Embedded Cygnus Operating System. Technical White Paper (
  9. 9.
    Endo Y., et. al. (1994) VINO: The 1994 Fall Harvest, TR-34-84, Harvard University.Google Scholar
  10. 10.
    Engler D., Kaashoek M.F. and O’T oole J. (1995) Exokernel: An Operating System Architecture for Application-Level Resource Management. Proceedings of the 15th SOSP, Copper Mountain, CO.Google Scholar
  11. 11.
    Ford B., Back G., Benson G., Lepreau J., Lin A., and Shiv ers O. (1997) The Flux OSKit: A Substrate for Kernel andLanguage Research. Proceedings of the 16th ACM Symposium on Operating Systems Principles, Saint-Malo, France.Google Scholar
  12. 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.CrossRefGoogle Scholar
  13. 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.Google Scholar
  14. 14.
    Haskins J., Stankovic J., (2000), muOS, TR, University of Virginia, in preparation.Google Scholar
  15. 15.
    Helander J. and Forin A.(1998) MMLite: A Highly ComponentizedSystem Architecture. Proceedings of the Eighth ACM SIGOPS European Workshop. Sintra, Portugal.Google Scholar
  16. 16.
    Hildebrand D. (1992) An Architectural Overview of QNX. Proceedings of the USENIX Workshop on Micro-kernels andOther Kernel Architectures. Seattle, WA.Google Scholar
  17. 17.
  18. 18.
    IntegratedChip ware IcWorkShop (
  19. 19.
    Lopes, C., and Kiczales G. (1997), D: A Language Framework for Distributed Programming, TR SPL97-010, Xerox Parc.Google Scholar
  20. 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.Google Scholar
  21. 21.
    Liu X., et. al. (1999), Building Reliable High-Performance Communication Systems from Components, SOSP, Vol. 33, No. 5.Google Scholar
  22. 22.
    Meyer B. and Mingins C. (1999) Component-BasedDev elopment: From Buzz to Spark. Computer, 32(7), 35–37.CrossRefGoogle Scholar
  23. 23.
    Microsoft Corporation andDigital Equipment Corporation (1995) The Component Object Model Specification. Redmond, Washington.Google Scholar
  24. 24.
    Microsoft Corporation (1998) DistributedComp onent Object Model Protocol, version 1.0. Redmond, Washington.Google Scholar
  25. 25.
    Morris R., Kohler E., Jannotti J., and Kaashoek M. (1999), The Click Modular Router, SOSP, Vol. 33, No. 5.Google Scholar
  26. 26.
    Niehaus D., Stankovic J., and Ramamritham K. (1995), A Real-Time Systems Description Language, IEEE Real-Time Technology and Applications Symposium, pp. 104–115.Google Scholar
  27. 27.
    Nierstrasz O., Gibbs S., and Tsic hritzis D. (1992) Component-orientedsoft ware development. Communications of the ACM, 35(9), 160–165.CrossRefGoogle Scholar
  28. 28.
    Oberon Microsystems (1998) JbedWhitepap er: Component Software andRealtime Computing. Technical Report. Zurich, Switzerland (
  29. 29.
    Object Management Group (1997) The Common Object Request Broker: Architecture andSp ecification, Revision 2.0, formal document 97-02-25 (
  30. 30.
    Orfali R., Harkey D., and Edwards J. (1996) The Essential Distributed Objects Survival Guide. John Wiley and Sons, New York.Google Scholar
  31. 31.
    Ready J. (1986), VRTX: A Real-Time Operating System for Embedded Microprocessor Applications, IEEE Micro, Vol. 6, No. 4, pp. 8–17.CrossRefGoogle Scholar
  32. 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.Google Scholar
  33. 33.
    Samentiger J. (1997) Software Engineering with Reusable Components. Springer-Verlag, Town.Google Scholar
  34. 34.
    Saulpaugh T. and Mirho C. (1999) Inside the JavaOS Operating System. Addison Wesley, Reading, Massachusetts.Google Scholar
  35. 35.
    Short K. (1997) Component BasedDev elopment andOb ject Modeling. Sterling Software (
  36. 36.
    Siegel J. (1998), OMG Overview: Corba abdOMA in Enterprise Computing, CACM, Vol. 41, No. 10.Google Scholar
  37. 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.Google Scholar
  38. 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.Google Scholar
  39. 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.Google Scholar
  40. 40.
    Sun Microsystems (1996) JavaBeans, version 1.0. (
  41. 41.
    Szyperski C. (1998) Component Software BeyondOb ject-OrientedProgramming. Addison-Wesley, ACM Press, New York.Google Scholar
  42. 42.
    Takada H. (1997) ITRON: A Standard Real-Time Kernel Specification for Small-Scale Embedded Systems. Real-Time Magazine, issue 97q3.Google Scholar
  43. 43.
    Vestal, S., (1997), MetaH Support for Real-Time Multi-Processor Avionics, Real-Time Systems Symposium.Google Scholar
  44. 44.
    WindRiv er Systems, Inc. (1995) VxWorks Programmer’s Guide.Google Scholar
  45. 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.CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2001

Authors and Affiliations

  • John A. Stankovic
    • 1
  1. 1.Department of Computer ScienceUniversity of VirginiaCharlottesville

Personalised recommendations