This paper introduces a combination of models and proofs for optimal power management via Dynamic Frequency Scaling and Dynamic Voltage Scaling. The approach is suitable for syste...
Using additional store-checkpoinsts (SCPs) and compare-checkpoints (CCPs), we present an adaptive checkpointing for double modular redundancy (DMR) in this paper. The proposed app...
—The growing trend towards using component based design approach in embedded system development requires addressing newer system engineering challenges. These systems are usually...
The development process of embedded systems is characterized by the cooperation of various domains: components of hardware and software have to be considered as well as components...
In the eld of safety-critical real-time systems the development of distributed applications for fault tolerance reasons is a common practice. Hereby the whole application is divid...