Skip to main content

Analysis of Deadline Miss Rates for Uniprocessor Fixed-Priority Scheduling

Gladly, this year I have a chance to visit a conference in Japan.
In RTCSA'18, I will give a talk for:
Analysis of Deadline Miss Rates for Uniprocessor Fixed-Priority Scheduling


Abstract:

Timeliness is an important feature for many embedded systems. Although soft real-time embedded systems

can tolerate and allow certain deadline misses, it is still important to quantify them to justify whether the considered systems are acceptable. In this paper, we provide a way to safely over-approximate the expected deadline miss rate for a specific sporadic real-time task under fixed-priority preemptive scheduling in uniprocessor systems. Our approach is compatible with the existing results in the literature that calculate the probability of deadline misses either based on the

convolution-based approaches or analytically. We demonstrate our approach by considering randomly generated task sets with an execution behavior that simulates jobs that are subjected to soft errors incurred by hardware transient faults under a given fault rate. To empirically gather the deadline miss rates, we implemented an event-based simulator with a fault-injection module and release the scripts. With extensive simulations under different fault rates, we evaluate the efficiency and the pessimism of our approach. The evaluation results show that our approach is effective to derive an upper bound of the expected deadline miss rate and efficient with respect to the required computation time.
Please feel free to contact me if you are interested in my work :)

Comments

Popular posts from this blog

RSB+RTEMS 5/6 with QEMU-SMP (ARM realview_pbx_a9_qemu as example)

Since I got a request regarding this blog  written in 2016, summarizing again the complete flow with the latest version of RTEMS could be a good idea. Prepare a suitable workspace according to the adopted operating system on your host ( https://docs.rtems.org/branches/master/user/hosts/index.html ):  sudo apt-get build-dep build-essential gcc-defaults g++ gdb git unzip pax bison flex texinfo unzip python3-dev libpython-dev libncurses5-dev zlib1g-dev Checkout RSB and build: git clone git://git.rtems.org/rtems-source-builder.git rsb change directory to rsb/rtems/ and type ../source-builder/sb-set-builder --prefix=<the path you like to store the built toolchains> <the name of bsp> For example, to use QEMU, I need toolchains for ARM, so: ../source-builder/sb-set-builder --prefix=/home/kh.chen/respository/build/. 6/rtems-arm This will take a while. Please ensure your connection is reliable. Add the built folder into your PATH. For example, you can add one line in ~/.bas...

[ubuntu] Removing the instance/package which is not fully installed from apt-get

When I'm installing g77-3.4 for pgplot, I trivially use dkpg to install it. However, g77-3.4-doc is not able to fully installed. And I stuck for this kind of error due to the broken packages (refer to here ): dpkg: error processing realplayer (--configure/--purge/--remove): (Whatever messages) Errors were encountered while processing: g77-3.4-doc cd /var/lib/dpkg/info sudo rm g77-3.4-doc* sudo dpkg --remove --force-remove-reinstreq g77-3.4-doc Hmm, now apt-get works well again. https://www.youtube.com/watch?v=S9HJ-iAzf3k

[RTEMS/RASP] Networking demo in RTEMS

In order to have the internet application on RTEMS with Raspberry Pi, we first have to check whether the internet works well. How to find out the mac address?? http://osdir.com/ml/os.rtems.user/2008-04/msg00179.html https://devel.rtems.org/wiki/TBR/UserManual/Obtaining_Interface_Information However, so far I can only print out the information of loopback interface I think the problem probably comes from our institute internet framework. Therefore, I prepare a Wi-Fi router to get rid of it. =================== https://devel.rtems.org/wiki/GSoC/2015 https://devel.rtems.org/wiki/Developer/Projects/Open/ImproveRaspberryPiBSP Ethernet support on RaspPi is stiil an open issue :P ::::::::::::::::::::::::If the internet does work::::::::::::::::::::::::::: Fortunately, there are some solid networking examples on the git repository. git clone git://git.rtems.org/network-demo network-demo cd examples-v2 export RTEMS_MAKEFILE_PATH=~/development/rtems/4.11/arm-rtems4.11/raspber...