skip to main content
Skip header Section
Modeling Embedded Systems and SoC's: Concurrency and Time in Models of ComputationJuly 2003
Publisher:
  • Morgan Kaufmann Publishers Inc.
  • 340 Pine Street, Sixth Floor
  • San Francisco
  • CA
  • United States
ISBN:978-1-55860-925-9
Published:01 July 2003
Pages:
375
Skip Bibliometrics Section
Bibliometrics
Abstract

No abstract available.

Cited By

  1. Medeiros E, Peixoto E and Lemos E Fact: A Domain-Specific Language Based on a Functional Algebra for Continuous Time Modeling Proceedings of the Winter Simulation Conference, (2650-2661)
  2. Skelin M, Geilen M, Catthoor F and Hendseth S (2017). Worst-case performance analysis of SDF-based parameterized dataflow, Microprocessors & Microsystems, 52:C, (439-460), Online publication date: 1-Jul-2017.
  3. ACM
    Grimm C and Rathmair M Dealing with Uncertainties in Analog/Mixed-Signal Systems Proceedings of the 54th Annual Design Automation Conference 2017, (1-6)
  4. Iugan L, Nicolescu G and Boucheneb H Rollback-based simulation for the design of continuous/discrete simulation tools Proceedings of the Summer Computer Simulation Conference, (1-8)
  5. Bauer A and Falcone Y (2016). Decentralised LTL monitoring, Formal Methods in System Design, 48:1-2, (46-93), Online publication date: 1-Apr-2016.
  6. ACM
    Che W and Chatha K (2013). Scheduling of synchronous data flow models onto scratchpad memory-based embedded processors, ACM Transactions on Embedded Computing Systems, 13:1s, (1-25), Online publication date: 1-Nov-2013.
  7. Niaki S and Sander I An automated parallel simulation flow for heterogeneous embedded systems Proceedings of the Conference on Design, Automation and Test in Europe, (27-30)
  8. ACM
    Davare A, Densmore D, Guo L, Passerone R, Sangiovanni-Vincentelli A, Simalatsar A and Zhu Q (2013). metroII, ACM Transactions on Embedded Computing Systems, 12:1s, (1-31), Online publication date: 1-Mar-2013.
  9. ACM
    Leary G, Che W and Chatha K System-level synthesis of memory architecture for stream processing sub-systems of a MPSoC Proceedings of the 49th Annual Design Automation Conference, (672-677)
  10. Rigatos G (2012). Models of computation for reactive control of autonomous mobile robots, Expert Systems with Applications: An International Journal, 39:8, (6767-6773), Online publication date: 1-Jun-2012.
  11. Koudri A, Cuccuru A, Gerard S and Terrier F Designing heterogeneous component based systems Proceedings of the 14th international conference on Model driven engineering languages and systems, (243-257)
  12. ACM
    Marwedel P and Engel M Embedded system design 2.0 Proceedings of the 6th Workshop on Embedded Systems Education, (9-16)
  13. ACM
    Lee E Heterogeneous actor modeling Proceedings of the ninth ACM international conference on Embedded software, (3-12)
  14. ACM
    Diallo P, Champeau J and Leilde V An approach for describing concurrency and communication of heterogeneous systems Proceedings of the Third Workshop on Behavioural Modelling, (56-63)
  15. ACM
    Adler R, Schaefer I, Trapp M and Poetzsch-Heffter A (2011). Component-based modeling and verification of dynamic adaptation in safety-critical embedded systems, ACM Transactions on Embedded Computing Systems, 10:2, (1-39), Online publication date: 1-Dec-2010.
  16. ACM
    Lee E and Seshia S An introductory textbook on cyber-physical systems Proceedings of the 2010 Workshop on Embedded Systems Education, (1-6)
  17. Angelov C, Zhou F and Sierszecki K Specification of embedded control systems behaviour using actor interface automata Proceedings of the 8th IFIP WG 10.2 international conference on Software technologies for embedded and ubiquitous systems, (167-178)
  18. Lee E Disciplined heterogeneous modeling Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II, (273-287)
  19. Koudri A, Champeau J, Le Lann J and Leilde V MoPCoM methodology Proceedings of the 6th European conference on Modelling Foundations and Applications, (189-200)
  20. ACM
    Guang L, Nigussie E, Rantala P, Isoaho J and Tenhunen H (2010). Hierarchical agent monitoring design approach towards self-aware parallel systems-on-chip, ACM Transactions on Embedded Computing Systems, 9:3, (1-24), Online publication date: 1-Feb-2010.
  21. Gerstlauer A and Schirner G Platform modeling for exploration and synthesis Proceedings of the 2010 Asia and South Pacific Design Automation Conference, (725-731)
  22. ACM
    Lee E Introducing embedded systems: a cyber-physical approach Proceedings of the 2009 Workshop on Embedded Systems Education, (1-2)
  23. Leung M, Mandl T, Lee E, Latronico E, Shelton C, Tripakis S and Lickly B Scalable Semantic Annotation Using Lattice-Based Ontologies Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems, (393-407)
  24. Seceleanu T and Jantsch A (2008). Modeling Communication with Synchronized Environments, Fundamenta Informaticae, 86:3, (343-369), Online publication date: 15-Oct-2008.
  25. ACM
    Gheorghe L, Bouchhima F, Nicolescu G and Boucheneb H Semantics for model-based validation of continuous/discrete systems Proceedings of the conference on Design, automation and test in Europe, (498-503)
  26. Damm M, Haase J, Grimm C, Herrera F and Villar E (2008). Bridging MoCs in SystemC specifications of heterogeneous systems, EURASIP Journal on Embedded Systems, 2008, (1-16), Online publication date: 30-Jan-2008.
  27. André C, Mallet F and De Simone R Modeling time(s) Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems, (559-573)
  28. ACM
    Lee E and Zheng H Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems Proceedings of the 7th ACM & IEEE international conference on Embedded software, (114-123)
  29. ACM
    Indrusiak L and Glesner M Specification of alternative execution semantics of UML sequence diagrams within actor-oriented models Proceedings of the 20th annual conference on Integrated circuits and systems design, (330-335)
  30. ACM
    Mathaikutty D, Patel H, Shukla S and Jantsch A (2008). EWD, ACM Transactions on Design Automation of Electronic Systems, 12:3, (1-43), Online publication date: 17-Aug-2007.
  31. ACM
    Herrera F and Villar E (2008). A framework for heterogeneous specification and design of electronic embedded systems in SystemC, ACM Transactions on Design Automation of Electronic Systems, 12:3, (1-31), Online publication date: 17-Aug-2007.
  32. Gheorghe L, Bouchhima F, Nicolescu G and Boucheneb H A formalization of global simulation models for continuous/discrete systems Proceedings of the 2007 Summer Computer Simulation Conference, (559-566)
  33. Hofstra K and Gerez S Arx Proceedings of the 2nd international conference on High performance embedded architectures and compilers, (215-226)
  34. Suhaib S, Mathaikutty D, Berner D and Shukla S (2006). Validating Families of Latency Insensitive Protocols, IEEE Transactions on Computers, 55:11, (1391-1401), Online publication date: 1-Nov-2006.
  35. ACM
    Herrera F and Villar E A framework for embedded system specification under different models of computation in SystemC Proceedings of the 43rd annual Design Automation Conference, (911-914)
  36. ACM
    Edwards S (2005). Experiences teaching an FPGA-based embedded systems class, ACM SIGBED Review, 2:4, (56-62), Online publication date: 1-Oct-2005.
  37. ACM
    Marwedel P (2005). Towards laying common grounds for embedded system design education, ACM SIGBED Review, 2:4, (25-28), Online publication date: 1-Oct-2005.
  38. Wong J, Liao W, Li F, He L and Potkonjak M Scheduling of Soft Real-Time Systems for Context-Aware Applications Proceedings of the conference on Design, Automation and Test in Europe - Volume 1, (318-323)
