scholarly journals Automatic Test Scenario Generation Technique for Medical Cyber Physical Systems

2017 ◽  
Vol 176 (5) ◽  
pp. 1-8
Author(s):  
Afrina Khatun ◽  
Naushin Nower
2016 ◽  
Vol 64 (3) ◽  
Author(s):  
Roopak Sinha ◽  
Cheng Pang ◽  
Gerardo Santillán Martínez ◽  
Valeriy Vyatkin

AbstractIndustrial cyber-physical systems require complex software to orchestrate heterogeneous mechatronic components and control physical processes. This software is typically developed and refined iteratively in a model-driven fashion. Testing such multi-dimensional systems is extremely difficult as subsequent refinements may not correspond accurately with previous system models.We propose a framework to generate test-cases from functional requirements at all stages in the model-driven engineering process. A requirements ontology initially created during requirements engineering is iteratively refined such that test-cases can be generated automatically. An industrial water process system case study illustrates the strengths of the proposed formalism. We also present an automatic test-case generation and execution tool called REBATE (REquirements Based Automatic Testing Engine).


Author(s):  
Okolie S.O. ◽  
Kuyoro S.O. ◽  
Ohwo O. B

Cyber-Physical Systems (CPS) will revolutionize how humans relate with the physical world around us. Many grand challenges await the economically vital domains of transportation, health-care, manufacturing, agriculture, energy, defence, aerospace and buildings. Exploration of these potentialities around space and time would create applications which would affect societal and economic benefit. This paper looks into the concept of emerging Cyber-Physical system, applications and security issues in sustaining development in various economic sectors; outlining a set of strategic Research and Development opportunities that should be accosted, so as to allow upgraded CPS to attain their potential and provide a wide range of societal advantages in the future.


Author(s):  
Curtis G. Northcutt

The recent proliferation of embedded cyber components in modern physical systems [1] has generated a variety of new security risks which threaten not only cyberspace, but our physical environment as well. Whereas earlier security threats resided primarily in cyberspace, the increasing marriage of digital technology with mechanical systems in cyber-physical systems (CPS), suggests the need for more advanced generalized CPS security measures. To address this problem, in this paper we consider the first step toward an improved security model: detecting the security attack. Using logical truth tables, we have developed a generalized algorithm for intrusion detection in CPS for systems which can be defined over discrete set of valued states. Additionally, a robustness algorithm is given which determines the level of security of a discrete-valued CPS against varying combinations of multiple signal alterations. These algorithms, when coupled with encryption keys which disallow multiple signal alteration, provide for a generalized security methodology for both cyber-security and cyber-physical systems.


Sign in / Sign up

Export Citation Format

Share Document