3082 search results - page 244 / 617 » Deviation Analysis: A New Use of Model Checking |
152
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— In this paper a new strategy for handling the observation information of a bearing-range sensor throughout the filtering process of EKF-SLAM is proposed. This new strategy is ...
206
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
UPPAAL PORT is a new tool for component-based design and analysis of embedded systems. It operates on the hierarchically structured continuous time component modeling language Save...
179
click to vote
JSA
2006
15 years 6 months ago
2006
Data-shipping systems that allow inter-transaction caching raise the need of a transactional cache consistency maintenance (CCM) protocol because each client is able to cache a po...
173
click to vote
APSEC
2004
IEEE
15 years 10 months ago
2004
IEEE
Service-based systems engineering is a recent paradigm that has proven useful for the development of multifunctional systems, whose functions may be used in different contexts and...
213
click to vote
ADAEUROPE
2005
Springer
16 years 2 days ago
2005
Springer
This paper describes the methodology used to add nonintrusive system-level fault tolerance to an electronic throttle controller. The original model of the throttle controller is a...