1540 search results - page 30 / 308 » Embedded Systems Resources: Views on Modeling and Analysis |
DATE
2006
IEEE
14 years 1 months ago
2006
IEEE
We consider lock-free synchronization for dynamic embedded real-time systems that are subject to resource overloads and arbitrary activity arrivals. We model activity arrival beha...
HYBRID
2009
Springer
13 years 11 months ago
2009
Springer
We focus on control systems in which sensors send data to actuators via a bus shared with other applications. An approach is proposed for specifying and implementing dynamic schedu...
DATE
2003
IEEE
14 years 1 months ago
2003
IEEE
The model-based methodology has proven to be effective for fast and low-cost development of embedded software. In the model-based development process, transforming a software stru...
ISOLA
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. The complexity of today's embedded systems and their development trajectories requires a systematic, model-driven design approach, supported by tooling wherever poss...
FEDCSIS
2011
12 years 7 months ago
2011
—Nowadays, embedded systems are widely used. It is extremely difficult to analyze safety issues in embedded systems, to relate the safety analysis results to the actual parts, a...