Learn More
We consider the problem of reaching agreement in synchronous systems under a fault model whose severity lies between Byzantine and crash faults. For these "mortal" Byzantine faults, we assume that faulty processes take a finite number of arbitrary steps before they eventually crash. After discussing several application examples where this model is(More)
This article describes our SynUTC * (Synchronized Universal Time Coordinated) technology, which enables high-accuracy distribution of GPS time and time synchronization of network nodes connected via standard Ethernet LANs. By means of exchanging data packets in conjunction with moderate hardware support at nodes and switches, an overall worst-case accuracy(More)
Undergraduate education typically is characterized by a large number of students. Therefore, courses must be conducted efficiently and should not only focus on conveying the course material, but must also be oriented towards a maximum transfer of knowledge with a minimum amount of invested time on the instructor's part. At the same time, courses should be(More)
Building automation is concerned with monitoring and control of building services equipment. Over the last years, many different control network protocols have materialized for this task. Ideally, an all-in-one solution would be desired which allows total control of all conceivable scenarios. Even despite the long timespan of development, no single specific(More)
We consider the problem of reaching agreement in distributed systems in which some processes may deviate from their prescribed behavior before they eventually crash. We call this failure model “mortal Byzantine”. After discussing some application examples where this model is justified, we provide matching upper and lower bounds on the number of faulty(More)
With increasing student numbers and decreasing budgets, undergraduate embedded systems education needs to turn to Computer-aided Assessment (CAA) techniques to keep down the time and effort invested into grading. When setting up the mandatory embedded systems courses for the bachelor study " Computer Engineering " at our university , we thus payed(More)
This paper 1 surveys our framework for simulation and experimental evaluation of round-based clock synchronization algorithms in fault-tolerant distributed real-time systems. Developed in our project SynUTC, our toolkit is based upon a generic architecture that incorporates either real network controllers and clock devices or, alternatively, their simulated(More)
  • 1