Skip to main content
SpringerLink
Log in

Execution Models

  • Chapter
Global Specification and Validation of Embedded Systems

  • 416 Accesses

A system consists of a set of interconnected subsystems. Each subsystem can have its own characteristics (functionalities and implementations). The computation models as seen in the previous chapter concerning system functionalities, make it possible to define certain features such as parallelism, type of information handled.

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
Hardcover Book
USD 109.99
Price excludes VAT (USA)
  • Durable hardcover 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. AMBA Specification, ARM Limited Edition, 1999, available online http://www.gaisler.com/doc/amba.pdf.

  2. C. Andr é, H. Boufaied, S. Dissoubray, “SyncCharts/Esterel: un mod èle synchrone pour syst èmes r éactives complexes”, in Real-Time and Embedded Systems, Paris, 14-16 January 1998, pp. 175-194, Teknea.

    Google Scholar 

  3. M. Burton, F. Ghenessia, Stuart Swan, “Transaction Level Model- ing: Overview and Requirements for SystemC Methodology”, White paper, May 13, 2003.

    Google Scholar 

  4. D. R. Butenhof, Programming with Posix Thread, Addison-Wesley Professional, May 16, 1997.

    Google Scholar 

  5. J. Connell, “ARM System-Level Modeling”, White paper, June 25, 2003, www.arm.com.

  6. Available online, “Common Object Request Broker Architecture: Core specification”, v3.03.3, March 2004, OMG, Inc. http://www.omg.org/technology/documents/corbaspeccatalog.htm.

  7. Synopsys, Inc., 700 E. Middlefield Rd., Mountain View, CA 94043, USA, COSSAP User’s Manual, January 1997.

    Google Scholar 

  8. DCOM, Definition online, http://www.webopedia.com/TERM/D/DCOM.html.

  9. Scheduling, Definition on line, http://w3.granddictionnaire.com/btml/fra/rmotclef/index10241.asp

  10. Estelle, service online, http://www.infres.enst.fr/~cottin/protocol/estelle.htm.

  11. J. M. Geib, C. Gransart, P. Merle, Corba, des concepts à la pratique, Masson Editeur, Paris, 1997.

    MATH  Google Scholar 

  12. W. Gropp, E. Lusk, A. Skjellum, Using MPI: Portable Parallel Programming with the Message-Passing Interface, MIT Press, 1996.

    Google Scholar 

  13. On line service, “Hardware Abstraction Layer in RISC OS 5”, December 2002, http://www.iyonix.com/32bit/HAL.shtml.

  14. D. Harel, “A Visual Formalism for Complex Systems”, Science of Computer Programming, 1987, 8, pp 231-274.

    Article  MATH  MathSciNet  Google Scholar 

  15. G. J. Holzmann, Basic Spin Manual, 10th Edition, Vol. 2, Saunders College, 1990, pp. 429-450.

    Google Scholar 

  16. C. Kaisar, “Synchronization Par Message”, course support, May 2002.

    Google Scholar 

  17. E. Lee, “Computing for Embedded Systems”, IEEE Instrumentation and Measurement Technology Conference Budapest, Hungary, May 21-23, 2001.

    Google Scholar 

  18. E. Lee, “Heterogeneous Concurrent Modeling and Design”, Super- seded by “Overview of the Ptolemy Project,” UCB-ERL No. M99/40, July 19, 1999.

    Google Scholar 

  19. G. Luttgen, M. Von Der Beek, R. Cleavland, “A Compositional Approach to Statecharts Semantics”, ICASE Report No. 2000-12, March 2000.

    Google Scholar 

  20. G. Nicolescu, K. Svarstad, W. C ésario, L. Gauthier, D. Lyonnard, S. Yoo, P. Coste, A. A. Jerraya, “Desiderata pour la sp écification et la conception des syst èmes électroniques”, Technique et science informatiques, 8 avril 2001.

    Google Scholar 

  21. Available online, http://www.faqs.org/rfcs/rfc1831.html.

  22. [Sch99] S. Schneider, Concurrent and Real-Time Systems: The CSP Approach, Wiley Professional Computing Edition, September 1999.

    Google Scholar 

  23. Computer networks and ISDN Systems. CCITT SDL, 1987.

    Google Scholar 

  24. Sockets, service on line, http://www.commentcamarche.net/sockets/sockintro.php3

  25. “SystemC Design Language”, available online, http://www.systemc.org, 2002.

  26. Andrew S. Tanenbaum, Structured Computer Organization, Prentice-Hall, 4th Edition, 1999.

    Google Scholar 

  27. IEEE Standard VHDL Language Reference Manual, IEEE, Institute of Electrical and Electronically Engineers, 1993, STD 1076-1993.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Tima Laboratory, Grenoble, France

    L. Kriaa

Authors
  1. L. Kriaa
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Ecole Polytechnique de Montreal, QC, Canada

    G. Nicolescu

  2. CEA-LETI, Grenoble, France

    A. A. Jerraya

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer

About this chapter

Cite this chapter

Kriaa, L. (2007). Execution Models. In: Nicolescu, G., Jerraya, A.A. (eds) Global Specification and Validation of Embedded Systems. Springer, Dordrecht. https://doi.org/10.1007/978-1-4020-6153-0_3

Download citation

  • DOI: https://doi.org/10.1007/978-1-4020-6153-0_3

  • Publisher Name: Springer, Dordrecht

  • Print ISBN: 978-1-4020-6151-6

  • Online ISBN: 978-1-4020-6153-0

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation