paper-conference

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
Generic modeling and analysis framework for shipboard system design
This paper proposes a novel modeling and simulation environment for ship design based on the principles of Model Integrated Computing …
J. Shi, R. Amgai, S. Abdelwahed, Abhishek Dubey, J. Humphreys, M. Alattar, R. Jia
Cite DOI
A model-driven software component framework for fractionated spacecraft
Fractionated spacecraft is a novel space architecture that uses a cluster of small spacecraft modules (with their own attitude control …
Abhishek Dubey, Aniruddha Gokhale, Gabor Karsai, W Otte, Johnny Willemsen
Cite
Drems: A toolchain and platform for the rapid application development, integration, and deployment of managed distributed real-time embedded systems
William Emfinger, Pranav Kumar, Abhishek Dubey, William Otte, Aniruddha Gokhale, Gabor Karsai
Cite
F6COM: A component model for resource-constrained and dynamic space-based computing environments
Component-based programming models are well-suited to the design of large-scale, distributed applications because of the ease with …
William Otte, Abhishek Dubey, Subhav Pradhan, Prithviraj Patil, Aniruddha S. Gokhale, Gabor Karsai, Johnny Willemsen
Cite DOI URL
Understanding Failure Dynamics in the Smart Electric Grid
A Dubey, G Karsai, N Mahadevan, A Srivastava, CC Liu, S Lukic
Cite
A software platform for fractionated spacecraft
A fractionated spacecraft is a cluster of independent modules that interact wirelessly to maintain cluster flight and realize the …
Abhishek Dubey, W. Emfinger, A. Gokhale, G. Karsai, W. R. Otte, J. Parsons, C. Szabo, A. Coglio, E. Smith, P. Bose
Cite DOI
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
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