Sciweavers

557 search results - page 12 / 112
» Device Modeling for a Flexible Embedded Systems Development ...
Sort
View
AICOM
2005
91views more  AICOM 2005»
13 years 7 months ago
Multiagent systems for cardiac pacing simulation and control
Abstract. Simulating and controlling physiological phenomena are complex tasks to tackle. This is due to the fact that physiological processes are usually described by a set of par...
Francesco Amigoni, Alessandro Beda, Nicola Gatti
JIPS
2006
120views more  JIPS 2006»
13 years 7 months ago
Automatic Hardware/Software Interface Generation for Embedded System
: Large portion of embedded system development process is the integration of hardware and software. Unfortunately, the communication across the hardware/software boundary is tediou...
Choonho Son, Jeong-Han Yun, Hyun-Goo Kang, Taisook...
ICPPW
2006
IEEE
14 years 1 months ago
Model Checking Control Communication of a FACTS Device
This paper concerns the design and verification of a realtime communication protocol for sensor data collection and processing between an embedded computer and a DSP. In such sys...
David A. Cape, Bruce M. McMillin, James K. Townsen...
SPLC
2004
13 years 9 months ago
Automatic Generation of Program Families by Model Restrictions
We study the generative development of control programs for families of embedded devices. A software family is described by a single common model and restriction specifications for...
Andrzej Wesowski
ICSEA
2006
IEEE
14 years 1 months ago
Extracting Simulation Models from Complex Embedded Real-Time Systems
A modeling process is presented for extracting timingaccurate simulation models from complex embedded realtime systems. The process is supported by two complementary methods for t...
Johan Andersson, Joel Huselius, Christer Norstr&ou...