Software Fault Tree Analysis (SFTA) provides a structured way to reason about the safety or reliability of a software system. As such, SFTA is widely used in missioncritical appli...
A safety analysis was performed on the software requirements for a family of ight instrumentation displays of commercial aircraft. First, an existing Safety Checklist was extended...
Robyn R. Lutz, Guy G. Helmer, Michelle M. Moseman,...
This paper describes our research effort to employ Grid technologies to enable the development of geoscience applications by integrating workflow technologies with data mining r...
Gianluigi Folino, Agostino Forestiero, Giuseppe Pa...
The high degree of complexity and autonomy of future robotic space missions, such as Mars Science Laboratory (MSL), poses serious challenges in assuring their reliability and efï¬...