ASCA is now halfway through its two-year SBIR project. The team is working with NASA on deploying our safety methodology in future autonomous space systems. We are now looking for a partner so we can demonstrate how to use our software for safety analysis of autonomous cars.
Probabilistic safety assessment (PSA) is the standard method for assessing and improving safety of nuclear power plants. Shutdown PSA is a version that has been developed relatively later compared to…
There is a great demand for risk assessment tools and techniques that can ensure safe and robust performance of an Unmanned Aircraft System (UAS) equipped with adaptive elements in missions…
The rapid growth in availability and use of Unmanned Aircraft Systems (UAS) brings with it safety questions and significant challenges to the Federal Aviation Administration (FAA) and the aviation community.…
Model-based control systems (MBCSs) and adaptive control systems (ACSs) represent an emerging class of software-intensive space and aeronautical control applications that bring tangible benefits to design processes and developments, but…
This paper discusses ASCA’s experience in applying the Dynamic Flowgraph Methodology (DFM) to a space propulsion system problem specified by the Idaho National Laboratory (INL). This problem serves as a…
Software is a key component of modern space systems, which controls and monitors the functions of a range of electronic and mechanical devices. In essence, software provides the “brains” for…
Probabilistic Risk Assessment (PRA) is a comprehensive, structured, and logical analysis method aimed at identifying and assessing risks in complex technological systems for the purpose of cost-effectively improving their safety…
The purpose of this handbook is to provide guidance for implementing the Risk Management (RM) requirements of NASA Procedural Requirements (NPR) document NPR 8000.4A, Agency Risk Management Procedural Requirements [1],…
This paper discusses ASCA’s experience in applying the Dynamic Flowgraph Methodology (DFM) to a space propulsion system problem specified by the Idaho National Laboratory (INL). This problem serves as a…
Two dynamic methodologies, dynamic flowgraph methodology (DFM) and the Markov/Cell-tocell mapping technique (CCMT), are implemented on the benchmark Digital Feedwater Control System (DFWCS) specified in NUREG-6942, "Dynamic Reliability Modeling of Digital…
There is an accelerating trend to upgrade and replace nuclear power plant analog instrumentation and control systems with digital systems. While various methodologies are available for the reliability modeling of…
