In today's digital environment, distributed systems are increasingly present in a wide variety of environments, ranging from public software applications to critical systems.Distributed Systems introduces the underlying concepts, the associated design techniques and the related …
In diesem Buch wird die eingebettete Programmierung der Mikrocomputer anhand von konkreten Beispielen der XC800-Familie von Infineon vorgestellt. Der Schwerpunkt liegt auf Programmierbeispielen in der Sprache C, die die Lösung konkreter Aufgaben für den Leser leicht nachvollzieh…
Parametric timed automata -- The inverse method for parametric timed automata -- The inverse method in practice: application to case studies -- Behavioral cartography of timed automata -- Parameter synthesis for hybrid automata -- Application to the robustness analysis of schedu…
This book introduces state-of-the-art verification techniques for real time embedded systems, based on the inverse method for parametric timed automata. First, the inverse method is introduced, and its interest for guaranteeing robustness in real time systems is shown. Then, dif…
This book introduces state-of-the-art verification techniques for real-time embedded systems, based on the inverse method for parametric timed automata. It reviews popular formalisms for the specification and verification of timed concurrent systems and, in particular, timed aut…
A practical Wrox guide to ARM programming for mobile devices With more than 90 percent of mobile phones sold in recent years using ARM-based processors, developers are eager to master this embedded technology. If you know the basics of C programming, this guide will ease you int…
