ASCA Publications

Some selected peer-reviewed ASCA publications are presented below.

Risk Analysis Methods

Yau M. et al., "Conditional Risk Model concept for critical space systems software," in Proceedings of the 7th International Conference on Probabilistic Safety Assessment and Management (PSAM-7), Berlin, Germany, June 14 - 18, 2004.
Yau M. et al., "Functional modeling and analysis of dynamically-controlled systems," in Proceedings of the Fourth International Workshop on Functional Modeling of Complex Technical Systems, Athens, Greece, May 19-20, 1996.

Dynamic Flowgraph Methodology (DFM)

Milici A. et al., "Extending the Dynamic Flowgraph Methodology (DFM) to model human performance and team effects," U.S. Nuclear Regulatory Commission Report NUREG/CR 6710, March 2001.
Yau M. et al., "The use of Prime Implicants in dependability analysis of software controlled systems," Reliability Engineering and System Safety, vol. 62, pp. 11-32, 1998.
Mulvihill R. et al., "The use of the Dynamic Flowgraph Methodology for screening human performance and team related accident initiating events," in Proceedings of the 4th International Conference on Probabilistic Safety Assessment and Management (PSAM 4), New York City, NY, Sep. 13-18, 1998.
Yau M. et al., "Dynamic Flowgraph Methodology (DFM) for safety analysis of critical control software," in Proceedings of the Probabilistic Safety Assessment and Management (PSAM) Conference, June 24-28 1996, Crete, Greece.
Yau M. et al., "Demonstration of the Dynamic Flowgraph Methodology using the Titan II space launch vehicle digital flight control software," Reliability Engineering and System Safety vol. 49, 1995.
Yau M. et al., "The Dynamic Flowgraph Methodology: A methodology for assessing embedded system software safety," in Proceedings of the 2nd International Conference on Probabilistic Safety Assessment and Management, San Diego, March 20-25, 1994.
Motamed M. et al., "Development of tools for safety analysis of control software in advanced reactors," U.S. Nuclear Regulatory Commission Report, NUREG/CR-6465, April 1996.

Nuclear Powerplant Safety

Milici A. et al., "Plant Management Advisor System (PMAS): An architecture for performing diagnostic reasoning and decision support in plant process management," in Proceedings of the Probabilistic Safety Assessment and Management (PSAM) Conference, June 24-28 1996, Crete, Greece.
Motamed M. et al., "Development of tools for safety analysis of control software in advanced reactors," U.S. Nuclear Regulatory Commission Report, NUREG/CR-6465, April 1996.
Milici A. et al., "Assisting emergency operating procedures execution with AMAS, an Accident Management Advisor System," in 4th International Topical Meeting on Nuclear Thermal Hydraulics, Operations and Safety, Taipei, Taiwan, April 6-8, 1994.
Milici A. et al., "Accident Management Advisor System: A decision aid to augment the value of information from nuclear plant instruments during severe accidents," in OECD (NEA) CSNI Specialists Meeting on Instrumentation for Accident Management, Cologne, Germany, March 16-17, 1992.

Aerospace Risk Assessment and Mitigation

Yau M. et al., "Conditional Risk Model concept for critical space systems software," in Proceedings of the 7th International Conference on Probabilistic Safety Assessment and Management (PSAM-7), Berlin, Germany, June 14 - 18, 2004.
Yau M.; Motamed, M.; Cleary, B.; Shemanski, T., "Launch vehicle accident assessment framework for future NASA nuclear missions," in Proceedings of the 7th International Conference on Probabilistic Safety Assessment and Management (PSAM-7), Berlin, Germany, June 14 - 18, 2004.
Oliva S., "Truck engines, Space Shuttle thrusters and common cause failure probability determination," Journal of System Safety vol. 40, No. 3, pp. 11-18, May-June 2004.
Motamed M. et al., "Launch vehicle accident assessment for nuclear payload missions," in Proceedings of the AIAA/ICAS International Air and Space Symposium and Exposition, Dayton, OH, July 14-17, 2003.
Yau M. et al., "Launch vehicle accident assessment for Mars Exploration Rover missions," in Proceedings of the 6th International Conference on Probabilistic Safety Assessment and Management (PSAM-6), San Juan, Puerto Rico, June 23 - 28, 2002.
Yau M. et al., "Safety analysis and testing of critical space systems software," in Proceedings of the 4th International Conference on Probabilistic Safety Assessment and Management, New York City, September 13-18, 1998.
Yau M. et al., "Software safety analysis of the Space Shuttle Main Engine (SSME) control software," in Proceedings of the 4th International Conference on Probabilistic Safety Assessment and Management, New York City, September 13-18, 1998.
Yau M. et al., "Conditional Risk Model concept for critical space systems software", in Proceedings of the 7th International Conference on Probabilistic Safety Assessment and Management (PSAM-7), Berlin, Germany, June 14 - 18, 2004.
Yau M. et al., "Conditional Risk Model concept for critical space systems software", in Proceedings of the 7th International Conference on Probabilistic Safety Assessment and Management (PSAM-7), Berlin, Germany, June 14 - 18, 2004.
Yau M. et al., "Demonstration of the Dynamic Flowgraph Methodology using the Titan II space launch vehicle digital flight control software," Reliability Engineering and System Safety vol. 49, 1995.

Software Safety

Yau M. et al., "Conditional Risk Model concept for critical space systems software," in Proceedings of the 7th International Conference on Probabilistic Safety Assessment and Management (PSAM-7), Berlin, Germany, June 14 - 18, 2004.
Yau M. et al., "The use of Prime Implicants in dependability analysis of software controlled systems," Reliability Engineering and System Safety, vol. 62, pp. 11-32, 1998.
Yau M. et al., "The Dynamic Flowgraph Methodology: A methodology for assessing embedded system software safety," in Proceedings of the 2nd International Conference on Probabilistic Safety Assessment and Management, San Diego, March 20-25, 1994.

Human Reliability

Milici A. et al., "Extending the Dynamic Flowgraph Methodology (DFM) to model human performance and team effects," U.S. Nuclear Regulatory Commission report NUREG/CR 6710, March 2001.
Mulvihill R. et al., "The use of the Dynamic Flowgraph Methodology for screening human performance and team-related accident initiating events," in Proceedings of the 4th International Conference on Probabilistic Safety Assessment and Management (PSAM 4), New York City, NY, Sep. 13-18, 1998.