03479nam 22005655 450 991041611890332120221007200208.03-030-47487-910.1007/978-3-030-47487-4(CKB)4100000011363596(DE-He213)978-3-030-47487-4(MiAaPQ)EBC6274704(Au-PeEL)EBL6274704(OCoLC)1182516503(EXLCZ)99410000001136359620200730d2021 uy 0engurnn#---mamaatxtrdacontentcrdamediacrrdacarrierA journey of embedded and cyber-physical systems essays dedicated to Peter Marwedel on the occasion of his 70th birthday /editor, Jian-Jia Chen1st edition 2021.Cham :Springer International Publishing :Imprint: Springer,2021.1 online resource (XV, 176 p. 118 illus., 54 illus. in color.)3-030-47486-0 Chapter 1. Peter Marwedel and the Department of Computer Science of the TU Dortmund University -- Chapter 2. Testing Implementation Soundness of a WCET Analysis Tool. Chapter 3. The Dynamic Random Access Memory Challenge in Embedded Computing Systems -- Chapter 4. On the Formalism and Properties of Timing Analyses in Real-Time Embedded Systems -- Chapter 5. ASSISTECH: An Accidental Journey into Assistive Technology -- Chapter 6. Reflecting on Self-aware Systems-on-Chip -- Chapter 7. Pushing the Limits of Parallel Discrete Event Simulation for SystemC -- Chapter 8. Impact of Negative Capacitance Transistor (NCFET) on Many-Core Systems -- Chapter 9. Run-Time Enforcement of Non-functional Program Properties on MPSoCs -- Chapter 10. Compilation for Real-Time Systems a Decade After Predator.This Open Access book celebrates Professor Peter Marwedel's outstanding achievements in compilers, embedded systems, and cyber-physical systems. The contributions in the book summarize the content of invited lectures given at the workshop “Embedded Systems” held at the Technical University Dortmund in early July 2019 in honor of Professor Marwedel's seventieth birthday. Provides a comprehensive view from leading researchers with respect to the past, present, and future of the design of embedded and cyber-physical systems; Discusses challenges and (potential) solutions from theoreticians and practitioners on modeling, design, analysis, and optimization for embedded and cyber-physical systems; Includes coverage of model verification, communication, software runtime systems, operating systems and real-time computing.Electronic circuitsComputer engineeringInternet of thingsEmbedded computer systemsMicroelectronicsCooperating objects (Computer systems)Electronic circuits.Computer engineering.Internet of things.Embedded computer systems.Microelectronics.Cooperating objects (Computer systems).621.3815Chen Jian-Jiaedthttp://id.loc.gov/vocabulary/relators/edtMarwedel Peter1949-MiAaPQMiAaPQMiAaPQBOOK9910416118903321A Journey of Embedded and Cyber-Physical Systems1907208UNINA