Sciweavers

310 search results - page 12 / 62
» Scenario-based Validation of Embedded Systems
Sort
View
CSSE
2008
IEEE
15 years 4 months ago
Modeling and Implementation for Embedded DC Motor Ethernet Control System
—In this paper, a model of Embedded DC Motor Ethernet Control System is proposed with analysis on transmission time delay and data packet dropout. Based on this model, the ECS is...
Lingbo Zhu, Guanzhong Dai, Li Shin, Xuefang Lin-Sh...
SAMOS
2004
Springer
15 years 2 months ago
Constraints Derivation and Propagation for Large-Scale Embedded Systems Exploration
Abstract— The translation of user requirements to system constraints and parameters during an exploration exercise is a hard problem, especially in the context of large scale emb...
Laurentiu Nicolae, Ed F. Deprettere
EMSOFT
2005
Springer
15 years 3 months ago
SHIM: a deterministic model for heterogeneous embedded systems
— Typical embedded hardware/software systems are implemented using a combination of C and an HDL such as Verilog. While each is well-behaved in isolation, combining the two gives...
Stephen A. Edwards, Olivier Tardieu
SAMOS
2007
Springer
15 years 3 months ago
A Model-Driven Automatically-Retargetable Debug Tool for Embedded Systems
Abstract. Contemporary SoC designs ask for system-level debugging tools suitable to heterogeneous platforms. Such tools will have to rely on some low-level model-driven debugging e...
Max R. de O. Schultz, Alexandre K. I. Mendon&ccedi...
TC
2008
14 years 9 months ago
A Dynamic Slack Management Technique for Real-Time Distributed Embedded Systems
This work presents a novel slack management technique, the Service-Rate-Proportionate (SRP) Slack Distribution, for real-time distributed embedded systems to reduce energy consumpt...
Subrata Acharya, Rabi N. Mahapatra