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 165 Reviews about "Real-Time Systems And Embedded Systems (D.4.7...)": Date Reviewed
  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
  Guide to computing fundamentals in cyber-physical systems: concepts, design methods, and applications
Möller D.,  Springer International Publishing, New York, NY, 2016. 422 pp. Type: Book (978-3-319251-76-9)

We are living through the fourth Industrial Revolution, which is causing steep change in our professions and lives. If you are wondering where to start comprehending its technical aspects, start here. Beginning with an introduction to the study of...

Apr 6 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