report

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
Formalization of a Component Model for Real-time Systems
Component-based software development for real-time systems necessitates a well-defined textquoteleftcomponent modeltextquoteright that …
Abhishek Dubey, Gabor Karsai, Nagabhushan Mahadevan
Cite
Formalization of a Component Model for Real-time Systems
Component-based software development for real-time systems necessitates a well-defined ‘component model’ that allows compositional …
Abhishek Dubey, Gabor Karsai, Nagabhushan Mahadevan
Cite
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
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
Implementing Autonomic Computing Methods to Improve Attack Resilience in Web Services
Weston P Monceaux, Deland E Evans, Keith N Rappold, Cary D Butler, Sherif Abdelwahed, Rajat Mehrotra, Abhishek Dubey
Cite
Implementing Autonomic Computing Methods to Improve Attack Resilience in Web Services
Weston P Monceaux, Deland E Evans, Keith N Rappold, Cary D Butler, Sherif Abdelwahed, Rajat Mehrotra, Abhishek Dubey
Cite
RFDMon: A Real-Time and Fault-Tolerant Distributed System Monitoring Approach
Rajat Mehrotra, Abhishek Dubey, Jim Kwalkowski, Marc Paterno, Amitoj Singh, Randolph Herber, Sherif Abdelwahed
Cite
RFDMon: A Real-Time and Fault-Tolerant Distributed System Monitoring Approach
Rajat Mehrotra, Abhishek Dubey, Jim Kwalkowski, Marc Paterno, Amitoj Singh, Randolph Herber, Sherif Abdelwahed
Cite
A Case Study On The Application of Software Health Management Techniques
Ever increasing complexity of software used in large-scale, safety critical cyber-physical systems makes it increasingly difficult to …
Nagabhushan Mahadevan, Abhishek Dubey, Gabor Karsai
Cite