No abstract available.
Cited By
- 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)
- 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.
- Grimm C and Rathmair M Dealing with Uncertainties in Analog/Mixed-Signal Systems Proceedings of the 54th Annual Design Automation Conference 2017, (1-6)
- 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)
- 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.
- 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.
- 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)
- 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.
- 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)
- 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.
- 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)
- Marwedel P and Engel M Embedded system design 2.0 Proceedings of the 6th Workshop on Embedded Systems Education, (9-16)
- Lee E Heterogeneous actor modeling Proceedings of the ninth ACM international conference on Embedded software, (3-12)
- 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)
- 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.
- Lee E and Seshia S An introductory textbook on cyber-physical systems Proceedings of the 2010 Workshop on Embedded Systems Education, (1-6)
- 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)
- Lee E Disciplined heterogeneous modeling Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II, (273-287)
- 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)
- 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.
- Gerstlauer A and Schirner G Platform modeling for exploration and synthesis Proceedings of the 2010 Asia and South Pacific Design Automation Conference, (725-731)
- Lee E Introducing embedded systems: a cyber-physical approach Proceedings of the 2009 Workshop on Embedded Systems Education, (1-2)
- 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)
- Seceleanu T and Jantsch A (2008). Modeling Communication with Synchronized Environments, Fundamenta Informaticae, 86:3, (343-369), Online publication date: 15-Oct-2008.
- 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)
- 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.
- 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)
- 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)
- 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)
- 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.
- 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.
- 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)
- Hofstra K and Gerez S Arx Proceedings of the 2nd international conference on High performance embedded architectures and compilers, (215-226)
- 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.
- 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)
- Edwards S (2005). Experiences teaching an FPGA-based embedded systems class, ACM SIGBED Review, 2:4, (56-62), Online publication date: 1-Oct-2005.
- 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.
- 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)
Index Terms
- Modeling Embedded Systems and SoC's: Concurrency and Time in Models of Computation
Recommendations
Design of Multimedia SoC Platform with a Crossbar On-Chip Bus for Embedded Systems
NCM '08: Proceedings of the 2008 Fourth International Conference on Networked Computing and Advanced Information Management - Volume 01We propose a multimedia SoC platform with a crossbar on-chip bus which can reduce the bottleneck of on-chip communication by multi-channels. The platform consists of RISC processor, WISHBONE crossbar on-chip bus, memory interface, VGA controller, DMA, ...
Modeling Embedded Systems: From SystemC and Esterel to DFCharts
This article addresses the need for directly expressing heterogeneous, hierarchical behaviorsfor modeling specific embedded systems. After analyzing two existing ESL languages, SystemC andEsterel, the authors created a new model of computation and a ...
Arbiter synthesis approach for SoC multi-processor systems
The increasing complexity of Multi-Processor System on Chip (MPSoC) is requiring communication infrastructures that will efficiently accommodate the communication needs of the integrated computation resources. Exploring the arbitration space is crucial ...