Username   Password       Forgot your password?  Forgot your username? 

A Research for Aerospace Complex Software System Runtime Fault Detection

Volume 13, Number 7, November 2017 - Paper 7  - pp. 1057-1062
DOI: 10.23940/ijpe.17.07.p7.10571062

Chenjing Yan*, Wei Zhang, Xiaochuan Jing, Hui Ge, Xiaoyin Wang

China Aerospace Academy of Systems Science and Engineering, Beijing and 100000, China

(Submitted on July 25, 2017; Revised on August 30, 2017; Accepted on September 15, 2017)


Aerospace complex software system is the keypoint of aerospace industry informatization. The complexity and scale of aerospace complex software system is growing with the increase of system requirements. Therefore, the possibility of runtime failures is also increasing. The runtime failures may lead to some serious problems of the aerospace software system and may cause great damage. To reduce the loss of software failures and to ensure the normal operation of aerospace complex software system, this paper focuses on runtime fault detection based on runtime verification. Runtime verification aims to monitor a running system and check whether executions of the monitored system satisfies or violates a given correctness property. This paper proposes a method to realize runtime fault detection and solve the runtime failure problem.


References: 14

        1. F. Barbon, P. Traverso, M. Pistore, and M. Trainotti, “Runtime Monitoring of Instances and Classes of Web Service Compositions”, In International Conference on Web Services (ICWS), IEEE Computer Society, pp. 63–71, 2006
        2. L. Baresi, S. Guinea, and L. Pasquale, “Towards a Unified Framework for The Monitoring and Recovery of BPEL Processes”, In Workshop on Testing, Analysis, and Verification of Web Services and Applications (TAV-WEB), ACM, pp. 15–19, 2008
        3. A. Bauer, M. Leucker, and C. Schallhart, “Runtime Verification for LTL and PTLTL”, Technical Report, TUM-I0, 724, 2007
        4. A. Bauer, M. Leucker, and C. Schallhart, “Comparing LTL Semantics for Runtime Verification”, Logic and Computation, pp. 651-674, 2010
        5. E. Bodden, “A Lightweight LTL Runtime Verification Tool for Java”, In OOPSLA Companion, ACM, pp. 306–307, 2004
        6. M. Broy, “Software Technology Formal Methods and Scientific Foundations”, Information and Software Technology, vol. 41, pp. 947-950, 1999
        7. B. D’Angelo, S. Sankaranarayanan, C. S´anchez, “LOLA: Runtime Monitoring of Synchronous Systems”, In International Symposium on Temporal Representation and Reasoning (TIME), pp. 166–174, 2005
        8. P. Gastin, and D. Oddoux, “Fast LTL to Büchi Automata Translation”, Lecture Notes in Computer Science, pp. 53–58, 2012
        9. M. Geilen, “On the Construction of Monitors for Temporal Logic Properties”, Electronic Notes in Theoretical Computer Science (ENTCS) 55, 2, 2001
        10. Bengtsson J., Larsen K. G., Larsson F., Pettersson P., “UPPAAL: A Tool Suite for The Automatic Verification of Real-time Systems”, Lecture Notes in Computer Science, vol. 1066. Springer-Verlag, pp. 232–243, 1996
        11. L. Osterweil, “Software Processes Are Software Too”, In proceedings of the 9th International Conference on Software Engineering, Los Alamitos: IEEE Computer Society press, pp. 2-13, 1987
        12. A. Pnueli, “The Temporal Logic of Programs”, In Symposium on the Foundations of Computer Science (FOCS), IEEE Computer Society Press, Providence, Rhode Island, pp. 46–57, 1977
        13. V. Stolz and F. Huch, “Runtime Verification of Concurrent Haskell Programs”, In Proceedings of the Fourth Workshop on Runtime Verification, to appear in ENTCS, Elsevier Science Publishers, 2004
        14. M. Y. Vardi and P. Wolper, “An Automata-theoretic Approach to Automatic Program Verification”, In Logic in Computer Science, A. Meyer, (ed.), pp. 332–345, 1986


              Please note : You will need Adobe Acrobat viewer to view the full articles.Get Free Adobe Reader

              This site uses encryption for transmitting your passwords.