341 search results - page 3 / 69 » On Stochastic Modeling for Integrated Security and Dependabi... |
HASE
1999
IEEE
14 years 2 months ago
1999
IEEE
The paper introduces a method to model embedded dependability-critical systems as AND-composition of Guarded Statecharts which are special UMLstatecharts. With Guarded Statecharts...
ARCS
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. In order to support the dependability analysis of a system under design in an early phase of the design process, so-called fault tolerance libraries can be created that c...
PDPTA
2000
13 years 11 months ago
2000
This paper deals with multiprocessor systems required to provide both high performance and good figures of dependability attributes. Fault tolerance is pursued through a proper co...
DSN
2011
IEEE
12 years 9 months ago
2011
IEEE
— This paper describes a modeling framework for evaluating the impact of faults on the output of streaming ions. Our model is based on three abstractions: stream operators, strea...
IEEEARES
2007
IEEE
14 years 4 months ago
2007
IEEE
The importance of critical systems has been widely recognized and several efforts are devoted to integrate dependability requirements in their development process. Such efforts re...