Search Results - "Mahadevan, Nagabhushan"

Fault-Adaptive Autonomy in Systems with Learning-Enabled Components by Stojcsics, Daniel, Boursinos, Dimitrios, Mahadevan, Nagabhushan, Koutsoukos, Xenofon, Karsai, Gabor

“…Autonomous Cyber-Physical Systems (CPS) must be robust against potential failure modes, including physical degradations and software issues, and are required…”
Get full text

Hierarchical Reasoning about Faults in Cyber-Physical Energy Systems using Temporal Causal Diagrams by D Chhokra, Ajay, Mahadevan, Nagabhushan, Dubey, Abhishek, Hasan, Saqib, Balasubramanian, Daniel, Karsai, Gabor

“…fault management systems that observe the state of the system, decide if there is an anomaly and then take automated actions to isolate faults. For example, in…”
Get full text

A component model for hard real-time systems: CCM with ARINC-653 by Dubey, Abhishek, Karsai, Gabor, Mahadevan, Nagabhushan

“…SUMMARY The size and complexity of software in safety‐critical systems is increasing at a rapid pace. One technology that can be used to mitigate this…”
Get full text

Modeling COTS System TID Response With Monte Carlo Sampling and Transistor Swapping Experiments by Smith, M. Brandon, Witulski, Arthur F, Kauppila, Jeffrey S., Sternberg, Andrew L., Ryder, Kaitlyn L., Mahadevan, Nagabhushan, Schrimpf, Ronald D

“…Modeling systems containing commercial-off-the-shelf (COTS) parts exposed to total ionizing dose (TID) are difficult due to large parameter variability in the…”
Get full text

Radiation Response and Adaptive Control-Based Degradation Mitigation of MEMS Accelerometers in Ionizing Dose Environments by Pitt, E. Bryn, Barth, Eric J., Diggins, Zachary J., Mahadevan, Nagabhushan, Karsai, Gabor, Sierawski, Brian D., Reed, Robert A., Schrimpf, Ronald D., Weller, Robert A., Alles, Michael L., Witulski, Arthur F.

“…This paper investigates the effects of gamma radiation on the operation of commercially available capacitive microelectromechanical accelerometers intended for…”
Get full text

Radiation Assurance of CubeSat Payloads Using Bayesian Networks and Fault Models by Austin, Rebekah A., Mahadevan, Nagabhushan, Witulski, Arthur F., Evans, John, Witulski, Arthur F.

“…Commercial off-the-shelf (COTS) electronics are used in satellites that span the size, cost, and acceptable risk spectrum. At one extreme the CubeSat, a…”
Get full text

Augmenting Learning Components for Safety in Resource Constrained Autonomous Robots by Ramakrishna, Shreyas, Dubey, Abhishek, Burruss, Matthew P, Hartsell, Charles, Mahadevan, Nagabhushan, Nannapaneni, Saideep, Laszka, Aron, Karsai, Gabor

“…Learning enabled components (LECs) trained using data-driven algorithms are increasingly being used in autonomous robots commonly found in factories,…”
Get full text

A CubeSat-payload radiation-reliability assurance case using goal structuring notation by Austin, Rebekah A., Mahadevan, Nagabhushan, Sierawski, Brian D., Karsai, Gabor, Witulski, Arthur F., Evans, John

“…CubeSats have become an attractive platform for universities, industry, and government space missions because they are cheaper and quicker to develop than…”
Get full text

Range-Finding Sensor Degradation in Gamma Radiation Environments by Diggins, Zachary J., Mahadevan, Nagabhushan, Herbison, Dan, Karsai, Gabor, Barth, Eric, Reed, Robert A., Schrimpf, Ron D., Weller, Robert A., Alles, Michael L., Witulski, Arthur

“…The effects of gamma radiation on common sensors used in robots intended for nuclear remediation scenarios are examined. Commercial rangefinders are chosen as…”
Get full text

Practical Implementation of Diagnosis Systems Using Timed Failure Propagation Graph Models by Abdelwahed, S., Karsai, G., Mahadevan, N., Ofsthun, S.C.

