Accelerated stress & reliability testing for software and cyber-physical systems

This paper considers the topic of accelerated testing of cyber-physical systems and software. It compares the testing of these systems to each other and to classical mechanical/electro-mechanical systems. The impact of the software (and combined hardware-software element) on accelerated testing is also considered. A case study is used to examine and illustrate key aspects of cyber-physical system testing. This case study relates to a near worst-case example: a long-duration autonomous spacecraft mission. The paper then discusses one prospective approach for testing software and cyber-physical systems, the use of an autonomous testing system, and discusses the benefits of this approach (including being able to incorporate elements of this system and its knowledge base into an onboard maintenance system) before concluding.

[1]  Honguk Woo,et al.  Design and Development Methodology for Resilient Cyber-Physical Systems , 2008, 2008 The 28th International Conference on Distributed Computing Systems Workshops.

[2]  Ayan Banerjee,et al.  Ensuring Safety, Security, and Sustainability of Mission-Critical Cyber–Physical Systems , 2012, Proceedings of the IEEE.

[3]  Jiafu Wan,et al.  A survey of Cyber-Physical Systems , 2011, 2011 International Conference on Wireless Communications and Signal Processing (WCSP).

[4]  Jonathan Schaeffer,et al.  The challenge of poker , 2002, Artif. Intell..

[5]  Franz Wotawa,et al.  Debugging and test case generation using constraints and mutations , 2011, 2011 Proceedings of the Ninth International Workshop on Intelligent Solutions in Embedded Systems.

[6]  Christian Berger,et al.  Autonomous Driving-5 Years after the Urban Challenge: The Anticipatory Vehicle as a Cyber-Physical System , 2014, GI-Jahrestagung.

[7]  Maria Spichkova,et al.  From abstract modelling to remote cyber-physical integration/interoperability testing , 2014, ArXiv.

[8]  Ioan Salomie,et al.  A Hybrid Firefly-inspired Approach for Optimal Semantic Web Service Composition , 2011, Scalable Comput. Pract. Exp..

[9]  Lothar Thiele,et al.  Conformance testing for cyber-physical systems , 2012, TECS.

[10]  Florian Dörfler,et al.  Attack Detection and Identification in Cyber-Physical Systems -- Part II: Centralized and Distributed Monitor Design , 2012, ArXiv.

[11]  Hamed Shah-Hosseini,et al.  Problem solving by intelligent water drops , 2007, 2007 IEEE Congress on Evolutionary Computation.

[12]  Insup Lee,et al.  Cyber-physical systems: The next computing revolution , 2010, Design Automation Conference.

[13]  Houssam Abbas,et al.  Conformance Testing as Falsification for Cyber-Physical Systems , 2014, ArXiv.

[14]  Aditya Ashok,et al.  Cyber-Physical Security Testbeds: Architecture, Application, and Evaluation for Smart Grid , 2013, IEEE Transactions on Smart Grid.

[15]  Edward A. Lee.  Cyber-physical Systems -are Computing Foundations Adequate? Position Paper for Nsf Workshop on Cyber-physical Systems: Research Motivation, Techniques and Roadmap , 1998 .

[16]  Edmund M. Clarke,et al.  Statistical Model Checking for Cyber-Physical Systems , 2011, ATVA.

[17]  Dr. Clifford Neuman.  Challenges in Security for Cyber-Physical Systems , 2009 .

[18]  Siddharth Sridhar,et al.  Cyber–Physical System Security for the Electric Power Grid , 2012, Proceedings of the IEEE.

[19]  Radha Poovendran,et al.  Aviation Cyber–Physical Systems: Foundations for Future Aircraft and Air Transport , 2013, Proceedings of the IEEE.

[20]  Jeremy Straub,et al.  A Characterization of the Utility of Using Artificial Intelligence to Test Two Artificial Intelligence Systems , 2013, Comput..

[21]  Victor W. Marek,et al.  Computing with Default Logic , 1999, Artif. Intell..

[22]  Praveen Ranjan Srivastava,et al.  Test Case Optimization Using Artificial Bee Colony Algorithm , 2011, ACC.

[23]  Xin-She Yang,et al.  Cuckoo Search via Lévy flights , 2009, 2009 World Congress on Nature & Biologically Inspired Computing (NaBIC).