Nagabhushan Mahadevan

Learn More
The AI model-based diagnosis community has developed qualitative reasoning mechanisms for fault isolation in dynamic systems. Their emphasis has been on the fault isolation algorithms, and little attention has been paid to robust online detection and symbol generation that are essential components of a complete diagnostic solution. This paper discusses a(More)
In this paper we present a model-based approach for designing Quality of Service adaptive applications. We have developed a prototype Distributed QoS Modeling Environment (DQME) that captures important elements of dynamic QoS adaptation at the model level. This modeling environment is designed independent of, and can be integrated with, specific application(More)
The complexity of software in systems like aerospace vehicles has reached the point where new techniques are needed to ensure system dependability while improving the productivity of developers. One possible approach is to use precisely defined software execution platforms that (1) enable the system to be composed from separate components, (2) restrict(More)
Size and complexity of software in safety critical system is increasing at a rapid pace. One technology that can be used to mitigate this complexity is component-based software development. However, in spite of the apparent benefits of a component-based approach to development, little work has been done in applying these concepts to hard real time systems.(More)
This paper presents a component oriented modeling environment for building hybrid dynamic models of physical system. The modeling environment is created using the generic modeling environment (GME), a meta programmable visual modeling application developed at the Institute for Software Integrated Systems (ISIS). The core of the modeling language itself is a(More)
Complexity of software systems has reached the point where we need run-time mechanisms that can be used to provide fault management services. Testing and verification may not cover all possible scenarios that a system will encounter, hence a simpler, yet formally specified run-time monitoring, diagnosis, and fault mitigation architecture is needed to(More)
High-confidence embedded real-time designs stretch the demands placed on design and development tools. We will demonstrate the design and testing of an embedded control system built using the ESMoL modeling language and supporting tools. ESMoL adds distributed deployment concepts to Simulink designs, and integrates scheduling analysis as well as(More)