Earticle

초록

영어

Atomicity races in ARINC 653 applications are a kind of concurrency bugs which causes nondeterministic behaviors by parallel processes. The defects must be detected to ensure the reliability of the applications, because they may lead to unpredictable results to the programmer. This paper presents a tool, called AR653, to dynamically detect atomicity races for an execution of the application. The tool monitors only minimal information, such as processes, semaphores, and read/write accesses to shared resources, and analyzes the relation of synchronizations to report atomicity races throgh a locking decipline of semaphores. We compared the accuracy of AR653 with CodeSonar using synthetic programs on a simulation system for integrated modular avionics. The emperiacal results show that our tool correctly reports atomicity races in cases of using shared pointers as well as in cases of using shared variables, while CodeSonar only locates atomicity races in cases of unsing shared variables.

목차

Abstract
 1. Introduction
 2. Background
  2.1. Intra-Partition Communication for ARINC 653 Standards
  2.2. Atomicity Races in ARINC 653 Applications
  2.3. Detection Tool for Atomicity Races
 3. Dynamic Detection of Atomicity Races
  3.1. AR653
  3.2. AR653 Monitor
  3.3. AR653 Detector
 4. Experimentation
  4.1. Methodology
  4.2. Results
 5. Conclusion
 References

키워드

저자

• Eu-Teum Choi [ Department of Informatics, Gyeongsang National University ]
• Ok-Kyoon Ha [ Engineering Research Institute, Gyeongsang National University ]
• Yong-Kee Jun [ Department of Informatics, Gyeongsang National University ] Corresponding Author

참고문헌

발행기관

간행물

표지보기 관심저널 등록

• 간행물명

  International Journal of Software Engineering and Its Applications

• 간기

  월간

• pISSN

  1738-9984

• 수록기간

  2008~2016

• 등재여부

  SCOPUS

• 십진분류

  KDC 505 DDC 605