Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
Search
  Browse All Reviews > Software (D) > Operating Systems (D.4) > Organization And Design (D.4.7) > Real-Time Systems And Embedded Systems (D.4.7...)  
 
Options:
 
  1-10 of 172 Reviews about "Real-Time Systems And Embedded Systems (D.4.7...)": Date Reviewed
  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 method for secure...

Jan 19 2021
  Embedded software for the IoT (3rd ed.)
Elk K.,  DE GRUYTER, Boston, MA, 2019. 294 pp. Type: Book (978-1-547417-15-5)

An in-depth study of embedded software for the Internet of Things (IoT), this book explains various topics, from selecting an operating system (OS) to code maintenance. Due to the resource-constrained nature of IoT, it is always a challenge to uti...

Nov 30 2020
  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 emitters and rec...

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 manifestations...

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 water purificat...

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 execution spe...

Nov 22 2019
  Introduction to embedded systems: a cyber-physical systems approach (2nd ed.)
Lee E., Seshia S.,  The MIT Press, Cambridge, MA, 2017. 568 pp. Type: Book (978-0-262533-81-2)

The design of embedded computing systems has become more important as wireless systems, smart appliances, automotive systems, and many other cyber-physical systems are built upon an embedded system. This book introduces many concepts related to mo...

Mar 1 2018
  Data-driven synchronization for Internet-of-Things systems
Bennett T., Gans N., Jafari R.  ACM Transactions on Embedded Computing Systems 16(3): 1-24, 2017. Type: Article

Time synchronization has been an active issue for decades. Stricter timing, energy considerations, external influences, and so on have spurred new studies. Two variants can be found: synchronize the clocks of distributed devices or provide a formu...

Feb 13 2018
  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, in particular...

Jan 3 2018
  Incremental bounded model checking for embedded software
Schrammel P., Kroening D., Brain M., Martins R., Teige T., Bienmüller T.  Formal Aspects of Computing 29(5): 911-931, 2017. Type: Article

Bounded model checking is employed in tools for the formal verification of C programs such as the C bounded model checker (CBMC). The key idea of this technique is to unwind unbounded program loops to a fixed depth and to translate the resulting p...

Dec 4 2017
 
 
 
Display per page
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright © 2000-2021 ThinkLoud, Inc.
Terms of Use
| Privacy Policy