• search hit 7 of 18
Back to Result List

Synchronous Models for Embedded Software

  • Compared to traditional software design, the design of embedded software is even more challenging: In addition to the correct implementation of the systems, one has to consider non-functional constraints such as real-time behavior, reliability, and energy consumption. Moreover, many embedded systems are used in safety-critical applications where errors can lead to enormous damages and even to the loss of human live. For this reason, formal verification is applied in many design flows using different kinds of formal verification methods. The synchronous model of computation has shown to be well-suited in this context. Its core is the paradigm of perfect synchrony which assumes that the overall system behavior is divided into a sequence of reactions, and all computations within a reaction are completed in zero time. This temporal abstraction simplifies reactive programming in that developers do not have to bother about many low-level details related to timing, synchronization and scheduling. This thesis is dedicated to this design flow, and it presents the author's contributions to it.

Download full text files

Export metadata

Additional Services

Share in Twitter Search Google Scholar
Author:Jens Brandt
URN (permanent link):urn:nbn:de:hbz:386-kluedo-36242
Advisor:Klaus Schneider
Document Type:Habilitation
Language of publication:English
Publication Date:2013/10/09
Year of Publication:2013
Publishing Institute:Technische Universität Kaiserslautern
Granting Institute:Technische Universität Kaiserslautern
Acceptance Date of the Thesis:2013/07/15
Date of the Publication (Server):2013/10/10
Number of page:VI, 67
Faculties / Organisational entities:Fachbereich Informatik
DDC-Cassification:0 Allgemeines, Informatik, Informationswissenschaft / 004 Informatik
Licence (German):Standard gemäß KLUEDO-Leitlinien vom 10.09.2012