Articles written in Sadhana

    • A verifiable multi-agent framework for dependable and adaptable avionics


      More Details Abstract Fulltext PDF

      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

  • 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.