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.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Arnold K., O’Sullivan B., Scheifler R. W., Waldo J., and Wollrath A. (1999) The Jini Specification. Addison-Wesley.
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.
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.
Beugnard A., Jezequel J., Plouzeau N. and, Watkins D. (1999) Making Components Contract Aware. Computer, 32(7), 38–45.
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.
Booch G. (1987) Software Components with Ada: Structures, Tools and Subsystems. Benjamin-Cummings, Redwood City, CA.
Campbell R., Islam N., Madany P., and Raila D. (1993) Designing andImplementing Choices: an Object-OrientedSystem in C++. Communications of the ACM, September 1993.
Cygnus (1999) eCos-Embedded Cygnus Operating System. Technical White Paper (http://www.cygnus.com/ecos).
Endo Y., et. al. (1994) VINO: The 1994 Fall Harvest, TR-34-84, Harvard University.
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.
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.
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.
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.
Haskins J., Stankovic J., (2000), muOS, TR, University of Virginia, in preparation.
Helander J. and Forin A.(1998) MMLite: A Highly ComponentizedSystem Architecture. Proceedings of the Eighth ACM SIGOPS European Workshop. Sintra, Portugal.
Hildebrand D. (1992) An Architectural Overview of QNX. Proceedings of the USENIX Workshop on Micro-kernels andOther Kernel Architectures. Seattle, WA.
Honeywell DOME User Guide, http://www.htc.honeywell.com/dome/support.htm.documentation.
IntegratedChip ware IcWorkShop (http://www.chipware.com/).
Lopes, C., and Kiczales G. (1997), D: A Language Framework for Distributed Programming, TR SPL97-010, Xerox Parc.
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.
Liu X., et. al. (1999), Building Reliable High-Performance Communication Systems from Components, SOSP, Vol. 33, No. 5.
Meyer B. and Mingins C. (1999) Component-BasedDev elopment: From Buzz to Spark. Computer, 32(7), 35–37.
Microsoft Corporation andDigital Equipment Corporation (1995) The Component Object Model Specification. Redmond, Washington.
Microsoft Corporation (1998) DistributedComp onent Object Model Protocol, version 1.0. Redmond, Washington.
Morris R., Kohler E., Jannotti J., and Kaashoek M. (1999), The Click Modular Router, SOSP, Vol. 33, No. 5.
Niehaus D., Stankovic J., and Ramamritham K. (1995), A Real-Time Systems Description Language, IEEE Real-Time Technology and Applications Symposium, pp. 104–115.
Nierstrasz O., Gibbs S., and Tsic hritzis D. (1992) Component-orientedsoft ware development. Communications of the ACM, 35(9), 160–165.
Oberon Microsystems (1998) JbedWhitepap er: Component Software andRealtime Computing. Technical Report. Zurich, Switzerland (http://www.oberon.ch).
Object Management Group (1997) The Common Object Request Broker: Architecture andSp ecification, Revision 2.0, formal document 97-02-25 (http://www.omg.org).
Orfali R., Harkey D., and Edwards J. (1996) The Essential Distributed Objects Survival Guide. John Wiley and Sons, New York.
Ready J. (1986), VRTX: A Real-Time Operating System for Embedded Microprocessor Applications, IEEE Micro, Vol. 6, No. 4, pp. 8–17.
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.
Samentiger J. (1997) Software Engineering with Reusable Components. Springer-Verlag, Town.
Saulpaugh T. and Mirho C. (1999) Inside the JavaOS Operating System. Addison Wesley, Reading, Massachusetts.
Short K. (1997) Component BasedDev elopment andOb ject Modeling. Sterling Software (http://www.cool.sterling.com).
Siegel J. (1998), OMG Overview: Corba abdOMA in Enterprise Computing, CACM, Vol. 41, No. 10.
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.
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.
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.
Sun Microsystems (1996) JavaBeans, version 1.0. (http://java.sun.com/beans).
Szyperski C. (1998) Component Software BeyondOb ject-OrientedProgramming. Addison-Wesley, ACM Press, New York.
Takada H. (1997) ITRON: A Standard Real-Time Kernel Specification for Small-Scale Embedded Systems. Real-Time Magazine, issue 97q3.
Vestal, S., (1997), MetaH Support for Real-Time Multi-Processor Avionics, Real-Time Systems Symposium.
WindRiv er Systems, Inc. (1995) VxWorks Programmer’s Guide.
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.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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