Victor Pollex

Forschungsinteresse

Zusammenfassung

Für die Echtzeitanalyse eines Systems existieren mehrere Methoden. Darunter befinden sich die Antwortzeitanalyse und das Echtzeitkalkül. Die Arbeiten in der Literatur zu diesen Analysemethoden befassen sich meist mit nur einer dieser Methoden. In den Arbeiten die sich mit beiden Methoden gemeinsam befassen werden diese meist empirisch miteinander verglichen. Daher liegt mein Forschungsinteresse im mathematischen Vergleich der Antwortzeitanalyse mit dem Echtzeitkalkül.

Lehre

Kontakt

Publikationsliste


16.
default
Davis, Robert I.; Burns, Alan; Pollex, Victor; Slomka, Frank
On Priority Assignment for Controller Area Network when Some Message Identifiers Are Fixed
Proceedings of the 23rd International Conference on Real Time and Networks Systems , page 279-288.
November 2015
ISBN: 978-1-4503-3591-1
15.
default
Davis, Rob; Feld, Timo; Pollex, Victor; Slomka, Frank
Schedulability Tests for Tasks with Variable Rate-Dependent Behaviour under Fixed Priority Scheduling
20th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS),
April 2014
14.
default
Pollex, Victor; Feld, Timo; Slomka, Frank; Margull, Ulrich; Mader, Ralph; Wirrer, Gerhard
Sufficient real-time analysis for an engine control unit
Proceedings of the 21st International conference on Real-Time Networks and Systems (RTNS),
October 2013
13.
pdf
Pollex, Victor; Feld, Timo; Slomka, Frank; Margull, Ulrich; Mader, Ralph; Wirrer, Gerhard
Sufficient Real-Time Analysis for an Engine Control Unit with Constant Angular Velocities
Proceedings of the Design Automation and Test Conference in Europe (DATE)
March 2013
12.
default
Davis, Robert I.; Kollmann, Steffen; Pollex, Victor; Slomka, Frank
Schedulability analysis for Controller Area Network (CAN) with FIFO queues priority queues and gateways
Real-Time Systems, 49(1):73-116
January 2013
11.
pdf
Kempf, Kilian; Kollmann, Steffen; Pollex, Victor; Slomka, Frank
Relaxing Event Densities by Exploiting Infeasible Paths in Control Flow Graphs
Proceedings of the 19th International Conference on Real-Time and Network Systems
September 2011
10.
pdf
Kollmann, Steffen; Pollex, Victor; Slomka, Frank
Using Schedulability Analysis Techniques to Derive the Average-Case Behavior with a Monte-Carlo Simulation
Proceedings of the 2nd International Real-Time Scheduling Open Problems Seminar (RTSOPS)
July 2011
9.
pdf
Davis, Robert I.; Kollmann, Steffen; Pollex, Victor; Slomka, Frank
Controller Area Network (CAN) Schedulability Analysis with FIFO queues
Proceedings of the 23rd Euromicro Conference on Real-Time Systems
Publisher: IEEE,
July 2011

Annotation: Best Paper Award

8.
pdf
Kollmann, Steffen; Pollex, Victor; Slomka, Frank
Reducing Response Times by Competition Based Dependencies
Proceedings of the 14th Workshop of Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
February 2011
7.
pdf
Kollmann, Steffen; Pollex, Victor; Kempf, Kilian; Slomka, Frank; Traub, Matthias; Bone, Torsten; Becker, Jürgen
Comparative Application of Real-Time Verification Methods to an Automotive Architecture
Proceedings of the 18th International Conference on Real-Time and Network Systems
November 2010
6.
pdf
Kollmann, Steffen; Pollex, Victor; Kempf, Kilian; Slomka, Frank
A Scalable Approach for the Description of Dependencies in Hard Real-Time Systems
Proceedings of the 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation , page 397-411.
Publisher: Springer Verlag, Berlin, Heidelberg
October 2010
5.
pdf
Kollmann, Steffen; Pollex, Victor; Slomka, Frank
Global Best-Case Response Time for Improving the Worst-Case Response Times in Distributed Real-Time Systems
Proceedings of the 7th IFIP Distributed and Parallel Embedded Systems Conference (DIPES)
September 2010
4.
pdf
Pollex, Victor; Kollmann, Steffen; Slomka, Frank
Generalizing Response-Time Analysis
Proceedings of the 16th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)
IEEE Computer Society
August 2010
3.
pdf
Kollmann, Steffen; Pollex, Victor; Slomka, Frank
Holistic Real-Time Analysis with an Expressive Event Model
Proceedings of the 13th Workshop on Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen , page 67-76.
February 2010
2.
pdf
Pollex, Victor; Kollmann, Steffen; Albers, Karsten; Slomka, Frank
Improved Worst-Case Response-Time Calculations by Upper-Bound Conditions
Proceedings of the Design Automation and Test Conference in Europe (DATE 09)
2009
1.
pdf
Pollex, Victor; Kollmann, Steffen; Slomka, Frank
Modeling and Analyzing Asynchronous Real-Time Systems
3rd Junior Researcher Workshop on Real-Time Computing
2009