3801 search results - page 189 / 761 » An Approach to Modeling Software Safety |
125
click to vote
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
Verification quality is a must for functional safety in electronic systems. In automotive, the verification flow is historically based on a layered approach, where each level (mod...
150
click to vote
CONCUR
2008
Springer
15 years 6 months ago
2008
Springer
We present a framework that combines ideas from spatial logics and Igarashi and Kobayashi's behavioural type systems, drawing benefits from both. In our approach, type systems...
107
click to vote
JFR
2008
15 years 4 months ago
2008
The usability of mobile robots for surveillance, search and rescue missions can be significantly improved by intelligent functionalities decreasing the cognitive load on the opera...
121
click to vote
MR
2007
15 years 4 months ago
2007
- Case studies were conducted using a stochastic model to predict the life cycle cost impact associated with the application of Prognostic Health Management (PHM) to helicopter avi...
152
click to vote
ECOOP
2000
Springer
15 years 9 months ago
2000
Springer
Modern software must evolve in response to changing conditions. In the most widely used programming environments, code is static and cannot change at runtime. This poses problems ...