• Fulltext

       

        Click here to view fulltext PDF


      Permanent link:
      https://www.ias.ac.in/article/fulltext/sadh/046/0027

    • Keywords

       

      Electric vehicle; four-quadrant operation; integrated on-board chargers; power factor correction; regenerative braking

    • Abstract

       

      The aerospace industry is continuously looking for improvements in operational efficiency and performance of systems. In its quest to do so, the industry is turning to Intelligent Adaptive Systems as a possible solution in many areas. However, the nature of the domain imposes expectations of safety, correctness and guarantees of behaviour from such systems. Meeting these expectations simultaneously, finally leading to certified products, poses many challenging problems. A research gap is perceived when the cycle of requirements, system design, verification and validation is examined, paving the need for correctness and guarantees of specifications in the early stages of a complex adaptive avionics system. We present a framework that is targeted for a broad class of avionics systems, engineered for short- and long-term system behaviours, resilient, real-time decision making, establishing trust on the way to certification and being amenable to analysis using formal methods. We have used this framework with two case studies (Flight Management System and Unmanned Aircraft System) and provide an application of this framework with one case study

    • Graphical Abstract

       

    • Author Affiliations

       

      RAJANIKANTH KASHI NAGARAJ1 MEENAKSHI D’SOUZA2

      1. Department of Electronics and Communication Engineering, B M S College of Engineering, P O Box No 1908,Bull Temple Road, Bangalore 560 019, India
      2. Software Engineering Laboratory, International Institute of Information Technology – Bangalore, 26/C Hosur Rd, Electronics City Phase 1, Bangalore 560 100, India
    • Dates

       
  • Sadhana | News

    • Editorial Note on Continuous Article Publication

      Posted on July 25, 2019

      Click here for Editorial Note on CAP Mode

© 2021-2022 Indian Academy of Sciences, Bengaluru.