Embedded System Design: Modeling, Synthesis and Verification introduces a model-based approach to system level design. It presents modeling techniques for both computation and communication at different levels of abstraction, such as specification, transaction level and cycle-accurate level. It discusses synthesis methods for system level architectures, embedded software and hardware components. Using these methods, designers can develop applications with high level models, which are automatically translatable to low level implementations. This book, furthermore, describes simulation-based and formal verification methods that are essential for achieving design confidence. The book concludes with an overview of existing tools along with a design case study outlining the practice of embedded system design. Specifically, this book addresses the following topics in detail: . System modeling at different abstraction levels . Model-based system design . Hardware/Software codesign . Software and Hardware component synthesis . System verification This book is for groups within the embedded system community: students in courses on embedded systems, embedded application developers, system designers and managers, CAD tool developers, design automation, and system engineering.
Cited By
- Nours S and Postula A (2018). A Hybrid Simulation Approach for Fast and Accurate Timing Analysis of Multi-Processor Platforms Considering Communication Resources Conflicts, Journal of Signal Processing Systems, 90:12, (1667-1685), Online publication date: 1-Dec-2018.
- Jayaraman P and Parthasarathi R (2017). A Survey on Post-Silicon Functional Validation for Multicore Architectures, ACM Computing Surveys, 50:4, (1-30), Online publication date: 31-Jul-2018.
- Li Y, Niu J, Atiquzzaman M and Long X (2017). Energy-aware scheduling on heterogeneous multi-core systems with guaranteed probability, Journal of Parallel and Distributed Computing, 103:C, (64-76), Online publication date: 1-May-2017.
- Chen L, Ebrahimi M and Tahoori M (2016). Reliability-Aware Resource Allocation and Binding in High-Level Synthesis, ACM Transactions on Design Automation of Electronic Systems, 21:2, (1-27), Online publication date: 28-Jan-2016.
- Purohit G, Raju K and Chaubey V (2016). XOR-FREE implementation of convolutional encoder for reconfigurable hardware, International Journal of Reconfigurable Computing, 2016, (1-1), Online publication date: 1-Jan-2016.
- Schmidt T, Grüttner K, Dömer R and Rettberg A (2015). A program state machine based virtual processing model in SystemC, ACM SIGBED Review, 11:4, (7-12), Online publication date: 22-Jan-2015.
- Peter S and Givargis T (2015). Component-Based Synthesis of Embedded Systems Using Satisfiability Modulo Theories, ACM Transactions on Design Automation of Electronic Systems, 20:4, (1-27), Online publication date: 28-Sep-2015.
- Ndu G, Navaridas J and Luján M CHO Proceedings of the 3rd International Workshop on OpenCL, (1-10)
- Chen L, Ebrahimi M and Tahoori M (2015). Formal Quantification of the Register Vulnerabilities to Soft Error in RTL Control Paths, Journal of Electronic Testing: Theory and Applications, 31:2, (193-206), Online publication date: 1-Apr-2015.
- Becker M, Kuznik C and Mueller W WiP Abstract ICCPS '14: ACM/IEEE 5th International Conference on Cyber-Physical Systems (with CPS Week 2014), (213-213)
- Gore R, Diallo S and Padilla J (2014). ConceVE, ACM Transactions on Modeling and Computer Simulation, 24:2, (1-17), Online publication date: 1-Feb-2014.
- Chen L and Tahoori M Reliability-aware Register Binding for Control-Flow Intensive Designs Proceedings of the 51st Annual Design Automation Conference, (1-6)
- Diebold P, Lampasona C, Zverlov S and Voss S Practitioners' and researchers' expectations on design space exploration for multicore systems in the automotive and avionics domains Proceedings of the 18th International Conference on Evaluation and Assessment in Software Engineering, (1-10)
- Benazouz M and Munier-Kordon A Cyclo-static DataFlow phases scheduling optimization for buffer sizes minimization Proceedings of the 16th International Workshop on Software and Compilers for Embedded Systems, (3-12)
- Gore R and Diallo S The need for usable formal methods in verification and validation Proceedings of the 2013 Winter Simulation Conference: Simulation: Making Decisions in a Complex World, (1257-1268)
- Hoyos H, Casallas R and Jiménez F HiLeS-T Proceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems, (7-12)
- Zhang Z, Porter J, Kottenstette N, Koutsoukos X and Sztipanovits J (2011). High confidence embedded software design, ACM SIGBED Review, 8:2, (44-47), Online publication date: 1-Jun-2011.
- Lee E and Seshia S An introductory textbook on cyber-physical systems Proceedings of the 2010 Workshop on Embedded Systems Education, (1-6)
- Gerstlauer A and Schirner G Platform modeling for exploration and synthesis Proceedings of the 2010 Asia and South Pacific Design Automation Conference, (725-731)
- Schirner G, Gerstlauer A and Dömer R System-level development of embedded software Proceedings of the 2010 Asia and South Pacific Design Automation Conference, (903-909)
Recommendations
RTOS-centric hardware/software cosimulator for embedded system design
CODES+ISSS '04: Proceedings of the 2nd IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesisThis paper presents an RTOS-centric hardware/software cosimulator which we have developed for embedded system design. One of the most remarkable features in our cosimulator is that it has a complete simulation model of an RTOS which is widely used in ...
RTOS-Centric Hardware/Software Cosimulator for Embedded System Design
CODES+ISSS '04: Proceedings of the international conference on Hardware/Software Codesign and System Synthesis: 2004This paper presents an RTOS-centric hardware/software cosimulator which we have developed for embedded system design. One of the most remarkable features in our cosimulator is that it has a complete simulation model of an RTOS which is widely used in ...