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
  Browse All Reviews > Software (D) > Operating Systems (D.4) > Organization And Design (D.4.7) > Real-Time Systems And Embedded Systems (D.4.7...)  
  1-10 of 166 Reviews about "Real-Time Systems And Embedded Systems (D.4.7...)": Date Reviewed
  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
  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 requirements that ...

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 from an addi...

Aug 25 2017
  Introduction to embedded systems: a cyber-physical systems approach (2nd ed.)
Lee E., Seshia S.,  MIT Press, Cambridge, MA, 2017.Type: Book (9780262533812)

This book begins with the statement (from page 1), “[A] CPS [cyber-physical system] is about the intersection, not the union, of the physical and the cyber. It is not sufficient to separately understand the physical components and the comput...

Aug 22 2017
  Internet of Things from hype to reality: the road to digitization
Rayes A., Salam S.,  Springer International Publishing, New York, NY, 2016. 328 pp. Type: Book (978-3-319448-58-9)

Written by two Cisco engineers (Ammar Rayes and Samer Salam), this book is a very interesting summary of all you need to know about the Internet of Things (IoT). The book is divided into 11 chapters, plus an appendix and a glossary. Although the a...

May 18 2017
  The AXIOM software layers
Álvarez C., Ayguadé E., Bosch J., Bueno J., Cherkashin A., Filgueras A., Jiménez-González D., Martorell X., Navarro N., Vidal M., Theodoropoulos D., Pnevmatikatos D., Catani D., Oro D., Fernández C., Segura C., Rodríguez J., Hernando J., Scordino C., Gai P., Passera P., Pomella A., Bettin N., Rizzo A., Giorgi R.  Microprocessors & Microsystems 47, Part B, 262-277, 2016. Type: Article

AXIOM is a project aimed at building a hardware substrate and software layers to target cyber-physical systems (CPS) that interact with users in real-time running applications such as face recognition. The paper should be of interest to any practi...

May 15 2017
  Design of an intelligent embedded system for condition monitoring of an industrial robot
Jaber A.,  Springer International Publishing, New York, NY, 2016. 279 pp. Type: Book (978-3-319449-31-9)

We’re safe for now; robots are still very complicated, especially keeping them running smoothly. An excellent published PhD thesis highlights this complexity and presents a detailed design for real-time monitoring and control of various tech...

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