Abhishek Dubey
Abhishek Dubey
Home
Education
Research Impact
Publications
Contact
CV
Light
Dark
Automatic
reliability
Software health management
Abhishek Dubey
,
Gabor Karsai
Cite
DOI
Towards a resilient deployment and configuration infrastructure for fractionated spacecraft
Fractionated spacecraft are clusters of small, independent modules that interact wirelessly to realize the functionality of a …
Subhav Pradhan
,
William Otte
,
Abhishek Dubey
,
Aniruddha S. Gokhale
,
Gabor Karsai
Cite
DOI
URL
On state of the art in virtual machine security
Data centers and computing service providers are striving to improve the utilization of their computing resources. This is primarily …
Qian Chen
,
R. Mehrotra
,
Abhishek Dubey
,
S. Abdelwahed
,
K. Rowland
Cite
DOI
The Inertial Measurement Unit Example: A Software Health Management Case Study
This report captures in detail a Two-level Software Health Management strategy on a real-life example of an Inertial Measurement Unit …
Abhishek Dubey
,
Nagabhushan Mahadevan
,
Gabor Karsai
Cite
A deliberative reasoner for model-based software health management
While traditional design-time and off-line approaches to testing and verification contribute significantly to improving and ensuring …
Abhishek Dubey
,
Nagabhushan Mahadevan
,
Gabor Karsai
Cite
Architecting Health Management into Software Component Assemblies: Lessons Learned from the ARINC-653 Component Mode
Complex real-time software systems require an active fault management capability. While testing, verification and validation schemes …
Nagabhushan Mahadevan
,
Abhishek Dubey
,
Gabor Karsai
Cite
DOI
URL
Reliable Distributed Real-Time and Embedded Systems through Safe Middleware Adaptation
Distributed real-time and embedded (DRE) systems are a class of real-time systems formed through a composition of predominantly legacy, …
Akshay Dabholkar
,
Abhishek Dubey
,
Aniruddha S. Gokhale
,
Gabor Karsai
,
Nagabhushan Mahadevan
Cite
DOI
URL
Model-based software health management for real-time systems
Complexity of software systems has reached the point where we need run-time mechanisms that can be used to provide fault management …
Abhishek Dubey
,
G. Karsai
,
N. Mahadevan
Cite
DOI
Application of software health management techniques
The growing complexity of software used in large-scale, safety critical cyber-physical systems makes it increasingly difficult to …
Nagabhushan Mahadevan
,
Abhishek Dubey
,
Gabor Karsai
Cite
DOI
URL
Autonomic Healing of Model-Based Systems
Steven Nordstrom
,
Abhishek Dubey
,
Turker Keskinpala
,
Sandeep Neema
,
Theodore Bapty
Cite
DOI
URL
«
»
Cite
×