Articles written in Sadhana

    • A re-entrant line model for software product testing

      VVS Sarma D Vijay Rao

      More Details Abstract Fulltext PDF

      In today’s competitive environment for software products, quality is an important characteristic. The development of large-scale software products is a complex and expensive process. Testing plays a very important role in ensuring product quality. Improving the software development process leads to improved product quality. We propose a queueing model based on re-entrant lines to depict the process of software modules undergoing testing/debugging, inspections and code reviews, verification and validation, and quality assurance tests before being accepted for use. Using the re-entrant line model for software testing, bounds on test times are obtained by considering the state transitions for a general class of modules and solving a linear programming model. Scheduling of software modules for tests at each process step yields the constraints for the linear program. The methodology presented is applied to the development of a software system and bounds on test times are obtained. These bounds are used to allocate time for the testing phase of the project and to estimate the release times of software.

    • A methodology for optimal deployment and effectiveness evaluation of air defence resources using game theory


      More Details Abstract Fulltext PDF

      Planning for the deployment of air defence (AD) assets in areas of operation to achieve maximum protection coverage against enemy air threats is an important problem in military science.Athree-stage approach to address the problem is proposed: a static methodology to deploy AD resources to maximize the coverage and performance of radar systems under various terrain conditions is studied, followed by the second stage that considers the dynamics of enemy air attacks and Electronic Warfare (EW) conflict that ensues between the attackerand defender modeled using game theory. In the final stage the conflict scenarios modelled using game theory are represented as AD wargames and experimented on a battlefield simulation test-bed called Air Warfare Simulation System (AWSS) to assess the AD effectiveness in operations. The first stage uses a coverage-based optimization, and the second stage is modelled using game theory. The strategies of the attacker (enemy aircraft) and defender (sensors-radars grid and weapons-missiles grid) in the EW operations as Electronic Counter Measures and Electronic Counter-Counter Measures in a game-theoretic setting are illustrated using several scenarios.

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