Loading [MathJax]/extensions/MathMenu.js
Purnendu Sinha - IEEE Xplore Author Profile
Subscribe
ADVANCED SEARCH

Author details

< Back

Purnendu Sinha

Also published under: P. Sinha

Publications
19
Citations
82
Publications by Year
19982013
Co-Authors:
Show All Co-Authors (22)
Image of author Purnendu Sinha

Purnendu Sinha

Also published under: P. Sinha

Affiliation

Department of Computer Science and Engineering
Indian Institute of Technology
Kharagpur, India

Publication Topics

Biography

Purnendu Sinha (M'XX—SM'XX) obtained his Ph.D. in computer engineering from Boston University, Boston, MA. He is a staff researcher at General Motors India Science Lab (ISL). At ISL, he conducts research in strategic software architecture for automotive systems. Prior to joining General Motors, he worked as a principal scientist at Philips Research Asia, Bangalore, conducting research in the area of software engineering addressing issues pertinent to SW platforms used in medical systems and consumer-electronics applications. Before joining industrial R&D Labs, he held faculty positions at the Indian Institute of Information Technology at Bangalore as an Associate Professor, and as an Assistant Professor with the Department of Electrical and...
Publications
19
Citations
82
Publications by Year
19982013
Co-Authors:
Show All Co-Authors (22)
Author's Published Works

Showing 1-19 of 19 results

  • Sort

Filter Results

Show

Sort By

Results

Prediction Schemes for Compensating Variable Delay for Improving Performance of Real-Time Control Tasks

Saptarshi Roy;Amit Patra;Partha P. Chakrabarti;Purnendu Sinha;Dipankar Das

2013 26th International Conference on VLSI Design and 2013 12th International Conference on Embedded Systems
Year: 2013 | Conference Paper |
Period selection based techniques for resource distribution among concurrent control tasks have gained significant research interest in the last decade. The application of these techniques in the networked control environment may give rise to an asynchronous data communication between the sensor and the controller and may result in a variable delay in the loop. This work investigates the degrading...Show More

Prediction Schemes for Compensating Variable Delay for Improving Performance of Real-Time Control Tasks

Saptarshi Roy;Amit Patra;Partha P. Chakrabarti;Purnendu Sinha;Dipankar Das

Year: 2013 | Conference Paper |

Finding Critical Components in Embedded Control Systems Sensitive to Quality-Faults

Vishal Shrivastav;S. G. Vadlamudi;P. P. Chakrabarti;Dipankar Das;Purnendu Sinha

2012 International Symposium on Electronic System Design (ISED)
Year: 2012 | Conference Paper |
Cited by: Papers (1)
Embedded control systems used in safety critical systems need to be robust to quality-faults such as shift, noise, and spikes. Methods for finding counterexamples (quality-faults whose injection leads to violation of fault-tolerance requirements) at an early stage of control system design were proposed in the literature. Given these counterexamples, control design should be improved such that it i...Show More

Finding Critical Components in Embedded Control Systems Sensitive to Quality-Faults

Vishal Shrivastav;S. G. Vadlamudi;P. P. Chakrabarti;Dipankar Das;Purnendu Sinha

Year: 2012 | Conference Paper |

Evaluation of electric-vehicle architecture alternatives

Purnendu Sinha;Vinod Agrawal

2011 IEEE Vehicle Power and Propulsion Conference
Year: 2011 | Conference Paper |
Cited by: Papers (1)
As trends in electric-vehicle (EV) research show that with introduction of advanced electric-propulsion systems, ensuring continued safe operation of such automotive system may require high-integrity system design for both hardware and software components. Furthermore, key subsystems must have certain degrees of fault-tolerance capabilities for mitigating potential hazards resulting due to random ...Show More

Evaluation of electric-vehicle architecture alternatives

Purnendu Sinha;Vinod Agrawal

Year: 2011 | Conference Paper |

A framework for early stage quality-fault tolerance analysis of embedded control systems

S. G. Vadlamudi;P. P. Chakrabarti;Dipankar Das;Purnendu Sinha

2011 IEEE/IFIP 41st International Conference on Dependable Systems & Networks (DSN)
Year: 2011 | Conference Paper |
Cited by: Papers (2)
This work presents a static-analysis based method for analyzing the robustness of a given embedded control system design, in the presence of quality-faults in sensors, software components, and inter-connections. The method characterizes the individual components of the system by storing the relations between the precision of inputs and the precision of outputs in what we call, lookup tables (LUTs)...Show More

A framework for early stage quality-fault tolerance analysis of embedded control systems

S. G. Vadlamudi;P. P. Chakrabarti;Dipankar Das;Purnendu Sinha

Year: 2011 | Conference Paper |

A Diagnostic Tree Approach for Fault Cause Identification in the Attitude Control Subsystem of Satellites

Amitabh Barua;Purnendu Sinha;Khashayar Khorasani

IEEE Transactions on Aerospace and Electronic Systems
Year: 2009 | Volume: 45, Issue: 3 | Journal Article |
Space and Earth observation programs demand stringent guarantees ensuring smooth and reliable operations of space vehicles and satellites. Due to unforeseen circumstances and naturally occurring faults, it is desired that a fault-diagnosis system be capable of detecting, isolating, identifying, or classifying faults in the system. Unfortunately, none of the existing fault-diagnosis methodologies a...Show More

A Diagnostic Tree Approach for Fault Cause Identification in the Attitude Control Subsystem of Satellites

Amitabh Barua;Purnendu Sinha;Khashayar Khorasani

Year: 2009 | Volume: 45, Issue: 3 | Journal Article |

Intelligent and learning-based approaches for health monitoring and fault diagnosis of RADARSAT-1 attitude control system

A. Joshi;V. Gavriloiu;A. Barua;A. Garabedian;P. Sinha;K. Khorasani

2007 IEEE International Conference on Systems, Man and Cybernetics
Year: 2007 | Conference Paper |
Cited by: Papers (10)
The objective of this research is to develop to the proof-of-concept stage, a fault tolerant diagnosis system for the RADARSAT-1 attitude control system (ACS) telemetry. The proposed system is using computational intelligence (CI) to detect and isolate faults and also to infer cause of failures from the telemetry data time series history using functional models of satellite ACS. The proposed work ...Show More

Intelligent and learning-based approaches for health monitoring and fault diagnosis of RADARSAT-1 attitude control system

A. Joshi;V. Gavriloiu;A. Barua;A. Garabedian;P. Sinha;K. Khorasani

Year: 2007 | Conference Paper |

On improving performance of Network Intrusion Detection Systems by efficient packet capturing

A. Biswas;P. Sinha

2006 IEEE/IFIP Network Operations and Management Symposium NOMS 2006
Year: 2006 | Conference Paper |
Cited by: Papers (4)
In a PC based Network Intrusion Detection System (NIDS), the packet capturing component is a key bottleneck which reduces its effectiveness. NIDS deployment on multiprocessor or distributed systems that circumvents this bottleneck do not address operating system performance limitations which are the causal factors behind this bottleneck. Completion of intrusion detection task in bounded time at th...Show More

On improving performance of Network Intrusion Detection Systems by efficient packet capturing

A. Biswas;P. Sinha

Year: 2006 | Conference Paper |

Hardware acceleration of deadlock avoidance and detection in real-time operating systems

P. Samson;P. Sinha

