Sciweavers

2193 search results - page 44 / 439
» A System for Performance Evaluation of Embedded Software
Sort
View
ISESE
2006
IEEE
15 years 11 months ago
An industrial case study of structural testing applied to safety-critical embedded software
Effective testing of safety-critical real-time embedded software is difficult and expensive. Many companies are hesitant about the cost of formalized criteria-based testing and a...
Jing Guan, Jeff Offutt, Paul Ammann
CDC
2009
IEEE
164views Control Systems» more  CDC 2009»
15 years 10 months ago
Evaluation of track following servo performance for patterned servo sectors in hard disk drives
— A promising approach for ultra high data storage capacities in magnetic hard disk drives is the use of bitpatterned media (BPM) that allows both higher track densities and incr...
Younghee Han, Raymond A. de Callafon
EMSOFT
2009
Springer
15 years 12 months ago
Analytic real-time analysis and timed automata: a hybrid method for analyzing embedded real-time systems
This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded At its core the developed methodology abstracts system componen...
Kai Lampka, Simon Perathoner, Lothar Thiele
ICCD
2002
IEEE
141views Hardware» more  ICCD 2002»
16 years 2 months ago
Embedded Operating System Energy Analysis and Macro-Modeling
A large and increasing number of modern embedded systems are subject to tight power/energy constraints. It has been demonstrated that the operating system (OS) can have a signifi...
Tat Kee Tan, Anand Raghunathan, Niraj K. Jha
RTAS
2006
IEEE
15 years 11 months ago
Scalable Modeling and Performance Evaluation of Wireless Sensor Networks
A notable features of many proposed Wireless Sensor Networks (WSNs) deployments is their scale: hundreds to thousands of nodes linked together. In such systems, modeling the state...
YoungMin Kwon, Gul Agha