Sciweavers

170 search results - page 1 / 34
» ProMoSA - Probabilistic Models for Safety Analysis
Sort
View
IPCCC
2005
IEEE
13 years 11 months ago
Modeling and performance analysis of public safety wireless networks
Public safety wireless networks (PSWNs) play a vital role in the operation of emergency agencies. In this paper, we describe analysis and modeling of traffic data collected from E...
Jiaqing Song, Ljiljana Trajkovic
IDEAL
2004
Springer
13 years 10 months ago
Exploiting Safety Constraints in Fuzzy Self-organising Maps for Safety Critical Applications
This paper defines a constrained Artificial Neural Network (ANN) that can be employed for highly-dependable roles in safety critical applications. The derived model is based upon t...
Zeshan Kurd, Tim P. Kelly, Jim Austin
ISSRE
2008
IEEE
13 years 12 months ago
Using Fault Modeling in Safety Cases
For many safety-critical systems a safety case is built as part of the certification or acceptance process. The safety case assembles evidence to justify that the design and imple...
Robyn R. Lutz, Ann Patterson-Hine
FEDCSIS
2011
87views more  FEDCSIS 2011»
12 years 5 months ago
Enhanced CakES representing Safety Analysis results of Embedded Systems
—Nowadays, embedded systems are widely used. It is extremely difficult to analyze safety issues in embedded systems, to relate the safety analysis results to the actual parts, a...
Yasmin I. Al-Zokari, Daniel Schneider, Dirk Zeckze...
FM
2003
Springer
115views Formal Methods» more  FM 2003»
13 years 10 months ago
Model Checking FTA
Safety is increasingly important for software based, critical systems. Fault tree analysis (FTA) is a safety technique from engineering, developed for analyzing and assessing syste...
Andreas Thums, Gerhard Schellhorn