Fifth International Workshop on System-on-Chip for Real-Time Applications (IWSOC'05)
Year: 2005 | Conference Paper |
In a multitasking environment, resource management policies, being devised and utilized to ensure proper inter-process resource sharing, incur significant operational overhead due to their inherent complexity and often lead to performance penalties, which could be detrimental to the timing responses of critical systems. In this paper, we propose and demonstrate an approach to alleviate degraded sy...Show More

Hardware acceleration of deadlock avoidance and detection in real-time operating systems

P. Samson;P. Sinha

Year: 2005 | Conference Paper |

A novel fault-tree approach for identifying potential causes of satellite reaction wheel failure

A. Barua;P. Sinha;K. Khorasani;S. Tafazoli

Proceedings of 2005 IEEE Conference on Control Applications, 2005. CCA 2005.
Year: 2005 | Conference Paper |
Cited by: Papers (5)
Due to unforeseen circumstances and naturally occurring faults, it is desired that an on-board fault-diagnosis system of a space vehicle be capable of detecting, isolating, identifying or classifying faults in the system. In this paper, a novel approach is proposed which strengthens existing efficient fault-detection mechanisms with an additional ability to classify different types of faults to ef...Show More

A novel fault-tree approach for identifying potential causes of satellite reaction wheel failure

A. Barua;P. Sinha;K. Khorasani;S. Tafazoli

Year: 2005 | Conference Paper |

On the run-time verification of autonomy software

A. Tiwari;P. Sinha;U. Ramachandran

28th Annual NASA Goddard Software Engineering Workshop, 2003. Proceedings.
Year: 2003 | Conference Paper |
Cited by: Papers (2)
The mission-critical and dependability aspects of autonomous systems demand formal level of assurance in ascertaining their mission-survivability capabilities. The complete understanding of system autonomy and its verification and validation (V&V) continue to pose technical challenges. In recent years, formal methods have shown considerable promise in the area of V&V of autonomous systems. In this...Show More

On the run-time verification of autonomy software

A. Tiwari;P. Sinha;U. Ramachandran

Year: 2003 | Conference Paper |

A component-based design of a fault-tolerant multimedia communication protocol

A. Hanumantharaya;P. Sinha;A. Agarwal

Fifth International Symposium on Multimedia Software Engineering, 2003. Proceedings.
Year: 2003 | Conference Paper |
Cited by: Papers (1)
We present component-based design of a fault-tolerant (FT) multimedia communication protocol. Specifically, we show how a fault-intolerant multimedia protocol can be transformed to be able to handle certain fault cases by composing it with FT components, thereby providing dependability attributes in the resulting FT version of the protocol. We present the design of the FT components, namely correc...Show More

A component-based design of a fault-tolerant multimedia communication protocol

A. Hanumantharaya;P. Sinha;A. Agarwal

Year: 2003 | Conference Paper |

Issues in V&V of autonomous and adaptive systems

A. Tiwari;P. Sinha

CCECE 2003 - Canadian Conference on Electrical and Computer Engineering. Toward a Caring and Humane Technology (Cat. No.03CH37436)
Year: 2003 | Conference Paper |
Cited by: Papers (1)
System autonomy is attracting increasing attention in many application domains, yet complete understanding of autonomous and adaptive (A&A) systems and their verification and validation (V&V) remain a challenge. In recent years, formal methods have been effectively used in V&V of safety/mission-critical systems. The paper provides an overview of different formal techniques being used in reasoning ...Show More

Issues in V&V of autonomous and adaptive systems

A. Tiwari;P. Sinha

Year: 2003 | Conference Paper |

Composing modules with synchronization and real-time constraints using category theory

N. Varma;P. Sinha

CCECE 2003 - Canadian Conference on Electrical and Computer Engineering. Toward a Caring and Humane Technology (Cat. No.03CH37436)
Year: 2003 | Conference Paper |
Nowadays, complex real-time/embedded software systems are typically being composed out of reusable and mostly deployable components. The paper presents our initial efforts in developing a formal framework which utilizes the concepts of category theory to provide for a rigorous, consistent and traceable composition of modules with constraints. A case study illustrates our proposed framework for com...Show More

Composing modules with synchronization and real-time constraints using category theory

N. Varma;P. Sinha

Year: 2003 | Conference Paper |

Modular composition and verification of transaction processing protocols

V. Janarthanan;P. Sinha

23rd International Conference on Distributed Computing Systems, 2003. Proceedings.
Year: 2003 | Conference Paper |
Establishing the correctness of reliable distributed protocols supporting critical applications necessitates modular/compositional approaches to tackle the inherent complexity of these protocols. Efforts involved in the specification and verification of these reliable distributed protocols can be considerably reduced if the protocol is composed utilizing smaller components (building-blocks) posses...Show More

Modular composition and verification of transaction processing protocols

V. Janarthanan;P. Sinha

Year: 2003 | Conference Paper |

Modular composition of redundancy management protocols in distributed systems: an outlook on simplifying protocol level formal specification and verification

P. Sinha;N. Suri

Proceedings 21st International Conference on Distributed Computing Systems
Year: 2001 | Conference Paper |
Cited by: Papers (6)
In recent years, formal methods (FMs) have been extensively used for the verification and validation (V&V) of dependable distributed protocols. In our studies utilizing FMs for V&V, we have observed that a number of protocols providing for distributed and dependable services can often be formulated using a small set of basic functional primitives or their variations. Thus, from the formal viewpoin...Show More

Modular composition of redundancy management protocols in distributed systems: an outlook on simplifying protocol level formal specification and verification

P. Sinha;N. Suri

Year: 2001 | Conference Paper |

On simplifying modular specification and verification of distributed protocols

P. Sinha;N. Suri

Proceedings Sixth IEEE International Symposium on High Assurance Systems Engineering. Special Topic: Impact of Networking
Year: 2001 | Conference Paper |
Cited by: Papers (4)
Computer systems supporting high assurance and high consequences applications typically utilize dependable distributed protocols to manage system resources and to provide sustained delivery of services in the presence of failures. The inherent complexity entailed in the design and analysis of such protocols, is increasingly necessitating the use of formal techniques in establishing the correctness...Show More

On simplifying modular specification and verification of distributed protocols

P. Sinha;N. Suri

Year: 2001 | Conference Paper |

On the use of formal techniques for analyzing dependable real-time protocols

P. Sinha;N. Suri

Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054)
Year: 1999 | Conference Paper |
Cited by: Papers (3)
The effective design of composite dependable and real time protocols entails demonstrating their proof of correctness and, in practice, the efficient delivery of services. We focus on these aspects of correctness and efficiency, specifically considering the real time aspects where the need is to ensure satisfaction of stringent timing and operational constraints. We establish the use of mathematic...Show More

On the use of formal techniques for analyzing dependable real-time protocols

P. Sinha;N. Suri

Year: 1999 | Conference Paper |

Identification of test cases using a formal approach

P. Sinha;N. Suri

Digest of Papers. Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing (Cat. No.99CB36352)
Year: 1999 | Conference Paper |
Cited by: Papers (6)
A key feature in fault injection (FI) based validation is identifying the relevant test cases to inject. This problem is exacerbated at the protocol level where the lack of detailed fault distributions limits the use of statistical approaches in deriving and estimating the number of test cases to inject. In this paper we develop and demonstrate the capabilities of a formal approach to protocol val...Show More

Identification of test cases using a formal approach

P. Sinha;N. Suri

Year: 1999 | Conference Paper |

On the use of formal techniques for validation

N. Suri;P. Sinha

Digest of Papers. Twenty-Eighth Annual International Symposium on Fault-Tolerant Computing (Cat. No.98CB36224)
Year: 1998 | Conference Paper |
Cited by: Papers (8)
The traditional use of formal methods has been for the verification of algorithms or protocols. Given the high cost and limitations in state space coverage provided by conventional validation techniques, we introduce a novel approach to utilize formal verification procedures to drive fault injection based validation of dependable protocols. The paper develops graph structures for representation of...Show More

On the use of formal techniques for validation

N. Suri;P. Sinha

Year: 1998 | Conference Paper |

IEEE Account

Purchase Details

Profile Information

Need Help?

A not-for-profit organization, IEEE is the world's largest technical professional organization dedicated to advancing technology for the benefit of humanity.
© Copyright 2025 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.