1739 search results - page 155 / 348 » Battery Model for Embedded Systems |
116
click to vote
DSRT
2008
IEEE
15 years 9 months 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...
132
click to vote
DATE
2008
IEEE
15 years 9 months ago
2008
IEEE
Compositional Scheduling Analysis couples local scheduling analysis via event streams. While local analysis has successfully been extended to include hierarchical scheduling strat...
117
click to vote
EMSOFT
2004
Springer
15 years 8 months ago
2004
Springer
Embedded systems are electronic devices that function in the context of a real environment, by sensing and reacting to a set of stimuli. Because of their close interaction with th...
123
click to vote
MODELS
2009
Springer
15 years 9 months ago
2009
Springer
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...
157
click to vote
IPPS
2007
IEEE
15 years 9 months ago
2007
IEEE
—We present the first experimental results on the implementation of a multi-core model checking algorithm for the SPIN model checker. These algorithms specifically target shared-...