reliability

Towards Reliability-Based Decision Making in Cyber-Physical Systems
Cyber-physical systems (CPS) are systems with a tight integration between the computational (also referred to as software or cyber) and …
Saideep Nannapaneni, Sankaran Mahadevan, Subhav Pradhan, Abhishek Dubey
Cite DOI URL
From system modeling to formal verification
Due to increasing design complexity, modern systems are modeled at a high level of abstraction. SystemC is widely accepted as a system …
A. Chhokra, S. Abdelwahed, Abhishek Dubey, S. Neema, G. Karsai
Cite
CHARIOT: a domain specific language for extensible cyber-physical systems
Wider adoption, availability and ubiquity of wireless networking technologies, integrated sensors, actuators, and edge computing …
Subhav M. Pradhan, Abhishek Dubey, Aniruddha S. Gokhale, Martin Lehofer
Cite DOI URL
Using temporal causal models to isolate failures in power system protection devices
We introduced the modeling paradigm of Temporal Causal Diagrams (TCD) in this paper. TCDs capture fault propagation and behavior …
Nagabhushan Mahadevan, Abhishek Dubey, Ajay Chhokra, Huangcheng Guo, Gabor Karsai
Cite DOI URL
A Model-Based Approach for Reliability Assessment in Component-Based Systems
This paper describes a formal framework for reliability assessment of component-based systems with respect to specific missions. A …
Saideep Nannapaneni, Abhishek Dubey, Sherif Abdelwahed, Sankaran Mahadevan, Sandeep Neema
Cite
Key Considerations for a Resilient and Autonomous Deployment and Configuration Infrastructure for Cyber-Physical Systems
Multi-module Cyber-Physical Systems (CPSs), such as satellite clusters, swarms of Unmanned Aerial Vehicles (UAV), and fleets of …
Subhav Pradhan, William Otte, Abhishek Dubey, Aniruddha Gokhale, Gabor Karsai
Cite
Temporal Causal Diagrams for diagnosing failures in cyber-physical systems
Resilient and reliable operation of cyber physical systems of societal importance such as Smart Electric Grids is one of the top …
Nagabhushan Mahadevan, Abhishek Dubey, Gabor Karsai, Anurag Srivastava, Chen-Ching Liu
Cite
Deliberative Reasoning in Software Health Management
Rising software complexity in aerospace systems makes them very dicult to analyze and prepare for all possible fault scenarios at …
Nagabhushan Mahadevan, Abhishek Dubey, Daniel Balasubramanian, Gabor Karsai
Cite
Deliberative, search-based mitigation strategies for model-based software health management
Rising software complexity in aerospace systems makes them very difficult to analyze and prepare for all possible fault scenarios at …
Nagabhushan Mahadevan, Abhishek Dubey, Daniel Balasubramanian, Gabor Karsai
Cite DOI URL
Fault-Adaptivity in Hard Real-Time Component-Based Software Systems
Complexity in embedded software systems has reached the point where we need run-time mechanisms that provide fault management services. …
Abhishek Dubey, Gabor Karsai, Nagabhushan Mahadevan
Cite DOI URL