] Filters: Author is Mahadevan, Nagabhushan [Clear All Filters]
"Model-Based Design of Runtime Adaptation Strategies",
The 9th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS'03, Toronto, Canada, June, 2003.
"A robust method for hybrid diagnosis of complex systems",
5th Symposium on Fault Detection, Supervision and Safety for Technical Processes, Washington, DC, pp. 1125--1131, June, 2003.
Download: Biswas__G_6_0_2003_A_robust_m.pdf (522.4 KB)
"Self-Adaptive Software for Fault-Adaptive Control",
Third Intl. Workshop on Self-Adaptive Software, Washington, D.C., June, 2003.
"Model-Based Fault-Adaptive Control of Complex Dynamic Systems",
IMTC 2003, Vail, CO, May, 2003.
Download: Simon_G_5_20_2003_Model_Base.pdf (385.87 KB)
"Online Model-based Diagnosis to support autonomous operation of an Advanced Life Support System",
Habitation - Intl. Journal for human support Research, vol. 10, pp. 21--38, 2004.
Download: Biswas__G_0_0_2004_Online_Mod.pdf (352.93 KB)
"A Case Study in Applying QoS Adaptation and Model-Based Design to the Design-Time Optimization of Signal Analyzer Applications",
the Military Communications Conference MILCOM, Monterey, CA, August, 2004.
"A Model-Based Approach to Designing QoS Adaptive Applications",
the 25th IEEE International Real-Time Systems Symposium, Lisbon, Portugal, December, 2004.
"A Model-Integrated Computing Tool-suite for fault adaptive control",
15th Intl Workshop on Principles of Diagnosis (DX '04), Carcassonne, France, June, 2005.
Download: Manders_EJ_6_0_2005_A_Model_In_.pdf (265.41 KB)
"Model-based Software Tools for Integrated Vehicle Health Management",
The Second IEEE International Conference on Space Mission Challenges for Information Technology (SMC-IT), Pasadina, CA, 2006.
Download: Karsai_G_0_0_2006_Model_base.pdf (277.55 KB)
"The ESMoL Modeling Language and Tools for Synthesizing and Simulating Real-Time Embedded Systems",
15th IEEE Real-Time and Embedded Technology and Applications Symposium, San Francisco, CA, 04/2009.
Abstract
Download: rtas_demo_2009.pdf (491.24 KB)
"Reflex and Healing Architecture for Software Health Management",
International Workshop on Software Health Management, IEEE conference on Space Mission Challenges for Information Technology, 07/2009.
Download: Paper.pdf (189.19 KB)
Towards a Real-time Component Framework for Software Health Management,
, no. ISIS-09-111, Nashville, Institute for Software Integrated Systems, 11/2009.
Abstract
Download: TechReport2009.pdf (11.07 MB)
"Distributed diagnosis of complex systems using timed failure propagation graph models",
AUTOTESTCON, 2010 IEEE, pp. 1 -6, 2010.
Abstract
"Towards Model-based Software Health Management for Real-Time Systems",
ISIS Technical report, 2010.
Abstract
Download: Report.pdf (3.38 MB)
"A Real-Time Component Framework: Experience with CCM and ARINC-653",
IEEE International Symposium on Object-Oriented Real-Time Distributed Computing,, Spain, pp. 143--150, 2010.
Abstract
Download: Paper.pdf (5.46 MB)
"Application of Software Health Management Techniques",
To appear in the Proceedings of the 2011 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, New York, NY, USA, ACM, 2011.
Abstract
Download: Paper.pdf (5.15 MB)
"A Component Model for Hard-Real Time Systems: CCM with ARINC-653",
Software: Practice and Experience, no. In press, 2011.
Download: Journal.pdf (1.94 MB)
"A Case Study On The Application of Software Health Management Techniques",
ISIS Technical Report, no. ISIS-11-101, Nashville, Institute For Software Integrated Systems, 01/2011.
Abstract
Download: ADIRUTechReport.pdf (1.53 MB)
"Model-based Software Health Management for Real-Time Systems",
IEEE Aerospace Conference, pp. 1--18, 2011.
Abstract
Download: Paper.pdf (5.83 MB)
"Model-based Tools and Techniques for Real-Time System and Software Health Management",
Data Mining in Systems Health Management: Detection, Diagnostics, and Prognostics: CRC Press, to be published, 2011.
"Fault-Adaptivity in Hard Real-Time Component-Based Software Systems",
Software Engineering for Self-Adaptive Systems, vol. 2, 2012.
Download: BookChapter.pdf (1.83 MB)
"The Inertial Measurement Unit Example: A Software Health Management Case Study",
ISIS Technical Report, no. ISIS-12-101, 02/2012.
Abstract
Download: TechReport_IMU.pdf (1.49 MB)
"A Deliberative Reasoner for Model-Based Software Health Management",
The Eighth International Conference on Autonomic and Autonomous Systems, St. Maarten, Netherlands Antilles, 03/2012.
Abstract
Download: Paper.pdf (369.11 KB)
"Architecting Health Management into Software Component Assemblies: Lessons Learned from the ARINC-653 Component Model",
The 15th IEEE International Symposium on Object/component/service-oriented Real-time distributed computing, Shenzhen, China, IEEE, 04/2012.
Abstract
Download: Paper.pdf (336.83 KB)
"Formalization of a Component Model for Real-time Systems",
ISIS Technical Report, 04/2012.
Abstract
Download: ISIS-12-102-TechReport.pdf (1.3 MB)
"Reliable Distributed Real-time and Embedded Systems Through Safe Middleware Adaptation",
31st International Symposium on Reliable Distributed Systems (SRDS 2012), Irvine, California, USA, IEEE, 10/2012.
Download: srds2012_submission_88.pdf (665.22 KB)
"Deliberative, search-based mitigation strategies for model-based software health management",
Innovations in Systems and Software Engineering: Springer London, pp. 1-26, 2013.
Download: Paper.pdf (16.09 MB)
"Deliberative Reasoning in Software Health Management",
ISIS Technical Report, no. ISIS-13-101: Institute for Software Integrated Systems, Vanderbilt University, Nashville, TN, 37212, 04/2013.
Download: TechReport2013.pdf (1.29 MB)
"Poster Abstract: Distributed Reasoning for Diagnosing Cascading Outages in Cyber Physical Energy Systems",
2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS), Berlin, Germany, IEEE, pp. 1-1, April, 2016.
Abstract
"WiP Abstract: Diagnostics and Prognostics using Temporal Causal Models for Cyber-Physical Energy Systems",
ACM/IEEE 8th International Conference on Cyber-Physical Systems, 2017.
"Cyber-Physical Vulnerability Analysis",
ISIS Technical Report, no. ISIS-17-101, Nashville, Insitute For Software Integrated Systems, pp. 1-14, 01/2017.
Download: report.pdf (927.21 KB)
"A Systematic Approach Of Identifying Optimal Load Control Actions For Arresting Cascading Failures In Power Systems",
2nd Workshop on Cyber-Physical Security and Resilience in Smart Grids (CPSR-SG 2017), Pittsburgh, Pennsylvania, USA, ACM, 04/2017.
"A Modeling Framework to Integrate Exogenous Tools for Identifying Critical Components in Power Systems",
CPS Week- MSCPES, 2017.
Download: MSCPES_paper.pdf (867 KB); MSCPES_presentation.pdf (1.23 MB)
"A Simulation Testbed for Cascade Analysis",
IEEE PES Innovative Smart Grid Technologies (ISGT), 2017.
Abstract
Download: ISGT_2017_paper1.pdf (728.09 KB); ISGT_2017_presentation.pdf (857.13 KB)
"Hierarchical Reasoning about Faults in Cyber-Physical Energy Systems using Temporal Causal Diagrams",
International Journal of Prognostics and Health Management, vol. 9, no. 1, 02/2018.
Abstract
Download: ijphm_18_001.pdf (3.8 MB)
"A Data Driven Health Monitoring Approach to Extending Small Sats Mission",
ANNUAL CONFERENCE OF THE PROGNOSTICS AND HEALTH MANAGEMENT SOCIETY 2018, 09/2018.
Abstract
Download: data-driven-health.pdf (2.29 MB)
"Model-Based Design for CPS with Learning-Enabled Components",
Design Automation for CPS and IoT (DESTION 2019), Montreal, Canada, April 2019.
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering