Titlebook: Software Technologies for Embedded and Ubiquitous Systems; 7th IFIP WG 10.2 Int Sunggu Lee,Priya Narasimhan Conference proceedings 2009 IFI

gastritis

Power Modeling of Solid State Disk for Dynamic Power Management Policy Design in Embedded Systems,measurements, it takes into account the power consumption of SSD controller as well as that of Flash memories. We show the effectiveness of the presented method in designing a dynamic power management policy for SSD.

Parley

On-Line Model Checking as Operating System Service,he traditional schedulability acceptance test which is needed anyway in systems with dynamic task set. Therefore this runtime verification is implemented as a service of the underlying operating system. In this paper we describe this method in general, explain some design and implementation decisions and provide experimental results.

CHIDE

松紧带

Towards Time-Predictable Data Caches for Chip-Multiprocessors,n this paper we show cache simulation results for the split-cache organization, propose the modularization of the data cache analysis for the different data areas, and evaluate the implementation costs in a prototype chip-multiprocessor system.

BORE

朋党派系

Derogate

Model-Based Testing of GUI-Driven Applications, model and present a way to execute these tests within the application, highlighting the challenges of using an API-geared tool in a GUI-based setting. Finally we present the results of our case study.

palliative-care

An Experimental Framework for the Analysis and Validation of Software Clocks,iable and Self-Aware Clock (R&SAClock), a recently proposed software clock for resilient time information that provides both current time and current synchronization uncertainty (a conservative and self-adaptive estimation of the distance from an external reference time).

Canary

远足