8190 search results - page 208 / 1638 » From Timed to Hybrid Systems |
157
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
—The growing trend towards using component based design approach in embedded system development requires addressing newer system engineering challenges. These systems are usually...
204
click to vote
ERSA
2003
15 years 7 months ago
2003
Many real-time applications require a high-resolution time tick in order to work properly. However, supporting a high-resolution time tick imposes a very high overhead on the syst...
157
click to vote
DSRT
2008
IEEE
16 years 17 days ago
2008
IEEE
This paper describes a new property checking approach in order to enhance the diagnosis ability of an electronic embedded system, included in an automotive application. We conside...
176
click to vote
HASE
2007
IEEE
15 years 10 months ago
2007
IEEE
We present a tool-supported approach to the validation of system-level timing properties in formal models of distributed real-time embedded systems. Our aim is to provide system a...
135
click to vote
PRDC
2008
IEEE
16 years 15 days ago
2008
IEEE
Real-time applications typically have to satisfy high dependability requirements and require fault tolerance in both value and time domains. A widely used approach to ensure fault...