84 search results - page 7 / 17 » Safety assessment with AltaRica |
HASE
2008
IEEE
14 years 1 months ago
2008
IEEE
With the increasing complexity in software and electronics in safety-critical systems new challenges to lower the costs and decrease time-to-market, while preserving high assuranc...
RE
2001
Springer
13 years 12 months ago
2001
Springer
Elicitation of requirements for safety critical aeroengine control systems is dependent on the capture of core design intent and the systematic derivation of requirements addressi...
DOLAP
2009
ACM
14 years 1 months ago
2009
ACM
In this paper, we investigate the problem of answering top-k queries via materialized views. We provide theoretical guarantees for the adequacy of a view to answer a top-k query, ...
MODELS
2007
Springer
14 years 1 months ago
2007
Springer
Many safety-related and certification standards exist for developing safety-critical systems. Safety assessments are performed in practice, and system certification according to a...
KBSE
2000
IEEE
13 years 11 months ago
2000
IEEE
Although peripheral devices come out at a frantic pace and require fast releases of drivers, little progress has been made to improve the development of drivers. Too often, this d...