#### Filter Results:

- Full text PDF available (15)

#### Publication Year

2004

2016

- This year (0)
- Last 5 years (5)
- Last 10 years (19)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Karsten Albers, Frank Slomka
- ECRTS
- 2004

This paper presents a new approach to understand the event stream model. Additionally a new approximation algorithm for the feasibility test of the sporadic and the generalized multiframe task system scheduled by earliest deadline first is presented. The new algorithm has a polynomial complexity to solve the Co-NP hard problem of schedulability analysis.… (More)

- Karsten Albers, Frank Slomka
- Design, Automation and Test in Europe
- 2005

This paper presents new fast exact feasibility tests for uniprocessor real-time systems using preemptive EDF scheduling.Task sets which are accepted by previously described sufficient tests will be evaluated in nearly the same time as with the old tests by the new algorithms. Many task sets are not accepted by the earlier tests despite them beeing… (More)

- Karsten Albers, Frank Bodmann, Frank Slomka
- ECRTS
- 2008

Analyzing future distributed real-time systems, automotive and avionic systems, is requiring compositional hard real-time analysis techniques. Well known established techniques as SymTA/S and the real-time calculus are candidates solving the mentioned problem. However both techniques use quite simple event models. SymTA/S is based on discrete events the… (More)

- Karsten Albers, Frank Bodmann, Frank Slomka
- ECRTS
- 2006

One of the important aspects of schedulability analysis is the model used to describe the system and its timing behavior. On one side, the accuracy of the test strongly depends on the accuracy of the model. On the other side, a detailed model could lead to an inaccaptable evaluation time. In this paper we propose a new model, the hierarchical event streams,… (More)

- Frank Bodmann, Karsten Albers, Frank Slomka
- 2006 International Symposium on Industrial…
- 2006

We propose a model and method to determine the temporal distribution of task activations occurring within an event driven real time system. As real time systems even in safety critical applications are becoming increasingly complex, it becomes increasingly important to get a better understanding of the activity within these systems. The event stream model… (More)

- Victor Pollex, Steffen Kollmann, Karsten Albers, Frank Slomka
- 2009 Design, Automation & Test in Europe…
- 2009

Fast real-time feasibility tests and analysis algorithms are necessary for a high acceptance of the formal techniques by industrial software engineers. This paper presents a possibility to reduce the computation time required to calculate the worst-case response time of a task in a fixed-priority task set with jitter by a considerable amount of time. The… (More)

- Karsten Albers
- 2011

- Frank Slomka, Karsten Albers, Richard Hofmann
- DIPES
- 2004

An important step during the design of embedded systems is to allocate suitable architectural components and to optimally bind functions (tasks) to these components. This design step is called system synthesis. The automation of system synthesis is limited in recent research by developing models only for standard optimization algorithms. This paper… (More)

- Karsten Albers, Frank Bodmann, Frank Slomka
- IESS
- 2007

The performance of feasibility tests is crucial in many applications. When using feasibility tests online only a limited amount of analysis time is available. Run-time efficiency is also needed for testing the feasibility of many different task sets, which is the case in system synthesis tools. We propose a fast uni-processor feasibility test using static… (More)

- Frank Slomka, Karsten Albers
- MBEES
- 2005