N
Nagaraj Murthy
Publications - 5
Citations - 22
Nagaraj Murthy is an academic researcher. The author has contributed to research in topics: Test case & Model-based testing. The author has an hindex of 3, co-authored 5 publications receiving 22 citations.
Papers
More filters
Proceedings ArticleDOI
A new input-output based model coverage paradigm for control blocks
TL;DR: A new paradigm of coverage metric is developed here for the independent verification of safety critical control systems, and it is shown that the test cases developed using this coverage metric bring out the errors introduced in the mutant files.
Proceedings ArticleDOI
Arguing formally about flight control laws
TL;DR: A study is done on how easy or difficult it is to teach engineering students this formal process of checking the models against formally defined conditions and system behavior and the outcome of the study in terms of advantages and disadvantages of using Simulink Design Verifier is highlighted.
Proceedings ArticleDOI
An auto-review tool for model-based testing of safety-critical systems
TL;DR: This paper consolidates some of the past experiences of conducting manual reviews in the flight control software V&V for a commercial aircraft program and presents the tool development process beginning with defining a library of Input/Output relation based functions.
Mode Transition Logic of a Vertical Autopilot for Commercial Aircrafts
TL;DR: The usage of a recently proposed array logic based technique for designing the autopilot mode transition logic for a commercial aircraft helps in reducing the design effort in the development of an autopilot.
Book ChapterDOI
A Methodology to Design a Validated Mode Transition Logic
TL;DR: A practical method of reviews, assertions, safe states, and safe transitions is experimented for this design as a process and has yielded good results and helped the team to come up with the validated MTL.