Learn More
Designing embedded systems is a challenge. This applies especially to distributed automotive architectures. The high connectivity of different control units forms heterogeneous system architectures that have to handle the many different applications involved in providing the sys-tems' services. This has a direct impact on model based design techniques which(More)
Designing cyber-physical systems is a challenge originating from the multidisciplinary and mixed-signal requirements. In order to handle this challenge, many design languages have been developed, but none is able to connect different application domains adequately. This paper proposes a new system based view for cyber-physical system design which can be(More)
During the design iterations of embedded systems, the schedulability analysis is an important method to verify whether the real-time constraints are satisfied. In order to achieve a wide acceptance in industrial companies, the analysis must be as accurate as possible and as fast as possible. The system context of the tasks has to be considered in order to(More)
Common real-time analysis techniques for embedded systems mainly concentrate on a task model where every single activation of a task leads to a single outgoing event that is emitted at the end of the task's computation. An extension has been introduced that allows for multiple events to occur during a single job by respecting the control flow inside a task(More)
The POLCA project develops annotations on fragments of imperative code to guide program transformations for better utilization of resources. These annotations express the computational essence of the code fragments without referring to memory usage or execution time. That makes the annotations mathematical in nature such that provably correct(More)
While common task models in real-time analysis assume a task as being activated by a single event and producing a single outgoing event after its full completion, the event dependency analysis extended the model to allow for multiple outgoing events to occur already during the run-time of a single job. It uses the structure of a timing-annotated control(More)
  • 1