Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Embedded Software

EMSOFT 2001: Embedded Software pp 390–402Cite as

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

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2211))

Abstract

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.

This work was supported, in part, by the DARPA PCES program under grant F33615-00-C-3048.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Arnold K., O’Sullivan B., Scheifler R. W., Waldo J., and Wollrath A. (1999) The Jini Specification. Addison-Wesley.

    Google Scholar 

  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. 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. Beugnard A., Jezequel J., Plouzeau N. and, Watkins D. (1999) Making Components Contract Aware. Computer, 32(7), 38–45.

    Article  Google Scholar 

  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.

    Article  Google Scholar 

  6. Booch G. (1987) Software Components with Ada: Structures, Tools and Subsystems. Benjamin-Cummings, Redwood City, CA.

    Google Scholar 

  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. 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.

    Google Scholar 

  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. 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. 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.

    Article  Google Scholar 

  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. Haskins J., Stankovic J., (2000), muOS, TR, University of Virginia, in preparation.

    Google Scholar 

  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. Hildebrand D. (1992) An Architectural Overview of QNX. Proceedings of the USENIX Workshop on Micro-kernels andOther Kernel Architectures. Seattle, WA.

    Google Scholar 

  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.

    Google Scholar 

  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. Liu X., et. al. (1999), Building Reliable High-Performance Communication Systems from Components, SOSP, Vol. 33, No. 5.

    Google Scholar 

  22. Meyer B. and Mingins C. (1999) Component-BasedDev elopment: From Buzz to Spark. Computer, 32(7), 35–37.

    Article  Google Scholar 

  23. Microsoft Corporation andDigital Equipment Corporation (1995) The Component Object Model Specification. Redmond, Washington.

    Google Scholar 

  24. Microsoft Corporation (1998) DistributedComp onent Object Model Protocol, version 1.0. Redmond, Washington.

    Google Scholar 

  25. Morris R., Kohler E., Jannotti J., and Kaashoek M. (1999), The Click Modular Router, SOSP, Vol. 33, No. 5.

    Google Scholar 

  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. Nierstrasz O., Gibbs S., and Tsic hritzis D. (1992) Component-orientedsoft ware development. Communications of the ACM, 35(9), 160–165.

    Article  Google Scholar 

  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.

    Google Scholar 

  31. Ready J. (1986), VRTX: A Real-Time Operating System for Embedded Microprocessor Applications, IEEE Micro, Vol. 6, No. 4, pp. 8–17.

    Article  Google Scholar 

  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. Samentiger J. (1997) Software Engineering with Reusable Components. Springer-Verlag, Town.

    Google Scholar 

  34. Saulpaugh T. and Mirho C. (1999) Inside the JavaOS Operating System. Addison Wesley, Reading, Massachusetts.

    Google Scholar 

  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.

    Google Scholar 

  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. 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. 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. 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.

    Google Scholar 

  42. Takada H. (1997) ITRON: A Standard Real-Time Kernel Specification for Small-Scale Embedded Systems. Real-Time Magazine, issue 97q3.

    Google Scholar 

  43. Vestal, S., (1997), MetaH Support for Real-Time Multi-Processor Avionics, Real-Time Systems Symposium.

    Google Scholar 

  44. WindRiv er Systems, Inc. (1995) VxWorks Programmer’s Guide.

    Google Scholar 

  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.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Virginia, Charlottesville, VA, 22906

    John A. Stankovic

Authors
  1. John A. Stankovic
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Electrical Engineering and Computer Sciences, University of California at Berkeley, Berkeley, CA, 94720-1770, USA

    Thomas A. Henzinger  & Christoph M. Kirsch  & 

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Stankovic, J.A. (2001). VEST — A Toolset for Constructing and Analyzing Component Based Embedded Systems. In: Henzinger, T.A., Kirsch, C.M. (eds) Embedded Software. EMSOFT 2001. Lecture Notes in Computer Science, vol 2211. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45449-7_27

Download citation

  • DOI: https://doi.org/10.1007/3-540-45449-7_27

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-42673-8

  • Online ISBN: 978-3-540-45449-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation