Sciweavers

1456 search results - page 62 / 292
» DYANA: An Environment for Embedded System Design and Analysi...
Sort
View
ECRTS
2003
IEEE
15 years 11 months ago
Schedulability Analysis for Distributed Heterogeneous Time/Event Triggered Real-Time Systems
This paper deals with specific issues related to the design of distributed embedded systems implemented with mixed, event-triggered and time-triggered task sets, which communicate...
Traian Pop, Petru Eles, Zebo Peng
PRDC
2008
IEEE
16 years 23 days ago
Indirect Control Path Analysis and Goal Coverage Strategies for Elaborating System Safety Goals in Composite Systems
Correctly specifying requirements for composite systems is essential to system safety, particularly in a distributed development environment. Goal-oriented requirements engineerin...
Jennifer Black, Philip Koopman
BCSHCI
2009
15 years 7 months ago
Low-fi skin vision: a case study in rapid prototyping a sensory substitution system
We describe the design process we have used to develop a minimal, twenty vibration motor Tactile Vision Sensory Substitution (TVSS) system which enables blind-folded subjects to s...
Jon Bird, Paul Marshall, Yvonne Rogers
TACAS
1995
Springer
94views Algorithms» more  TACAS 1995»
15 years 10 months ago
A User Guide to HyTech
HyTech is a tool for the automated analysis of embedded systems. This document, designed for the rst-time user of HyTech, guides the reader through the underlying system model, an...
Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi
ISLPED
2006
ACM
103views Hardware» more  ISLPED 2006»
16 years 11 days ago
Low power light-weight embedded systems
Light-weight embedded systems are now gaining more popularity due to the recent technological advances in fabrication that have resulted in more powerful tiny processors with grea...
Majid Sarrafzadeh, Foad Dabiri, Roozbeh Jafari, Ta...