Cyber-Physical Systems (CPS) are yielding novel problems and solutions for security researchers. CPSs connect computerized controllers and human supervisors with physical systems used in the energy, transportation, water, manufacturing, and other sectors. A recent and well-known attack is the Stuxnet computer worm [1], which targeted Siemens industrial software used to control nuclear fuel proc...

An overview of sustainable computing is provided and different approaches towards design and verification of energy-sustainable computing (i.e. sustainable computing from energy consumption perspective) are discussed for Cyber-Physical Systems (CPSs), i.e. systems with strong coupling between computing components and non-computing processes in physical environment. A major issue in this regard ...

Cyber-Physical Systems (CPSs) are characterized by integrating computation and physical processes. The theories and applications of CPSs face the enormous challenges that are (1) general workflow of cyber physical systems, (2) identifying the unique properties of cyber-physical systems and (3) discussing security mechanisms applicable to cyber physical systems. In particular, we analyze and we ...

This paper presents general strategies for cyber war gaming of Cyber-Physical Systems (CPSs) that are used for cyber security research at the U.S. Army Research Laboratory (ARL). Since Supervisory Control and Data Acquisition (SCADA) and other CPSs are operational systems, it is difficult or impossible to perform security experiments on actual systems. The authors describe how table-top strateg...

The fifteen papers in this special section focus on computing and networking for cyber-physical systems (CPSS). world we are living is rapidly evolving into a hybrid integrated designed within cyber, physical, social spaces also referred to as Cyber-Physical- Social Systems. CPSS, an emerging paradigm, will provide efficient, convenient, personalized services humans. Data records of users’ traj...

Cyber-Physical Systems (CPSs) are integrations of networking and distributed computing systems with physical processes, where feedback loops allow processes to affect computations vice versa. Although CPSs can be found in several real-world domains, their verification often relies on simulation test rather than formal methodologies . We propose a hybrid probabilistic process calculus for modell...

C O M P U T E R 0 0 1 8 9 1 6 2 / 1 7 / $ 3 3 . 0 0 © 2 0 1 7 I E E E P U B L I S H E D B Y T H E I E E E C O M P U T E R S O C I E T Y D E C E M B E R 2 0 1 7 7 Cyber-physical systems (CPS) are orchestrations of computers, machines, and people working together to achieve goals using computation, communications, and control (CCC) technologies. Although the term CPS was coined only in 2006 by He...

BACKGROUND In Sub Saharan Africa, there has been limited research on instruments to identify specific mental disorders in children in conflict-affected settings. This study evaluates the psychometric properties of three self-report scales for child mental disorder in order to inform an emerging child mental health programme in post-conflict Burundi. METHODS Trained lay interviewers administer...