“…Timed failure propagation graphs (TFPGs) are causal models that capture the temporal aspects of failure propagation in typical engineering systems. In this…”
Get full text

Deliberative, search-based mitigation strategies for model-based software health management by Mahadevan, Nagabhushan, Dubey, Abhishek, Balasubramanian, Daniel, Karsai, Gabor

“…Rising software complexity in aerospace systems makes them very difficult to analyze and prepare for all possible fault scenarios at design time; therefore,…”
Get full text

System Health Awareness in Total-Ionizing Dose Environments by Diggins, Zachary J., Mahadevan, Nagabhushan, Pitt, E. Bryn, Herbison, Daniel, Karsai, Gabor, Sierawski, Brian D., Barth, Eric J., Reed, Robert A., Schrimpf, Ronald D., Weller, Robert A., Alles, Michael L., Witulski, Arthur F.

“…Understanding the relationship between the impact of radiation at the component and system levels is challenging. This paper discusses a hierarchical approach,…”
Get full text

DVER: A tool chain for cross-validation and perfection of discrete model-based diagnostic systems by Mahadevan, Nagabhushan, Schumann, Johann, Lowry, Michael, Karsai, Gabor

“…The safe and reliable operation of complex aerospace vehicles requires rapid and accurate detection and identification of system faults. Discrete model-based…”
Get full text

Systems Engineering and Assurance Modeling (SEAM): A Web-Based Solution for Integrated Mission Assurance by Ryder, K L, Alles, R, Karsai, G, Mahadevan, N, Evans, J, Witulski, A F, Campola, M, Austin, R, Schrimpf, R

“…We present an overview of the Systems Engineering and Assurance Modeling (SEAM) platform, a web-browser-based tool which is designed to help engineers evaluate…”
Get full text

Bayesian Inference Modeling of Total Ionizing Dose Effects on System Performance by Diggins, Zachary J., Mahadevan, Nagabhushan, Pitt, E. Bryn, Herbison, Daniel, Hood, Rebecca M., Karsai, Gabor, Sierawski, Brian D., Barth, Eric J., Reed, Robert A., Schrimpf, Ronald D., Weller, Robert A., Alles, Michael L., Witulski, Arthur F.

“…A probabilistic Bayesian modeling method for determining the effects of radiation-induced component-level parameter shifts on system-level performance is…”
Get full text

Automatic Fault Tree Generation from Radiation-Induced Fault Models by Austin, Rebekah A., Mahadevan, Nagabhushan, Witulski, Arthur F., Karsai, Gabor, Sierawski, Brian D., Schrimpf, Ronald D., Reed, Robert A.

“…The space environment raises several unique reliability issues for non-optical-based electronic systems for surviving radiation from cosmic rays, our Sun, or…”
Get full text

Total-Ionizing-Dose Induced Timing Window Violations in CMOS Microcontrollers by Diggins, Zachary J., Mahadevan, Nagabhushan, Herbison, Daniel, Karsai, Gabor, Sierawski, Brian D., Barth, Eric, Pitt, E. Bryn, Reed, Robert A., Schrimpf, Ronald D., Weller, Robert A., Alles, Michael L., Witulski, Arthur

“…The total-ionizing-dose robustness of low power microcontrollers is investigated. Experiments reveal that with increasing total ionizing dose (TID), the…”
Get full text

Model-based software health management for real-time systems by Dubey, A, Karsai, G, Mahadevan, N

“…Complexity of software systems has reached the point where we need run-time mechanisms that can be used to provide fault management services. Testing and…”
Get full text

A Real-Time Component Framework: Experience with CCM and ARINC-653 by Dubey, Abhishek, Karsai, Gabor, Kereskenyi, Robert, Mahadevan, Nagabhushan

“…The complexity of software in systems like aerospace vehicles has reached the point where new techniques are needed to ensure system dependability while…”
Get full text

Automated Method for Assurance Case Construction from System Design Models by Hartsell, Charles, Mahadevan, Nagabhushan, Dubey, Abhishek, Karsai, Gabor

“…Many Cyber Physical Systems (CPSs) operate in safety- or mission-critical applications where strong assurance of safe operation is required. Assurance cases…”
Get full text