paper-conference

A Guided Explorative Approach for Autonomic Healing of Model-Based Systems
Embedded computing is an area in which many of the Self-* properties of autonomic systems are desirable. Model based tools for …
Steven Nordstrom, Ted Bapty, Sandeep Neema, Abhishek Dubey, Turker Keskinpala
Cite
GHOST: Guided Healing and Optimization Search Technique for Healing Large-Scale Embedded Systems
Reflex and healing architectures have been shown to provide adequate user-defined initial failure mitigation behaviors in the presence …
S. Nordstrom, Abhishek Dubey, T. Keskinpala, S. Neema, T. Bapty
Cite DOI
Verifying Autonomic Fault Mitigation Strategies in Large Scale Real-Time Systems
In large scale real-time systems many problems associated with self-management are exacerbated by the addition of time deadlines. In …
Abhishek Dubey, S. Nordstrom, T. Keskinpala, S. Neema, T. Bapty
Cite DOI
A Model Driven Tool for Automated System Level Testing of Middleware
This paper presents a contribution to the challenges of manually creating test configurations and deployments for high performance …
Turker Keskinpala, Abhishek Dubey, Steve Nordstrom, Ted Bapty, Sandeep Neema
Cite
Computation Platform for Automatic Analysis of Embedded Software Systems Using Model Based Approach
In this paper, we describe a computation platform called ReachLab, which enables automatic analysis of embedded software systems that …
Abhishek Dubey, X. Wu, H. Su, T. J. Koo
Cite