Renan Augusto Starke

  • Citations Per Year
Learn More
The correct functioning of real-time systems depends not only on the logically correct response, but also on its timing. This type of system is increasingly present today and the processing demand is such that complex multicore processors are needed. The development of multiprocessors is ahead of the analysis techniques of such systems and it is therefore(More)
Many embedded systems have soft real-time constraints and it is useful to have an estimate for the worst-case response time of each task. Formal analysis provides safe upper bounds but they are too pessimistic for complex architectures. Simulators can be used to establish a lower bound for the worst-case response time, but classic simulators apply arrival(More)
There are many real-time systems where it is useful to have an estimate for the worst-case response time of each task. Simulators can be used to establish a lower bound on the worst-case response time. But classic simulators apply arrival patterns originally conceived for uniprocessor and fail to achieve a good estimate for the worst-case response time when(More)
The correct functioning of real-time systems depends not only on the logically correct response, but also the time when it is given. This type of application is increasingly present today and the processing demand is such that complex processors are needed. Unfortunately general purpose processors are not well suitable for hard real-time applications due to(More)
Many embedded systems have real-time requirements which are sometimes hard and must be guaranteed at design time, although most embedded systems have soft deadlines in the sense that they can be missed without any catastrophe being caused by that. Scheduling simulations can be used as a necessary but not sufficient schedulability test that is useful for(More)
The correct functioning of real-time systems depends not only on the logically correct response, but also the time when it is given. This type of application is increasingly present today and the processing demand is such that complex multi-core processors are needed. The development of multiprocessor is ahead of the techniques of analysis of such systems(More)
There is a tendency toward the use of personal computers (PC) in real-time systems. These computers have highprocessing capacity and reduced costs when compared to software and hardware development fordedicated platforms. However, real-time systems require latency predictability and the processors of the x86architecture have aspecial protection and(More)
This paper presents a method to determine the latency of memory instructions, aimed for use in WCET tools. We use a technique known as value analysis. Considering a processor with different data memory latencies, value analysis is used to determine the possible values of processor registers statically, allowing the recognition of memory addresses (main(More)
Cache memory related preemption delay causes large variations of the task execution time and tools that perform WCET static code analysis usually do not consider this behavior. The additional cache delays are usually solved by cache partitioning between tasks or they are incorporated in the schedulability analysis equations. This paper estimates the cache(More)