Victor Pollex

Learn More
Controller Area Network (CAN) is widely used in automotive applications. Existing schedulability analysis for CAN is based on the assumption that the highest priority message ready for transmission at each node on the network will be entered into arbitration on the bus. However, in practice, some CAN device drivers implement FIFO rather than priority-based(More)
Automotive embedded real-time systems such as Engine Management utilise cyclic tasks that are activated periodically based on angular rotation rather than time. As well as having variable inter-arrival times, these tasks also have deadlines and worst-case execution times that are dependent on angular velocity i.e. engine speed or rpm. Such tasks exhibit(More)
Controller Area Network (CAN) is widely used in automotive applications. Existing schedulability analysis for CAN is based on the assumption that the highest priority message ready for transmission at each node on the network will be entered into arbitration on the bus. However, in practice, some CAN device drivers implement FIFO rather than priority-based(More)
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)
In an engine control unit two types of tasks are executed. On the one hand the time-triggered tasks, which are activated periodically after a specific amount of time has elapsed. On the other hand engine-triggered tasks, which are activated whenever the engine arrives at a specific angular position. In consequence the frequency that an engine-triggered task(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 systems’ services. This has a direct impact on model based design techniques which(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)
Due to complex embedded systems it is no longer possible to find the optimal design solution instantly and a design space exploration is necessary. In each step the real-time constraints of the system have to be verified. This can be performed by a schedulability analysis. To find the optimal solution the real-time analysis must deliver tight results of the(More)
In real-time theory, basically two approaches for the computation of response-times exist. One of them is the busy window method, the other is the real-time calculus, an extension of the network calculus. While both can be used to compute the bounds of response-times, they have different properties that make them suitable for different system architectures.(More)
To ensure that time constraints in real-time systems are satisfied it is necessary to verify the real-time behavior during the design process of such systems. Schedulabilitiy analysis approaches can be used for this. The disadvantage of these methods is that sometimes the calculated bounds are an overestimation of the real behavior of the system. Therefore(More)