Dependability modeling
Dependability modeling and evaluation – From AADL to stochastic Petri nets
... Keywords: dependability modeling, evaluation, AADL, GSPN, model transformation. RÉSUMÉ Conduire des analyses de sûreté de fonctionnement conjointement avec d’autres analyses au niveau architectural permet à ...
191
Dependability Modeling of Safety Systems,
... L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignemen[r] ...
7
DEPENDABILITY MODELING AND EVALUATION OF SOFTWARE-FAULT TOLERANT SYSTEMS
... 4. NESTED RECOVERY BLOCKS This section provides a preliminary extension of the analysis of the RB architecture to account for the specific case of nested RBs. Nested RBs are very interesting and give rise to stimulating ...
31
Dependability Evaluation of an Air Traffic Control Computing System
... the dependability modeling and evaluation of each of these ...the dependability measures evaluated for each subsystem to: 1) obtain global measures for each service degradation level, 2) analyze the ...
29
Stepwise Construction and Refinement of Dependability Models
... Our modeling approach follows in the footsteps of most of the existing work on dependability ...the dependability model, by means of a functional-level ...allows modeling of one system from ...
11
Dependability of Fault-Tolerant Systems-Explicit Modeling of the Interactions Between Hardware and Software Components
... the dependability modeling of hardware and software fault-tolerant systems taking into account explicitly the dependency between the various ...the dependability of the system cannot be evaluated by ...
29
Dependability of Fault-Tolerant Systems — Explicit Modeling of the Interactions Between Hardware and Software Components
... and Dependability Symposium (IPDS'96), Urbana-Champaign (USA), 4-6 septembre 1996, ...the dependability modeling of hardware and software fault-tolerant systems taking into account explicitly the ...
12
WOSD 2011 The First International Workshop on Open Systems Dependability
... "Composite Dependability Modeling for In-vehicle Networks", Hiroyuki Okamura, Tadashi Dohi, Shin'ichi Shiraishi and Mutsumi Abe from Hiroshima University, Japan, presents on an innovative approach ...
3
Dependability Modelling of Safety Applications in Communicating Automotive Systems
... The dependability modelling approach has been designed to master the complexity of the models taking into account the dynamic evolution of the corresponding ...
11
Model-based Specification and Validation of Security and Dependability Patterns
... and Dependability (S&D) of systems is continuously increasing, even in domains tradi- tionally not deeply involved in such ...a modeling environment for pattern-based secure and dependable embed- ded ...
19
Dependability Evaluation of Cooperative Backup Strategies for Mobile Devices
... Several papers analyze data dependability in dis- tributed and peer-to-peer storage systems. The authors of OceanStore conducted an analytical evaluation of the MTTF (mean time to failure) of a distributed, ...
9
Model-based Specification and Validation of Security and Dependability Patterns
... a modeling and development framework to support the specifications and the validation of S&D patterns and to assist the developers of trusted applications for resource con- strained embedded ...pattern ...
20
Discrete and Hybrid Systems Dependability Analysis with ESA PetriNet
... The designer is informed that there are only these two scenarios which lead to the overflow of the tank 1, considering the failures of the three electrovalves. Thus, he can note that only one failure of one electrovalve ...
5
Dependability evaluation of a distributed shared memory multiprocessor system
... L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignemen[r] ...
22
Benchmarking The Dependability of Windows NT4, 2000 and XP *
... Benchmark Controller that is primarily in charge of diagnosing and collecting data in case of a hang or an abort. Furthermore, as we are using a TPC-C client as workload, the (Oracle) Data Base Management System (DBMS), ...
8
Bayesian networks applications on dependability, risk analysis and maintenance
... of dependability, risk analysis and maintenance, for this reason the research work utilized mainly the experts’ judgment to build the structure of the models (Bouissou & Nguyen, ...
7
Benchmarking the Dependability of Windows and Linux using PostMark ™ Workloads *
... 7. Conclusion We presented the specification of a dependability benchmark for OSs with respect to erroneous parameters in system calls, along with prototypes for two families of OSs, Windows and Linux. These ...
11
Overview on Bayesian networks applications for dependability, risk analysis and maintenance areas
... systems’ modeling due to the interaction between different technical, human, organizational and nowadays environmental factors which are necessary to quantify failure scenarios and risky ...
18
A Model-based Repository of Security and Dependability Patterns for Trusted RCES
... The server part is responsible for managing and stor- ing the data, and provides a set of features to interact with the repository content. As shown in Fig. 8, thanks to UML component diagram the server part is com- ...
11
Dependability modelling of a fault tolerant duplex system using AADL and GSPNs
... We remind that hardware and software are modelled as AADL system components and they are linked through connections at the architectural level. Consequently, in and out propagations are either i) name-matched or ii) ...
76