A Survey on Testing for Cyber Physical System

@inproceedings{Asadollah2015ASO,
  title={A Survey on Testing for Cyber Physical System},
  author={Sara Abbaspour Asadollah and Rafia Inam and Hans A. Hansson},
  booktitle={ICTSS},
  year={2015}
}
Cyber Physical Systems CPS bridge the cyber-world of computing and communications with the physical world and require development of secure and reliable software. It asserts a big challenge not only on testing and verifying the correctness of all physical and cyber components of such big systems, but also on integration of these components. This paper develops a categorization of multiple levels of testing required to test CPS and makes a comparison of these levels with the levels of software… 
Controlled environments for cyber risk assessment of cyber-physical systems
TLDR
An algorithm for semi-automated insertion of control components into a CPS model based on Discrete Event Systems (DEVS) formalism is presented and how to use this algorithm to insert a control component into Live, Virtual, Constructive (LVC) environments that may have non-DEVS models is described.
Review on Testing of Cyber Physical Systems: Methods and Testbeds
TLDR
It can be concluded that future CPS testing should focus more on the combination of different paradigms and technologies for multi-objective by integrating more emerging cutting-edge technologies such as Internet of things, big data, cloud computing, and AI.
Survey on test case generation, selection and prioritization for cyber‐physical systems
TLDR
A survey of approaches for generating, selecting and prioritizing test cases for CPSs illustrates the progress that has been made on these approaches to date, the properties that characterize the approaches and the challenges that remain open in these areas of research.
Developing a Convenient and Fast to Deploy Simulation Environment for Cyber-Physical Systems
TLDR
The focus of the development of this environment is to be able to rapidly generate, deploy and change software and network connections within the CPS and to observe resulting impacts on the network.
A detailed study on Security breaches of Digital Forensics in Cyber Physical Systems
  • Firoz Khan
  • Computer Science
    2019 Sixth HCT Information Technology Trends (ITT)
  • 2019
TLDR
Security threats and effects of breaches in the security of modern CPS systems are discussed and the paper throws light on the challenges of the digital forensics field concerning Cyber Physical systems.
On-Line Checking of Faults in Cyber-Physical Systems
TLDR
This sub-problem of elaboration of models and methods intended for online checking of faults in cyber-physical systems is investigated under the supposition that these systems can be modeled by the 1-dimensional hybrid automata defined in the given paper.
Cyber physical systems: A smart city perspective
TLDR
The literature review of the work related to CPS in terms of its importance in today’s world and various examples of such implementation in the context of Dubai and UAE are researched.
Toward Modeling and Verification of Uncertainty in Cyber-Physical Systems
  • Amrita Chatterjee, H. Reza
  • Computer Science
    2020 IEEE International Conference on Electro Information Technology (EIT)
  • 2020
TLDR
This review aims to capture the present state-of-the-art of uncertainty modeling in cyber-physical systems by defining appropriate inclusion and exclusion criteria for the studies to be used in this review and extracting data from selected studies.
A survey on run-time supporting platforms for cyber physical systems
TLDR
This paper analyzes and evaluates existing CPS run-time supporting platforms by first classifying them into three categories from the viewpoint of software architecture: com-ponent-based platforms, service-based Platforms, and agent-basedplatforms.
Data-driven Mutation Analysis for Cyber-Physical Systems
TLDR
Data-driven mutation analysis is introduced, an approach that consists in assessing test suite quality by verifying if it detects interoperability faults simulated by mutating the data exchanged by software components.
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 27 REFERENCES
Conformance testing for cyber-physical systems
TLDR
This article develops a methodology for utilizing measurements of physical quantities for testing the conformance of a running CPS with respect to a formal description of its required behavior allowing to uncover defects.
Cyber-physical systems: The next computing revolution
TLDR
The design, construction and verification of cyber-physical systems pose a multitude of technical challenges that must be addressed by a cross-disciplinary community of researchers and educators.
Test Case Generation from Formal Models of Cyber Physical System
TLDR
This paper addresses the problem of generating test cases for cyber physical systems from formal specifications using differential dynamic logic(DL), a logic for specifying and verifying hybrid systems.
Monitor Based Oracles for Cyber-Physical System Testing: Practical Experience Report
TLDR
This work investigates using an external runtime monitor as a partial test oracle to detect violations of critical system behavioral requirements on an automotive development platform despite limited source code access and existing network messages.
Cyber-physical systems for real-time hybrid structural testing: a case study
TLDR
Experimental results obtained through this case study give evidence of the feasibility and efficacy of these steps towards the overall goal: to develop a Cyber-physical Instrument for Real-time hybrid Structural Testing (CIRST).
Towards Configurable Real-Time Hybrid Structural Testing: A Cyber-Physical System Approach
TLDR
CIRST aims to provide two salient features: a highly configurable architecture for integrating computers and physical components; and system support for real-time operations in distributed hybrid testing.
A Cyber Physical Test-Bed for Virtualization of RF Access Environment for Body Sensor Network
TLDR
A cyber physical test-bed for environment virtualization is presented to facilitate the performance evaluation of wireless access and localization in body sensor networks and an analog channel emulator for UWB technologies is designed.
Research directions in energy-sustainable cyber-physical systems
Cyber-Physical Systems: A New Frontier
TLDR
The report of the President's Council of Advisors on Science and Technology (PCAST) has placed CPS on the top of the priority list for federal research investment, followed by an articulation of some specific challenges and promises.
A model-based architecture for testing medical cyber-physical systems
TLDR
An architecture for Medical Cyber-Physical Systems to help developers to generate test cases for their applications using models already validated based on component models to simulate the operation of medical devices and patient data is presented.
...
1
2
3
...