328 search results - page 40 / 66 » Software engineering for safety: a roadmap |
186
click to vote
COMSIS
2007
15 years 5 months ago
2007
Ambient Intelligence aims to enhance the way people interact with their environment to promote safety and to enrich their lives. A Smart Home is one such system but the idea extend...
151
click to vote
TASE
2008
IEEE
15 years 5 months ago
2008
IEEE
This paper addresses the design of single commodity stochastic distribution networks. The distribution network under consideration consists of a single supplier serving a set of re...
153
click to vote
WCET
2010
15 years 3 months ago
2010
This paper considers the use of Extreme Value Theory (EVT) to model worst-case execution times. In particular it considers the sacrifice that statistical methods make in the reali...
200
click to vote
ICST
2009
IEEE
15 years 3 months ago
2009
IEEE
Euclide is a new Constraint-Based Testing tool for verifying safety-critical C programs. By using a mixture of symbolic and numerical analyses (namely static single assignment for...
154
Voted
ISSRE
2002
IEEE
15 years 10 months ago
2002
IEEE
Software Fault Tree Analysis (SFTA) provides a structured way to reason about the safety or reliability of a software system. As such, SFTA is widely used in missioncritical appli...