Sciweavers

167 search results - page 9 / 34
» Behavioral Fault Modeling for Model-based Safety Analysis
Sort
View
ECBS
2009
IEEE
114views Hardware» more  ECBS 2009»
13 years 11 months ago
Model-Based Product-Oriented Certification
Future space missions such as the Mars Science Laboratory and Project Constellation suggest the engineering of some of the most complex man-rated software systems. The present pro...
Damian Dechev, Bjarne Stroustrup
ATVA
2006
Springer
158views Hardware» more  ATVA 2006»
13 years 11 months ago
Model-Based Tool-Chain Infrastructure for Automated Analysis of Embedded Systems
In many safety-critical applications of embedded systems, the system dynamics exhibits hybrid behaviors. To enable automatic analysis of these embedded systems, many analysis tools...
Hang Su, Graham Hemingway, Kai Chen, T. John Koo
DAGSTUHL
2006
13 years 9 months ago
A Model-Based Approach To Requirements Analysis
A major task in designing systems development is the systematic elaboration of functional system requirements and their integration into the environment of the overall technical s...
Bernhard Schätz, Eva Geisberger, Johannes Gr&...
HASE
2007
IEEE
14 years 1 months ago
Integrating Product-Line Fault Tree Analysis into AADL Models
Fault Tree Analysis (FTA) is a safety-analysis technique that has been recently extended to accommodate product-line engineering for critical domains. This paper describes a tool-...
Hongyu Sun, Miriam Hauptman, Robyn R. Lutz
ITC
2002
IEEE
112views Hardware» more  ITC 2002»
14 years 14 days ago
Multiplets, Models, and the Search for Meaning: Improving Per-Test Fault Diagnosis
The advantage to “one test at a time” fault diagnosis is its ability to implicate the components of complicated defect behaviors. The disadvantage is the large size and opacit...
David B. Lavo, Ismed Hartanto, Tracy Larrabee