Browse All Reviews
Operating Systems (D.4)
Organization And Design (D.4.7)
> Real-Time Systems And Embedded Systems (D.4.7...)
All Media Types
1-10 of 47 Reviews about "
Real-Time Systems And Embedded Systems (D.4.7...)
Securing the device drivers of your embedded systems: framework and prototype
Li Z., Wang J., Sun M., Lui J. ARES 2019 (Proceedings of the 14th International Conference on Availability, Reliability and Security, Canterbury, UK, Aug 26-29, 2019) 1-10, 2019. Type: Proceedings
Device drivers in embedded systems are often filled with defects and security issues, which occur at any stage. During either buildtime or runtime, logical errors can have a significant impact. Although there is no single tool or metho...
Jan 19 2021
Smart network inspired paradigm and approaches in IoT applications
Elhoseny M., Singh A., Springer International Publishing, New York, NY, 2019. 253 pp. Type: Book
There is no question that today’s world moves via billions and billions of bits exchanging data and information among millions or billions of emitters and receivers. One important aspect of this known challenge is that those ...
Nov 25 2020
Systematically ensuring the confidence of real-time home automation IoT systems
Bu L., Xiong W., Liang C., Han S., Zhang D., Lin S., Li X. ACM Transactions on Cyber-Physical Systems 2(3): 1-23, 2018. Type: Article
The quick expansion of computing technology in many areas leads to different new paradigms; among them is the paradigm of cyber-physical systems (CPS) with commonly acquired sensor data that can be processed in real time. One of the ma...
Oct 13 2020
Trustworthy cyber-physical systems: a systematic framework towards design and evaluation of trust and trustworthiness
Mohammadi N., Springer International Publishing, New York, NY, 2019. 344 pp. Type: Book (978-3-658274-87-0)
Users expect a trustworthy system to behave according to its requirements. Trustworthiness is a fundamental design objective for any system that provides critical functions, for example, transportation systems, medical systems, and wat...
Jul 1 2020
Schedulability analysis of tasks with corunner-dependent execution times
Andersson B., Kim H., de Niz D., Klein M., Rajkumar R., Lehoczky J. ACM Transactions on Embedded Computing Systems 17(3): 1-29, 2018. Type: Article
Scarce computer memory and processor core resources create crucial challenges to the real-time execution of concurrent software. How should a multicore processor be efficiently programmed to process concurrent software with different e...
Nov 22 2019
Practical LXC and LXD: Linux containers for virtualization and orchestration
Kumaran S. S., Apress, New York, NY, 2017. 159 pp. Type: Book (978-1-484230-23-7)
Virtualized environments, both virtual machines (VMs) and containers, have become the essential technologies of elastic cloud computing services. System administrators of such services frequently encounter Linux-based virtualization, i...
Jan 3 2018
Mixed-criticality federated scheduling for parallel real-time tasks
Li J., Ferry D., Ahuja S., Agrawal K., Gill C., Lu C. Real-Time Systems 53(5): 760-811, 2017. Type: Article
In mixed-criticality systems, the same computing platform is used to execute a workload consisting of safety-critical tasks and non-safety-critical ones. Whereas the former class of tasks exposes stringent timing and performance requir...
Nov 29 2017
Rugged embedded systems: computing in harsh environments
Vega A., Bose P., Buyuktosunoglu A., Morgan Kaufmann Publishers, Cambridge, MA, 2017. 362 pp. Type: Book (9780128024591)
Ten chapters, with an additional 73-page online chapter on embedded security, comprise this book. It draws on the expertise of the three authors from their time at the IBM T. J. Watson Research Center in Yorktown Heights, NY, and also ...
Aug 25 2017
The limited-preemptive feasibility of real-time tasks on uniprocessors
Thekkilakattil A., Dobrin R., Punnekkat S. Real-Time Systems 51(3): 247-273, 2015. Type: Article
When it comes to real-time systems, the schedulability of a given task set will always be more likely if preemption of the running task is permitted. Preemption does, however, have some drawbacks, one of which is time spent switching t...
Oct 27 2015
Runtime verification of embedded real-time systems
Reinbacher T., Függer M., Brauer J. Formal Methods in System Design 44(3): 203-239, 2014. Type: Article
Runtime verification involves checking whether a given system (in software or hardware) satisfies a given property during the execution of the system. This paper presents a set of runtime verification algorithms, their correctness, and...
Aug 28 2015
Reproduction in whole or in part without permission is prohibited. Copyright 1999-2023 ThinkLoud