首页    期刊浏览 2024年12月01日 星期日
登录注册

文章基本信息

  • 标题:An Effective Verification and Validation Strategy for Safety-Critical Embedded Systems
  • 本地全文:下载
  • 作者:Manju Nanda ; Jayanthi J
  • 期刊名称:International Journal of Software Engineering & Applications (IJSEA)
  • 印刷版ISSN:0976-2221
  • 电子版ISSN:0975-9018
  • 出版年度:2013
  • 卷号:4
  • 期号:2
  • 页码:123
  • 出版社:Academy & Industry Research Collaboration Center (AIRCC)
  • 摘要:This paper presents the best practices to carry out the verification and validation (V&V) for a safetycriticalembedded system, part of a larger system-of-systems. The paper talks about the effectiveness of thisstrategy from performance and time schedule requirement of a project. The best practices employed for theV &Vis a modification of the conventional V&V approach. The proposed approach is iterative whichintroduces new testing methodologies apart from the conventional testing methodologies, an effective wayof implementing the phases of the V&V and also analyzing the V&V results. The new testing methodologiesinclude the random and non-real time testing apart from the static and dynamic tests. The process phasesare logically carried out in parallel and credit of the results of the different phases are taken to ensure thatthe embedded system that goes for the field testing is bug free. The paper also demonstrates the iterativequalities of the process where the iterations successively find faults in the embedded system and executingthe process within a stipulated time frame, thus maintaining the required reliability of the system. Thisapproach is implemented in the most critical applications —-aerospace application where safety of thesystem cannot be compromised. The approach used a fixed number of iterations which is set to4in thisapplication, with each iteration adding to the reliability and safety of the embedded system. Data collectedand results observed are compared with a conventional approach for the same application and it isdemonstrated that the strategy proposed reduces the time taken by 50% as compared to a conventionalprocess that attains the same reliability as required in the stipulated time.
  • 关键词:Verification and Validation process; safety; critical systems; embedded systems; reliability
国家哲学社会科学文献中心版权所有