Contributors
  • Vienna University of Technology

Index Terms

  1. Modeling Embedded Systems and SoC's: Concurrency and Time in Models of Computation

        Recommendations

        Reviews

        Leandro S. Indrusiak

        There is a strong need for a textbook such as this one; electronics and computer engineering programs face changes in their curricula, seeking to adapt to current system-oriented trends. Curricular guidelines proposed by the educational authorities of the European Community [1], and strongly backed by the European consumer electronics industry, explicitly advocate the use of a blend of topics that will give the student a view of the whole system, and not only of its electronic circuitry. A similar approach can be observed in the current draft of the ACM Computing Curricula 2004 [2]. The fact that the new curricula must embrace topics that were traditionally divided among several degree programs, such as communications engineering, computer science, and electronic engineering, only makes matters worse. Thus, the ideal of having engineers who are knowledgeable in hardware, software, and communications will only be achieved if research on a common foundation among those areas is applied to teaching activities. Jantsch's book is one of the first textbooks to try that approach, and it relies on more than 20 years of research on models of computation to accomplish its task. Models of computation are formalisms that define how the parts of a given system behave and communicate, particularly with regard to synchronization and timing. Unlike other books on models of computation, written by theoretical computer scientists, Jantsch starts by recalling basic modeling principles that every engineering student knows, and by relating such principles with those of models of computation (time, concurrency, communication, and behavior composition), allowing for a lighter introduction to an otherwise arid subject. A similar approach is followed throughout the book, with a strong emphasis on applications to digital hardware and embedded software design, which avoids pure theoretical topics. The book also covers the possibility of interfacing different models of computation, a crucial issue in coping with the heterogeneity found in current systems, where, for instance, signal processing subsystems must coexist with reactive real-time modules. The book is suitable for an entry-level graduate course, providing students with the necessary background to build bridges between further courses covering traditional topics in computer science, computer engineering, and electronic engineering. Despite the efforts of the author to adapt the book's content for classroom use, the textbook still shows signs of its research-derived heritage. In many cases, this is beneficial, since students are given a solid foundation, and plenty of references for further reading on each of the covered topics. However, a few sections would benefit from more examples and real-world applications. The companion Web site for the book could be the ideal place for such extensions, as it is currently misused, only offering read-only copies of the teaching material used by the author in a graduate course. Online Computing Reviews Service

        Access critical reviews of Computing literature here

        Become a reviewer for Computing Reviews.