Parallel multi-threaded applications are needed to gain advantage from multi- and many-core processors. Such processors are more frequently considered for embedded hard real-time with defined timing guarantees, too. T...
详细信息
Parallel multi-threaded applications are needed to gain advantage from multi- and many-core processors. Such processors are more frequently considered for embedded hard real-time with defined timing guarantees, too. the static timing analysis, which is one way to calculate the worst-case execution time (WCET) of parallel applications, is complex and time-consuming due to the difficulty to analyze the interferences of threads and the high annotation effort to resolve it.
Virtualization techniques are gaining significant interests in embeddedreal-time system design. However, existing virtualization platforms lack strong performance isolation among virtual machines. In this work we pro...
详细信息
ISBN:
(纸本)9781479939541
Virtualization techniques are gaining significant interests in embeddedreal-time system design. However, existing virtualization platforms lack strong performance isolation among virtual machines. In this work we propose a method to monitor and control the shared memory accesses of individual virtual machines on multi-core processors with Xen hypervisor, to enhance the performance isolation among virtual machines and improve the timing predictability of real-timeapplications. Experiments withthe SPEC2006 benchmark programs are conducted to validate the proposed method.
Summary form only given. the correctness of most computations in an embeddedreal-time application depends not only on the logical value but also on the time at which the results are produced. Examples of such applica...
详细信息
Summary form only given. the correctness of most computations in an embeddedreal-time application depends not only on the logical value but also on the time at which the results are produced. Examples of such applications include automotive systems, process control applications, aerospace applications, multimedia streaming, etc. Since the mid-1970s, various algorithms have been developed to schedule their real-time tasks without violating their timing constraints. In recent years, it has become apparent that next generation of embeddedreal-timesystems must also deal with additional challenges such as power and thermal management constraints of modern day integrated circuits (IC). In this tutorial, we will discuss several models of real-timeapplications, introduce the different notions of real-time guarantees, review of scheduling algorithms with different real-time guarantees for single and multi-core systems, including algorithms that deal with emerging challenges such as processor's power and thermal constraints.
In this paper we introduce exact and non-exact real-time waits in reactive Globally Asynchronous Locally Synchronous (GALS) programming languages and synchronous languages as their subset. the language constructs that...
详细信息
In this paper we introduce exact and non-exact real-time waits in reactive Globally Asynchronous Locally Synchronous (GALS) programming languages and synchronous languages as their subset. the language constructs that allow use of real-time waits are illustrated on the SystemJ GALS language. they allow system designers to explicitly use, at the specification level, not only logical time but also the real-time in order to control program execution. the introduced concepts utilize execution platforms that allow finding best and worst reaction time of a GALS or synchronous program.
One of the most widely used mediums of knowledge delivery within academic circles has been the traditional (lecture-driven) teaching style. this method is as old as the time span between Confucius and the present day ...
详细信息
the following topics are discussed: embedded and real-timecomputingsystems and applications; resource sharing; memory management; multiprocessor scheduling; ubiquitous wireless networks; middleware; ubiquitous compu...
the following topics are discussed: embedded and real-timecomputingsystems and applications; resource sharing; memory management; multiprocessor scheduling; ubiquitous wireless networks; middleware; ubiquitous computing; distributed systems; power-aware design; databases; wireless sensor networks; uniprocessor scheduling; compiler techniques; context awareness and privacy; and system-on-chip.
Based on the analysis on the characteristics of embedded system based on CAN bus, this paper proposed one CAN bus-oriented test system scheme. the scheme consists of a non-realtime host and a realtime target; the no...
详细信息
Based on the analysis on the characteristics of embedded system based on CAN bus, this paper proposed one CAN bus-oriented test system scheme. the scheme consists of a non-realtime host and a realtime target; the non-realtime host constructs test data, while the realtime target drives the data transmission, processes the response of tested system, and returns the results to the non-realtime host for analyzing. the system can test, analyze and evaluate the CAN bus-oriented embedded application in a realtime, closed-loop and nonintrusive way.
Static estimation of the Worst Case Reaction time (WCRT) of synchronous programs is pivotal for designing hard-realtimesystems in these languages. the current approaches to WCRT estimation suffer from either large o...
详细信息
Static estimation of the Worst Case Reaction time (WCRT) of synchronous programs is pivotal for designing hard-realtimesystems in these languages. the current approaches to WCRT estimation suffer from either large overestimation of the WCRT value or the state space explosion problem. In this paper, we present TACO: a framework that integrates model checking based WCRT estimation with code optimization techniques, which results in close to optimal WCRT estimates with orders of magnitude reduced worst case runtime complexity. Finally, the TACO framework also allows us to generate executables with a smaller overall memory footprint.
暂无评论