Skip to main content
SpringerLink
Log in
SpringerLink
Log in

References

  • Chapter
Embedded Systems Design

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 3436))

  • 1608 Accesses

Abstract

No abstract available

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

Access this chapter

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 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abowd, G.D., Allen, R., Garlan, D.: Formalizing style to understand descriptions of software architecture. ACM Trans. on Software Engineering and Methodology 4(4), 319–364 (1995)

    Article  Google Scholar 

  2. Atkinson, C., Bayer, J., Muthig, D.: Component-based product line development: The KobrA approach. In: Software Product Lines: Experience and Research Directions, Proc. 1st Int. Software Product Line Conference (SPLC-1), Denver, CO, USA, August 2000, pp. 289–309. Kluwer Academic, Dordrecht (2000)

    Google Scholar 

  3. Abrial, J.-R.: The B book – Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)

    Book  MATH  Google Scholar 

  4. Ajmone Marsan, M., Conte, G., Balbo, G.: A class of generalised stochastic Petri nets for the performance evaluation of multiprocessor systems. ACM Trans. on Computer Systems 2(2), 93–122 (1984)

    Article  Google Scholar 

  5. Amnell, T., Fersman, E., Mokrushin, L., Pettersson, P., Yi, W.: TIMES: A tool for modelling and implementation of embedded systems. In: Katoen, J.-P., Stevens, P. (eds.) TACAS 2002. LNCS, vol. 2280, pp. 460–464. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  6. Allen, R., Garlan, D.: Formalizing architectural connection. In: Proc. 16th Int. Conf. on Software Engineering (ICSE 1994), Sorrento, Italy, May 1994, pp. 71–80. IEEE Comp. Soc. Press, Los Alamitos (1994)

    Google Scholar 

  7. Alur, R., Henzinger, T.A. (eds.): CAV 1996. LNCS, vol. 1102. Springer, Heidelberg (1996)

    MATH  Google Scholar 

  8. Awad, M., Kuusela, J., Ziegler, J.: Object-Oriented Technology for Real-time Systems: A Practical Approach Using OMT and Fusion. Prentice-Hall, Englewood Cliffs (1997)

    Google Scholar 

  9. Balzer, R.: An architectural infrastructure for product families. In: van der Linden, F.J. (ed.) Development and Evolution of Software Architectures for Product Families. LNCS, vol. 1429, pp. 158–160. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  10. Bachmann, F., Bass, L., Buhman, C., Comella-Dorda, S., Long, F., Robert, J., Seacord, R., Wallnau, K.: Technical Concepts of Component-Based Software Engineering, Volume II. Technical Report CMU/SEI-2000-TR-008, Software Engineering Institute, Carnegie-Mellon University (May 2000)

    Google Scholar 

  11. Bass, L., Clements, P., Kazman, R.: Software Architecture In Practice. Addison-Wesley, Reading (1998)

    Google Scholar 

  12. Bertin, V., Closse, E., Poize, M., Pulou, J., Sifakis, J., Venier, P., Weil, D., Yovine, S.: Taxys = Esterel + Kronos. A tool for verifying real-time properties of embedded systems. In: Proc. 40th IEEE Conf. on Decision and Control (CDC 2001), Orlando, FL, USA, December 2001, IEEE Comp. Soc. Press, Los Alamitos (2001)

    Google Scholar 

  13. Berry, G.: The constructive semantics of Pure Esterel. Centre de Mathématiques Appliquées, École des Mines and INRIA, Sophia-Antipolis, France (July 1999)

    Google Scholar 

  14. Berry, G.: The Esterel v5 language primer. Centre de Mathématiques Appliquées, École des Mines and INRIA, Sophia-Antipolis, France (April 1999)

    Google Scholar 

  15. Bézivin, J., Gérard, S.: A preliminary identification of MDA components. Position Paper, OOPSLA 2002 Workshop: Generative Techniques in the context of Model Driven Architecture (2002)

    Google Scholar 

  16. Bozga, M., Graf, S., Mounier, L.: A validation environment for component-based real-time systems. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, pp. 343–348. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  17. Bornot, S., Gössler, G., Sifakis, J.: On the construction of live timed systems. In: Schwartzbach, M.I., Graf, S. (eds.) TACAS 2000. LNCS, vol. 1785, pp. 109–126. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  18. Beugnard, A., Jézéquel, J.-M., Plouzeau, N.: Making components contract aware. IEEE Computer 32(7), 38–45 (1999)

    Google Scholar 

  19. Brown, N., Kindel, C.: Distributed component object model protocol – dcom/1.0. Internet-draft, IETF (January 1998)

    Google Scholar 

  20. Balarin, F., Lavagno, L., Passerone, C., Sangiovanni-Vincentelli, A., Watanabe, Y., Yang, G.: Concurrent execution semantics and sequential simulation algorithms for the Metropolis meta-model. In: Proc. 10th Int. Symp. on Hardware/ Software Codesign (CODES 2002), Estes Park, CO, USA, April 2002, ACM Press, New York (2002)

    Google Scholar 

  21. Beilner, H., Mater, J., Weissenberg, N.: Towards a performance modeling environment: News on HIT. In: Proc. 4th Int. Conf. Modeling Techniques and Tools for Computer Performance Evaluation, Palma de Mallorca, Spain, September 1998, pp. 57–75. Plenum Press, New York (1989)

    Google Scholar 

  22. Box, D.: House of COM: Is COM dead? MSDN Magazine (December 2000)

    Google Scholar 

  23. Biggerstaff, T.J., Richter, C.: Reusability framework, assessment, and directions. In: Biggerstaff, T.J., Perlis, A.J. (eds.) Software Reusability Volume I: Concepts and Models, pp. 1–17. ACM Press & Addison Wesley (1989); Also appeared in IEEE Software 4(2), 41-49 (1987)

    Google Scholar 

  24. Brockschmidt, K.: Inside OLE, 2nd edn. Microsoft Press, Redmond (1995)

    Google Scholar 

  25. Brockschmidt, K.: What OLE is really about (1996)

    Google Scholar 

  26. Castagna, G.: Covariance and contravariance: Conflict without a cause. ACM Trans. on Programming Languages and Systems 17(3), 431–447 (1995)

    Article  Google Scholar 

  27. Combes, P., Castaignet, L., Dubois, F., Nicolas, B., Renard, B.: Feature-driven service analysis and design in an open architecture. In: Proc. 7th Int. Conf. Intelligence in next Generation Networks (ICIN 2001), Bordeaux, France (October 2001)

    Google Scholar 

  28. The CORBA & CORBA Component Model (CCM) page, http://www.ditec.um.es/~dsevilla/ccm

  29. Chakrabarti, A., de Alfaro, L., Henzinger, T.A., Jurdzinski, M., Mang, F.Y.C.: Interface compatibility checking for software modules. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, pp. 428–441. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  30. Combes, P., Dubois, F., Nicolas, B.: Une démarche associant UML et SDL pour l’analyse, la conception et la validation de services de télécommunication. In: Actes 3ième Congrès Modélisation des Systèmes Réactifs (MSR 2001), Toulouse, France, October 2001, pp. 309–324. Hermès Science Publications (2001)

    Google Scholar 

  31. Chiola, G.: Petri nets versus queueing networks: similarities and differences. In: Performance Models for Discrete Event Systems with Synchronisations: Formalisms and Analysis Techniques, pp. 121–134. KRONOS (1998)

    Google Scholar 

  32. Crnkovic, I., Larsson, M.: Building Reliable Component-Based Software Systems. Artech House (2002)

    Google Scholar 

  33. Chandy, K.M., Misra, J.: Parallel Program Design. Addison-Wesley, Reading (1988)

    MATH  Google Scholar 

  34. Cobb, E.: CORBA Components: The industry’s first multi-language component standard, OMG meeting tutorial (June 2000), available at http://www.omg.org/cgibin/doc?omg/00-06-01

  35. Constantinescu, C.: Impact of deep submicron technology on dependability of VLSI circuits. In: Proc. 2002 Int. Conf. on Dependable Systems and Networks (DSN 2002), Bethesda, MD, USA, June 2002, pp. 205–214. IEEE Comp. Soc. Press, Los Alamitos (2002)

    Chapter  Google Scholar 

  36. Closse, E., Poize, M., Pulou, J., Sifakis, J., Venier, P., Weil, D., Yovine, S.: Taxys: A tool for the development and verification of real-time embedded systems. In: Berry, G., Comon, H., Finkel, A. (eds.) CAV 2001. LNCS, vol. 2102, pp. 391–395. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  37. Closse, E., Poize, M., Pulou, J., Venier, P., Weil, D.: SAXO-RT, interpreting Esterel semantics on a sequential execution structure. In: Proc. 1st Workshop on Synchronous Languages, Applications, and Programming (SLAP 2002), Grenoble, France, April 2002. Electronic Notes in Theor. Comp. Sci., vol. 65(5), Elsevier Science, Amsterdam (2002)

    Google Scholar 

  38. Casparsson, L., Rajnák, A., Tindell, K., Malmberg, P.: Volcano – a revolution in on-board communications. Volvo Technology Report (1998)

    Google Scholar 

  39. Clarke, S., Walker, R.J.: Towards a standard design language for AOSD. In: Proc. 1st Int. Conf. on Aspect-Oriented Software Development (AOSD 2002), Univ. Twente, Enschede, NL, April 2002, pp. 113–119. ACM Press, New York (2002)

    Chapter  Google Scholar 

  40. Devanbu, P., Brachman, R.J., Selfridge, P.G., Ballard, B.W.: LaSSIE: a knowledge- based software information system. Communications of the ACM 34(5), 34–49 (1991)

    Article  Google Scholar 

  41. Damm, W., Harel, D.: LSCs: Breathing life into Message Sequence Charts. Journal of Formal Methods in System Design 19(1), 45–80 (2001)

    Article  MATH  Google Scholar 

  42. Dal Cin, M., Huszerl, G., Kosmidis, K.: Evaluation of safety-critical systems based on guarded statecharts. In: Proc. 4th IEEE Int. Symp. on High Assurance Systems Engineering, Washington, DC, USA, November 1999, pp. 37–45. IEEE Comp. Soc. Press, Los Alamitos (1999)

    Google Scholar 

  43. Diefenbruch, M., Hintelmann, J., Müller-Clostermann, B.: The QUESTapproach for the performance evaluation of SDL-systems. In: Proc. IFIP TC6 WG6.1 Int. Conf. on Formal Description Techniques IX / Protocol Specification, Testing and Verification XVI (FORTE 1996), Kaiserslautern, Germany, October 1996, pp. 229–244. Kluwer Academic, Dordrecht (1996)

    Google Scholar 

  44. D’Argenio, P., Katoen, J.-P., Brinksma, E.: An algebraic approach to the specification of stochastic systems. In: Proc. IFIP Working Conference on Programming Concepts and Methods (PROCOMET 1998), Shelter Island, NY, USA, June 1998, pp. 126–147. Chapman & Hall, Boca Raton (1998)

    Google Scholar 

  45. Donohoe, P. (ed.): Software Product Lines: Experience and Research Directions, Proc. 1st Int. Software Product Line Conference (SPLC-1), Denver, CO, USA, August 2000. Kluwer Academic (2000)

    Google Scholar 

  46. Douglass, B.P.: Model driven architecture and Rhapsody. Technical report, ILogix (2002)

    Google Scholar 

  47. D’Souza, D.F., Wills, A.C.: Objects, components, and frameworks with UML: the catalysis approach. ACM Press and Addison-Wesley (1999)

    Google Scholar 

  48. EAST_EEA (2003), http://www.east-eea.net

  49. El-Sayed, H., Cameron, D., Woodside, C.M.: Automation support for software performance engineering. ACM SIGMETRICS Performance Evaluation Review 29(1), 301–311 (2001)

    Article  Google Scholar 

  50. Erlang, http://www.erlang.org/

  51. ESC Java webpage, http://research.compaq.com/SRC/esc/

  52. Fioukov, A.V., Eskenazi, E.M., Hammer, D.K., Chaudron, M.R.V.: Evaluation of static properties for component-based architectures. In: Proc. 28th EUROMICRO Conference, Dortmund, Germany, September 2002, pp. 33–39. IEEE Comp. Soc. Press, Los Alamitos (2002)

    Chapter  Google Scholar 

  53. Ferdinand, C., Heckmann, R., Langenbach, M., Martin, F., Schmidt, M., Theiling, H., Thesing, S., Wilhelm, R.: Reliable and precise WCET determination for a real-life processor. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol. 2211, pp. 469–485. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  54. Fischer, B.: Deduction-Based Software Component Retrieval. PhD thesis, Universität Passau, Germany (November 2001)

    Google Scholar 

  55. Frolund, S., Koistinen, J.: Quality-of-Service specifications in distributed object systems. Distributed Systems Engineering 5(4), 179–202 (1998)

    Article  Google Scholar 

  56. Feiler, P.H., Lewis, B., Vestal, S.: Improving predictability in embedded realtime systems. Special report CMU/SEI-2000-SR-011, Carnegie Mellon Software Engineering Institute (December 2000)

    Google Scholar 

  57. Ferdinand, C., Wilhelm, R.: On predicting data cache behaviour for real-time systems. In: Müller, F., Bestavros, A. (eds.) LCTES 1998. LNCS, vol. 1474, pp. 16–30. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  58. Fischer, B., Whittle, J.: An integration of deductive retrieval into deductive synthesis. In: Proc. 14th IEEE Int. Conf. on Automated Software Engineering (ASE 1999), Cocoa Beach, Florida, USA, October 1999, pp. 52–62. IEEE Comp. Soc. Press, Los Alamitos (1999)

    Chapter  Google Scholar 

  59. Garlan, D., Allen, R., Ockerbloom, J.: Architectural mismatch: Why reuse is so hard. IEEE Software 12(6), 17–26 (1995)

    Article  Google Scholar 

  60. Guttag, J.V., Horning, J.J., Garland, S.J., Jones, K.D., Modet, A., Wing, J.M.: Larch: Languages and Tools for Formal Specification. Texts and Monographs in Computer Science. Springer, Heidelberg (1993)

    MATH  Google Scholar 

  61. Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1994)

    Google Scholar 

  62. Girardi, M.R., Ibrahim, B.: Automatic indexing of software artifacts. In: Proc. 3rd Int. Conf. on Software Reuse, Rio De Janeiro, Brazil, November 1994, pp. 24–32. IEEE Comp. Soc. Press, Los Alamitos (1994)

    Chapter  Google Scholar 

  63. Girardi, M.R., Ibrahim, B.: A similarity measure for retrieving software artifacts. In: Proc. 6th Int. Conf. on Software Engineering and Knowledge Engineering (SEKE 1994), Jurmala, Latvia, Knowledge Systems Institute, June 1994, pp. 478–485 (1994)

    Google Scholar 

  64. Gosling, J., Joy, B., Steele, G.L.: The Java Language Specification. Addison-Wesley, Reading (1996)

    MATH  Google Scholar 

  65. Gnesi, S., Latella, D., Massink, M.: A stochastic extension of a behavioural subset of UML statechart diagrams. In: Proc. 5th IEEE Int. Symp. on High-Assurance Systems Engineering (HASE 2000), Albuquerque, NM, USA, November 2000, pp. 55–64. IEEE Comp. Soc. Press, Los Alamitos (2000)

    Chapter  Google Scholar 

  66. Guarino, N., Masolo, C., Vetere, G.: OntoSeek: Content-based access to the web. IEEE Intelligent Systems 14(3), 70–80 (1999)

    Article  Google Scholar 

  67. Goswell, C.: The COM programmer’s cookbook (1995)

    Google Scholar 

  68. Gössler, G.: Prometheus – a compositional modeling tool for real-time systems. In: Proc. 1st Workshop on Real-Time Tools (RT-TOOLS 2001), Aalborg, Demark (August 2001); Published as Technical report 2001-014, Uppsala University, Department of Information Technology

    Google Scholar 

  69. Gérard, S., Petterson, P., Josko, B.: Methodology for developing real-time embedded systems. Pub IST-1999-10069, CEE, Paris, France (2002)

    Google Scholar 

  70. Grimm, K.: Software technology in an automotive company: major challenges. In: Proc. 25th Int. Conf. on Software Engineering (ICSE 2003), Portland, OR, USA, May 2003, pp. 498–505. IEEE Comp. Soc. Press, Los Alamitos (2003)

    Chapter  Google Scholar 

  71. Gössler, G., Sangiovanni-Vincentelli, A.: Compositional modeling in Metropolis. In: Sangiovanni-Vincentelli, A.L., Sifakis, J. (eds.) EMSOFT 2002. LNCS, vol. 2491, pp. 93–107. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  72. Gössler, G., Sifakis, J.: Composition for component-based modeling. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2002. LNCS, vol. 2852, pp. 443–466. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  73. Gérard, F., Terrier, F., Tanguy, Y.: Using the model paradigm for real-time systems development: ACCORD/UML. In: Bruel, J.-M., Bellahsène, Z. (eds.) OOIS 2002. LNCS, vol. 2426, pp. 260–269. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  74. Gurevich, Y.: Evolving algebras 1993: Lipari guide. In: Börger, E. (ed.) Specification and Validation Methods, pp. 9–36. Oxford University Press, Oxford (1995)

    Google Scholar 

  75. Halbwachs, N.: Synchronous Programming of Reactive Systems. Kluwer Academic Publishers, Dordrecht (1993)

    MATH  Google Scholar 

  76. Hasselbring, W.: Component-based software engineering. In: Chang, S.K. (ed.) Handbook of Software Engineering and Knowledge Engineering. Emerging Technologies, vol. 2, pp. 289–306. World Scientific Publishing, Singapore (2002)

    Google Scholar 

  77. Henzinger, T.A.: Giotto: A time-triggered language for embedded programming. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol. 2211, pp. 166–184. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  78. Hermanns, H. (ed.): Interactive Markov Chains. LNCS, vol. 2428, p. 129. Springer, Heidelberg (2002)

    MATH  Google Scholar 

  79. Hillston, J.: A Compositional Approach to Performance Modeling. Cambridge University Press, Cambridge (1996)

    Book  Google Scholar 

  80. Ho, W.-M., Jézéquel, J.-M., Pennaneac’h, F., Plouzeau, N.: A toolkit for weaving aspect oriented UML designs. In: Proc. 1st Int. Conf. on Aspect-Oriented Software Development (AOSD 2002), Univ. Twente, Enschede, NL, April 2002, pp. 99–105. ACM Press, New York (2002)

    Chapter  Google Scholar 

  81. Hau, M., Mertens, P.: Computergestuetzte Auswahl komponentenbasierter Anwendungssysteme. Informatik Spektrum 25(5), 331–340 (2002)

    Article  Google Scholar 

  82. Herzum, P., Sims, O.: Business Component Factory: A Comprehensive Overview of Component Based Development for the Enterprise. John Wiley and Sons, Chichester (1999)

    Google Scholar 

  83. Hyperformix, http://www.hyperformix.com

  84. IEC. Application and implementation of IEC 61131-3. Technical report, IEC, Geneva (1995)

    Google Scholar 

  85. Ilogix rhapsody, http://www.ilogix.com

  86. Isovic, D., Norström, C.: Components in real-time systems. In: Proc. 8th Int. Conf. on Real-Time Computing Systems and Applications (RTCSA 2002), Tokyo, Japan (March 2002)

    Google Scholar 

  87. Technology Roadmap of Software Intensive Systems, the vision of ITEA. ITEA Office Association, http://ww.itea-office.org

  88. International Telecommunications Union, ITU-TS. Recommendation Z.120: Message Sequence Chart (MSC96) (April 1996)

    Google Scholar 

  89. International Telecommunications Union, ITU-T. Recommendation Z.100: Specification and Description Language (SDL) (November 1999), http://www.sdl-forum.org

  90. International Telecommunications Union, ITU-T. Recommendation Z.109: Languages for telecommunications applications – SDL combined with UML (November 1999)

    Google Scholar 

  91. Jeng, J.-J., Cheng, B.H.C.: Using formal methods to construct a software component library. In: Sommerville, I., Paul, M. (eds.) ESEC 1993. LNCS, vol. 717, pp. 397–417. Springer, Heidelberg (1993)

    Google Scholar 

  92. Jeng, J.-J., Cheng, B.H.C.: A formal approach to reusing more general components. In: Proc. 9th Knowledge-Based Software Engineering Conference (KBSE 1994), Monterey, California, USA, September 1994, pp. 90–97. IEEE Comp. Soc. Press, Los Alamitos (1994)

    Chapter  Google Scholar 

  93. Jha, P.K., Dutt, N.D.: High-level library mapping for arithmetic components. IEEE Transactions on Very Large Scale Integration (VLSI) Systems 4(2), 157–169 (1996)

    Article  Google Scholar 

  94. Jubin, H., Friedrichs, J.: Enterprise JavaBeans by Example. Prentice-Hall, Englewood Cliffs (2000)

    Google Scholar 

  95. Jones, C., Killijian, M.-O., Kopetz, H., Marsden, E., Moffat, N., Paulitsch, M., Powell, D., Randell, B., Romanovsky, A., Stroud, R.: Revised version of DSoS conceptual model. Project Deliverable for DSoS (Dependable Systems of Systems), Research Report 35/2001, Technische Universität Wien, Institut für Technische Informatik, Treitlstr. 1-3/182-1, 1040 Vienna, Austria (2001)

    Google Scholar 

  96. Kahn, G.: The semantics of a simple language for parallel programming. In: Proc. IFIP Congress (Information Processing 1974), Stockholm, Sweden, August 1974, pp. 471–475. North-Holland, Amsterdam (1974)

    Google Scholar 

  97. Kerber, L.: Scenario-based performance evaluation of SDL/MSC-specified systems. In: Dumke, R.R., Rautenstrauch, C., Schmietendorf, A., Scholz, A. (eds.) WOSP 2000 and GWPESD 2000. LNCS, vol. 2047, pp. 185–201. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  98. Kim, K.H., Kopetz, H.: A real-time object model RTO.k and an experimental investigation of its potential. In: Proc. 18th Int. Computer Software and Applications Conference (COMPSAC 1994), Taipei, Taiwan, November 1994, pp. 392–402. IEEE Comp. Soc. Press, Los Alamitos (1994)

    Google Scholar 

  99. Kolberg, M., Kimbler, K.: Service interaction management for distributed services in a deregulated market environment. In: Proc. 6th Int. Workshop on Feature Interactions in Telecommunications and Software Systems (FIW 2000), Glasgow, Scotland, May 2000, pp. 23–37. IOS Press, Amsterdam (2000)

    Google Scholar 

  100. Kleinrock, L.: Queueing systems – Volume 1: Theory. John Wiley and Sons, Chichester (1975)

    Google Scholar 

  101. Kleinrock, L.: Queueing systems – Volume 2: Computer Applications. John Wiley and Sons, Chichester (1976)

    Google Scholar 

  102. Kiczales, G., Lamping, J., Menhdhekar, A., Maeda, C., Lopes, C., Loingtier, J.-M., Irwin, J.: Aspect-oriented programming. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol. 1241, pp. 220–242. Springer, Heidelberg (1997)

    Chapter  Google Scholar 

  103. Kristensen, B.B., May, D.C.M.: Component composition and interaction. In: Proc. Int. Conf. on Technology of Object-Oriented Languages and Systems (TOOLS PACIFIC 1996), Melbourne, Australia (1996)

    Google Scholar 

  104. Kopetz, H., Reisinger, J.: The non-blocking write protocol NBW: A solution to a real-time synchronization problem. In: Proc. 14th Real-Time Systems Symposium (RTSS 1993), Raleigh-Durham, NC, December 1993, pp. 131–137. IEEE Comp. Soc. Press, Los Alamitos (1993)

    Chapter  Google Scholar 

  105. Kopetz, H., Suri, N.: Compositional design of RT systems: A conceptual basis for specification of linking interfaces. In: Proc. 6th IEEE Int. Symp. on Object-Oriented Real-Time Distributed Computing (ISORC 2003), Hakodate, Hokkaido, Japan, May 2003, pp. 51–60. IEEE Comp. Soc. Press, Los Alamitos (2003)

    Google Scholar 

  106. Lamport, L.: The temporal logic of actions. ACM Trans. on Programming Languages and Systems 16(3), 872–923 (1994)

    Article  Google Scholar 

  107. Leavens, G.T., Baker, A.L.: Enhancing the pre-and postcondition technique for more expressive specifications. In: Woodcock, J.C.P., Davies, J., Wing, J.M. (eds.) FM 1999. LNCS, vol. 1709, p. 1087. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  108. Lüders, F., Crnkovic, I., Sjögren, A.: Case study: Componentization of an industrial control system. In: Proc. 26th Int. Computer Software and Applications Conference (COMPSAC 2002), Oxford, UK, August 2002, pp. 67–74. IEEE Comp. Soc. Press, Los Alamitos (2002)

    Google Scholar 

  109. Lee, E.A.: Overview of the Ptolemy project. Technical Memorandum UCB/ERL M03/25, University of California, Berkeley (July 2003)

    Google Scholar 

  110. Lewis, R.W.: Programming industrial control systems using IEC 1131-3. IEE (1998)

    Google Scholar 

  111. Loop project webpage, http://www.cs.kun.nl/~bart/LOOP/

  112. Lee, E.A., Xiong, Y.: System-level types for component-based design. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol. 2211, pp. 237–253. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  113. Mauw, S.: The formalization of message sequence charts. Computer Networks and ISDN Systems 28(12), 1643–1657 (1996)

    Article  Google Scholar 

  114. Model Driven Architecture, http://www.omg.org/mda/

  115. Monin, W., Dubois, F., Vincent, D., Combes, P.: Looking for better integration of design and performance engineering. In: Reed, R., Reed, J. (eds.) SDL 2003. LNCS, vol. 2708, pp. 1–17. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  116. Mercedes. Innovation – Research & Technology (2003), http://www.mercedesbenz.com/com/e/home/innovation/

  117. Meta-H homepage, http://www.htc.honeywell.com/metah/

  118. Meyer, B.: Eiffel: The Language. Prentice-Hall, Englewood Cliffs (1991)

    Google Scholar 

  119. Meyer, B.: Object-Oriented Software Construction, 2nd edn. Prentice-Hall, Englewood Cliffs (1997)

    MATH  Google Scholar 

  120. Möller, A., Fröberg, J., Nolin, M.: Industrial requirements on component technologies for embedded systems. In: Crnković, I., Stafford, J.A., Schmidt, H.W., Wallnau, K. (eds.) CBSE 2004. LNCS, vol. 3054, pp. 146–161. Springer, Heidelberg (2004) (to appear)

    Chapter  Google Scholar 

  121. Möller, A., Fröberg, J., Nolin, M.: Requirements on component technologies for heavy vehicles. MRTC Report ISSN 1404-3041 ISRN MDH-MRTC-150/2004-1- SE, Mälardalen Real-Time Research Centre, Mälardalen Univ. (January 2004)

    Google Scholar 

  122. Meijer, E., Gough, J.: Technical overview of the Common Language Runtime (2002) (white paper)

    Google Scholar 

  123. Microsoft Corporation. The component object model specification, 24th edn. (October 1995)

    Google Scholar 

  124. Microsoft Corporation, .NET framework developer’s guide (2001), http://msdn.microsoft.com/library/default.asp

  125. Miller, J., Mukerji, J.: Model driven architecture (MDA) (July 2001); OMG, Draft Specification ormsc/2001-07-01

    Google Scholar 

  126. Mittermeir, R.T., Mili, R., Mili, A.: Building a repository of software components: A formal specifications approach. In: Proc. 6th Workshop on Institutionalizing Software Reuse (WISR 1993), Owego, NY, USA (November 1993)

    Google Scholar 

  127. Mili, A., Mili, R., Mittermeir, R.: Storing and retrieving software conponents: A refinement based system. IEEE Transactions on Software Engineering 23(7), 445–460 (1997)

    Article  Google Scholar 

  128. Mili, A., Mili, R., Mittermeir, R.: A survey of software reuse libraries. Annals of Software Engineering 5, 349–414 (1998)

    Article  Google Scholar 

  129. Maiden, N., Ncube, C.: Acquiring COTS software selection requirements. IEEE Software 15(2), 46–56 (1998)

    Article  Google Scholar 

  130. Molloy, M.K.: Performance analysis using Stochastic Petri Nets. IEEE Trans. on Computers C-31(9), 913–917 (1982)

    Article  Google Scholar 

  131. MOST Cooperation, MOST specification framework Rev 1.1 (1999), http://www.oasis.com/support/downloads/mosttechnology/MOSTSpecification_Framework_1V1.pdf

  132. Mitra, R.S., Roop, P.S., Basu, A.: A new algorithm for implementation of design functions by available devices. IEEE Transactions on Very Large Scale Integration (VLSI) Systems 4(2), 170–180 (1996)

    Article  Google Scholar 

  133. Mikhajlov, L., Sekerinski, E.: The fragile base class problem and its solution. Technical Report 117, Turku Centre for Computer Science, Turku, Finland (May 1997)

    Google Scholar 

  134. Morisio, M., Seaman, C.B., Parra, A.T., Basili, V.R., Kraft, S.E., Condon, S.E.: Investigating and improving a COTS-based software development. In: Proc. 22nd Int. Conf. on Software Engineering (ICSE 2000), Limerick, Ireland, June 2000, pp. 32–41. ACM Press, New York (2000)

    Chapter  Google Scholar 

  135. Müller, P., Stich, C., Zeidler, C.: Components work: Component technology for embedded systems. In: Proc. 27th EUROMICRO Conference: A Net Odyssey, Warsaw, Poland, September 2001, pp. 146–153. IEEE Comp. Soc. Press, Los Alamitos (2001)

    Google Scholar 

  136. Mesarovic, M.D., Takahara, Y.: Abstract Systems Theory. Lecture Notes in Control and Information Sciences, vol. 116. Springer, Heidelberg (1989)

    MATH  Google Scholar 

  137. Manna, Z., Waldinger, R.J.: Fundamentals of deductive program synthesis. IEEE Transactions on Software Engineering 18(8), 674–704 (1992)

    Article  Google Scholar 

  138. Nierstrasz, O., Arévalo, G., Ducasse, S., Wuyts, R., Black, A.P., Müller, P.O., Zeidler, C., Genssler, T., van den Born, R.: A component model for field devices. In: Bishop, J.M. (ed.) CD 2002. LNCS, vol. 2370, pp. 200–209. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  139. Neema, S.: System-Level Synthesis of Adaptive Computing Systems. PhD thesis, Vanderbilt University, Nashville, TN, USA (May 1991)

    Google Scholar 

  140. Norström, C., Gustafsson, M., Sandström, K., Mäki-Turja, J., Bånkestad, N.-E.: Experiences from introducing state-of-the-art real-time techniques in the automotive industry. In: Proc. 8th IEEE Int. Conf. on Engineering of Computer-Based Systems (ECBS 2001), Washington, DC, USA, April 2001, pp. 111–118. IEEE Comp. Soc. Press, Los Alamitos (2001)

    Google Scholar 

  141. Nicolas, B.: MDA experiment in telecom industry. 1st MDA Summer School, Brest, France (September 2002)

    Google Scholar 

  142. IST 33522 OMEGA project on Correct Development of Real-Time Embedded Systems, http://www-omega.imag.fr/

  143. OMG. The COmmon Object Request Broker: Architecture and specification (February 2001)

    Google Scholar 

  144. OMG. Dynamic scheduling, joint final submission (August 2001)

    Google Scholar 

  145. OMG. Response to the OMG RFP for schedulability, performance, and time (revised submission) (June 2001) OMG, RFP ad/2001-06-14

    Google Scholar 

  146. OMG. A UML profile for enterprise distributed object computing (June 2001) ptc/2001-12-04

    Google Scholar 

  147. OMG. UML 1.4 with action semantics (2002) OMG ptc/02-01-09

    Google Scholar 

  148. OPC Foundation (2003), http://www.opcfoundation.org/

  149. OPNET, http://www.opnet.com/

  150. OMG and R. Soley. Object management architecture guide, revision 3.0 (1995)

    Google Scholar 

  151. OSEK/VDX OS 2.2. http://www.osek-vdx.org

  152. Penix, J., Alexander, P.: Efficient specification-based component retrieval. Automated Software Engineering 6(2), 139–170 (1999)

    Article  Google Scholar 

  153. Pattison, T.: Programming Distributed Applications with COM+ and Microsoft Visual Basic 6.0, 2nd edn. Microsoft Press, Redmond (2000)

    Google Scholar 

  154. PECOS project, http://www.pecos-project.org

  155. Penix, J.: Automated Component Retrieval and Adaptation Using Formal Specifications. PhD thesis, Univ. Cincinnati, Ohio, USA (1998)

    Google Scholar 

  156. Perry, D.E.: Generic architecture descriptions for product lines. In: van der Linden, F.J. (ed.) Development and Evolution of Software Architectures for Product Families. LNCS, vol. 1429, pp. 51–56. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  157. Peti, P.: The concepts behind time, state, component, and interface – a literature survey. Research Report 53/2002, Technische Universität Wien, Institut für Technische Informatik, Vienna, Austria (2002)

    Google Scholar 

  158. Podgurski, A., Pierce, L.: Retrieving reusable software by sampling behaviour. ACM Trans. on Software Engineering and Methodology 2(3), 286–303 (1993)

    Article  Google Scholar 

  159. Petriu, D.C., Woodside, C.M.: Performance analysis with uml: layered queueing models from the performance profile. In: Lavagno, L., Martin, G., Selic, B. (eds.) UML for Real: Design of Embedded Real-Time Systems, pp. 221–240. Kluwer Academic, Dordrecht (2003)

    Google Scholar 

  160. Roman, E., Ambler, S., Jewell, T.: Mastering Enterprise JavaBeans, 2nd edn. John Wiley and Sons, Chichester (2001)

    Google Scholar 

  161. Rayfield, J.T.: Keynote presentation. In: CASES/EMSOFT 2002 (October 2002)

    Google Scholar 

  162. Reussner, R.H.: The use of parameterised contracts for architecting systems with software components. In: Proc. 6th Int. Workshop on Component-Oriented Programming (WCOP 2001), Budapest, Hungary (June 2001)

    Google Scholar 

  163. Reekie, H.J., Lee, E.A.: Lightweight component models for embedded systems. Technical Report UCB ERL M02/30, Electronics Research Laboratory, University of California at Berkeley (October 2002)

    Google Scholar 

  164. Reekie, H.J., Neuendorffer, S., Hylands, C., Lee, E.A.: Software practice in the Ptolemy project. Technical Report GSRC-TR-1999-01, Gigascale Silicon Research Center (April 1999)

    Google Scholar 

  165. Reekie, H.J., Neuendorffer, S., Hylands, C., Lee, E.A.: Software practice in the Ptolemy project. Gsrc-tr-1999-01, Gigascale Silicon Research Center (1999)

    Google Scholar 

  166. Positionnement du RNRT par rapport aux grandes Roadmaps” Européennes du secteur des Télécommunications (December 2003), http://www.telecom.gouv.fr/rnrt/qdn/roadmap_technopolis.pdf

  167. Roop, P.S., Sowmya, A.: A formal approach to component-based development of embedded systems. Tech. Report UNSW-CSE-TR-0004, Univ. South Wales, Sydney, Australia (May 2000)

    Google Scholar 

  168. Sharygina, N., Browne, J.C., Kurshan, R.P.: A Formal Object- Oriented Analysis for Software Reliability: Design for Verification. In: Hussmann, H. (ed.) FASE 2001. LNCS, vol. 2029, pp. 318–332. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  169. Smith, J., De Micheli, G.: Polynomial methods for component matching and verification. In: International Conference on Computer Aided Design (ICCAD 1998), San Jose, CA, USA, November 1998, pp. 678–685. ACM Press and IEEE Comp. Soc. Press (1998)

    Google Scholar 

  170. Selic, B.: Real-time object-oriented modeling (ROOM). In: Proc. 2nd IEEE Real-Time Technology and Applications Symposium (RTAS 1996), Boston, MA, USA, June 1996, pp. 214–219. IEEE Comp. Soc. Press, Los Alamitos (1996)

    Google Scholar 

  171. Selic, B.: Physical programming: Beyond mere logic. In: Sangiovanni-Vincentelli, A.L., Sifakis, J. (eds.) EMSOFT 2002. LNCS, vol. 2491, pp. 399–406. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  172. Schumann, J., Fischer, B.: NORA/HAMMR: Making deduction-based software component retrieval practical. In: Proc. Int. Conf. on Automated Software Engineering (ASE 1997), Lake Tahoe, CA, USA, November 1997, pp. 246–254. IEEE Comp. Soc. Press, Los Alamitos (1997)

    Chapter  Google Scholar 

  173. Salton, G., McGill, M.J.: Introduction to Modern Information Retrieval. McGraw-Hill, New York (1983)

    MATH  Google Scholar 

  174. Sanders, W.H., Meyer, J.F.: Reduced base model construction methods for stochastic activity networks. IEEE Journal on Selected Areas in Communications 9(1), 25–36 (1991)

    Article  Google Scholar 

  175. Steffen, B., Margaria, T., Braun, V.: The Electronic Integration Platform: Concepts and design. Journal of Software Tools for Technology Transfer 1(1-2), 9–30 (1997)

    Article  MATH  Google Scholar 

  176. R. Soley and the OMG Staff Strategy Group. Model Driven Architecture (Draft 3.2) (November 2000) OMG, White paper

    Google Scholar 

  177. R. Soley and the OMG Staff Strategy Group. Overview of the proposed Model Driven Architecture to augment the Object Management Architecture. omg/00-11- 05 (2000)

    Google Scholar 

  178. J. Siegel and the OMG Staff Strategy Group. Developing in OMG’s Model-Driven Architecture (November 2001) OMG, White paper, Revision 2.6

    Google Scholar 

  179. Schmidt, H.W., Reussner, R.: Generating adapters for concurrent component protocol synchronisation. In: Proc. 5th Int. Conf. Formal Methods for Open Object- Based Distributed Systems (FMOODS2002), Univ. Twente, Enschede, NL, March 2002. IFIP Conference Proceedings, vol. 209, pp. 213–229. Kluwer Academic, Dordrecht (2002)

    Google Scholar 

  180. Stefani, J.-B.: Computational aspects of QoS in an object based distributed architecture. In: Proc. 3rd Int. Workshop on Responsive Computer Systems, Lincoln, NH, USA (September 1993)

    Google Scholar 

  181. Sun Microsystems.Javabeans (July 1997), http://java.sun.com/products/javabeans/docs/spec.html

  182. Sun Microsystems. Enterprise JavaBeans specification (2002), http://java.sun.com/products/ejb/index.html

  183. Stickel, M.E., Waldinger, R.J., Lowry, M.R., Pressburger, T., Underwood, I.: Deductive composition of astronomical software from subroutine libraries. In: Bundy, A. (ed.) CADE 1994. LNCS, vol. 814, pp. 341–355. Springer, Heidelberg (1994)

    Google Scholar 

  184. Szyperski, C.: Component Software: Beyond Object-Oriented Programming. ACM Press and Addison-Wesley, New York (1998)

    Google Scholar 

  185. Telelogic. ObjectGEODE 4.1 Reference Manual (1999)

    Google Scholar 

  186. Telelogic. TAU Reference Manual (1999)

    Google Scholar 

  187. Telelogic. TAU Generation 2 Reference Manual (2002)

    Google Scholar 

  188. Tennenhouse, D.: Proactive computing. Communications of the ACM 43(5), 43–50 (2000)

    Article  Google Scholar 

  189. Teschke, T.: Semantic Component Retrieval Based on Business Process Models (Semantische Komponentensuche auf Basis von Geschäftsprozessmodellen). PhD thesis, Carl von Ossietzky Universität Oldenburg, Germany (September 2003) (in German)

    Google Scholar 

  190. Terrier, F., Gérard, S.: For a full integration of real-time concern into OO models, or “how to popularize real-time programming?”. In: Proc. 3rd Int. Conf. UML, The Unified Modeling Language: Advancing the Standard (UML 2000), York, UK, October 2000. LNCS, vol. 1939, pp. 25–35. Springer, Heidelberg (2000)

    Google Scholar 

  191. Information Systems & Management. Component Markets – An overview (2003), http://www.tu-chemnitz.de/wirtschaft/wi2/projects/components/

  192. U2 Partners. UML 2.0: Superstructure, 2nd revised submission. OMG Tech. Report ad/03-01-02 (2003)

    Google Scholar 

  193. OMG. UML – Unified Modelling Language, http://www.omg.org/uml/

  194. USE, a UML-based specification environment (2001)

    Google Scholar 

  195. van Ommering, R.C.: Building product populations with software components. In: Proc. 22nd Int. Conf. on Software Engineering (ICSE 2002), Orlando, FL, USA, May 2002, pp. 255–265. ACM Press, New York (2002)

    Chapter  Google Scholar 

  196. van Ommering, R.C., van der Linden, F., Kramer, J.: The Koala component model for consumer electronics software. IEEE Computer 33(3), 78–85 (2000)

    Google Scholar 

  197. Weis, T., Becker, C., Geihs, K., Plouzeau, N.: A UML meta-model for contract aware components. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol. 2185, pp. 442–456. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  198. Woodside, C.M., Hrischuk, C., Selic, B., Bayarov, S.: A wideband approach to integrating performance prediction into a software design environment. In: Proc. 1st Int. Workshop on Software and Performance (WOSP 1998), Santa Fe, NM, USA, October 1998, pp. 31–41. ACM Press, New York (1998)

    Chapter  Google Scholar 

  199. Wijnstra, J.G.: Components, interfaces and information models within a platform architecture. In: Bosch, J. (ed.) GCSE 2001. LNCS, vol. 2186, pp. 25–35. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  200. Warmer, J., Kleppe, A.: The Object Constraint Language: Precise Modelling with UML. Addison-Wesley, Reading (1999)

    Google Scholar 

  201. Wirsing, M., Knapp, A., Balsamo, S. (eds.): RISSEF 2002. LNCS, vol. 2941. Springer, Heidelberg (2004)

    MATH  Google Scholar 

  202. Weis, T., Plouzeau, N., Geihs, K., Sassen, A.-M., Jézéquel, J.-M., Macédo de Amorim, K.: QCCS: Quality controlled component-based software development. In: Barbier, F. (ed.) Business Component-Based Software Engineering. Kluwer Int. Series in Engineering and Computer Science, vol. 705, ch. 9, Kluwer Academic, Dordrecht (2002)

    Google Scholar 

  203. Wang, N., Schmidt, D., O’Ryan, C.: Overview of the CORBA Component Model (September 2000) (white paper)

    Google Scholar 

  204. Winter, M., Zeidler, C., Stich, C.: The PECOS software process. In: Proc. Workshop on Components-based Software Development Processes, Austin, TX, USA (April 2002)

    Google Scholar 

  205. Yellin, D.M., Strom, R.E.: Protocol specifications and component adaptors. ACM Trans. on Programming Languages and Systems 19(2), 292–333 (1997)

    Article  Google Scholar 

  206. Guohui Yu, L.R., Welch, W.: Automatic retrieval of formally specified real-time software components. In: Proc. 5th Workshop on Institutionalizing Software Reuse (WISR 1992), Palo Alto, CA (October 1992)

    Google Scholar 

  207. Zaremski, A.M., Wing, J.M.: Signature matching: A key to reuse. In: Proc. ACM SIGSOFT Symp. on the Foundations of Software Engineering, Los Angeles, CA, USA, December 1993, pp. 182–190. ACM Press, New York (1993)

    Chapter  Google Scholar 

  208. Zaremski, A.M., Wing, J.M.: Specification matching of software components. ACM Trans. on Software Engineering and Methodology 6(4), 333–369 (1997)

    Article  Google Scholar 

Download references

Authors
  1. Bruno Bouyssounouse
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Joseph Sifakis
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Bouyssounouse, B., Sifakis, J. (2005). References. In: Embedded Systems Design. Lecture Notes in Computer Science, vol 3436. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-31973-3_16

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-31973-3_16

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-25107-1

  • Online ISBN: 978-3-540-31973-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation