Browsing by Author "Jeppu, Y."

Filter results by typing the first few letters
Now showing 1 - 5 of 5
  • No Thumbnail Available
    Item
    Arguing formally about flight control laws
    (2015) Jeppu, N.Y.; Jeppu, Y.; Murthy, N.
    Flight control law software have errors. Some are found during the extensive testing and certification process and others pass through causing accidents. The testing of flight control software indicates that the code and the model match. But it is very difficult to ensure if the model was correct in the first place. Model checkers like Mathworks Simulink Design Verifier check the models against formally defined conditions and system behavior. The tool can come up with counterexamples that can fail an assertion or proof. A study is done on how easy or difficult it is to teach engineering students this formal process. The problem statement, the Simulink models and the outcome of the study in terms of advantages and disadvantages of using Simulink Design Verifier is highlighted in this preliminary study. � 2015 IEEE.
  • No Thumbnail Available
    Item
    Arguing formally about flight control laws using SLDV and NUSMV
    (Springer Singapore, 2017) Jeppu, N.; Jeppu, Y.
    Software systems have failed in the recent past. This is most often attributed to wrong requirements often caught very late in the program or escapes from the rigorous process leading to failures. There is a necessity to ensure that the requirements are correct up front before the design and verification process start. Formal methods have become popular these days and a lot of impetus is there in the industry to apply these techniques to safety critical projects especially in flight controls. This paper looks at two tools NuSMV, an open source model checker, and Simulink Design Verifier, a commercial model checker. It is seen that these can be practically applied to projects and design. These are very successful in finding defects in design and requirements as demonstrated on a set of mutants. © Springer Nature Singapore Pte Ltd. 2018. All rights reserved.
  • No Thumbnail Available
    Item
    Teaching EARS to undergrads in the pandemic - Industry academia experience
    (Institute of Electrical and Electronics Engineers Inc., 2020) Nair, G.V.; Jeppu, Y.; Tahiliani, M.P.
    The COVID-19 pandemic is rampant in India and this has changed the way the students and teachers interact with each other during a course. An added complexity is the introduction of the Industry Academia participation in terms of Adjunct Faculties. Teaching formal methods to undergraduate students has been difficult and these are well captured in the academic community. The necessity of good requirements writing which can be validated using formal methods is a need of the hour for the industry. Requirements error contribute to 70% of the errors in safety critical projects. A course on Formal Methods is offered at the National Institute of Technology Karnataka, Surathkal as an undergraduate elective. This has 54 students registered and the course is offered online by an adjunct faculty from the industry. The experiences of capturing and writing good requirements using the EARS (Easy Approach to Requirements Syntax) is highlighted in this paper. A survey of before and after the class and an exercise on EARS notations are brought out. The lessons learnt and the efficacy of the teaching is brought out as a three perspective: student, academia and industry. © 2020 IEEE.
  • No Thumbnail Available
    Item
    Teaching formal methods at undergraduate/graduate level: The three perspectives
    (2018) Jeppu, N.; Jeppu, Y.; Devi, M.K.K.
    Formai methods provide easy way of validating properties about systems. These methods are in existence since the last 50 years but have not been used fully by the industry as an engineering tool. One of the challenges of acceptance is education. Educating engineering students to take up formal methods is a challenge. This paper looks at these aspects of formal methods by providing demonstration of its usefulness on a recent failure. A few challenges of teaching formal method are described and three perspectives of formal methods are explained. The viewpoints are from a student who has worked on this, a teacher who teaches this and an industry practitioner of formal methods. We advocate an industry academia partnership to overcome some of these challenges of teaching formal methods to students. � 2017 IEEE.
  • No Thumbnail Available
    Item
    Teaching formal methods at undergraduate/graduate level: The three perspectives
    (Institute of Electrical and Electronics Engineers Inc., 2018) Jeppu, N.; Jeppu, Y.; Kavitha Devi, M.K.K.
    Formai methods provide easy way of validating properties about systems. These methods are in existence since the last 50 years but have not been used fully by the industry as an engineering tool. One of the challenges of acceptance is education. Educating engineering students to take up formal methods is a challenge. This paper looks at these aspects of formal methods by providing demonstration of its usefulness on a recent failure. A few challenges of teaching formal method are described and three perspectives of formal methods are explained. The viewpoints are from a student who has worked on this, a teacher who teaches this and an industry practitioner of formal methods. We advocate an industry academia partnership to overcome some of these challenges of teaching formal methods to students. © 2017 IEEE.