Adaptive cyber-physical systems with interpreted operating system kernels

2016 ◽  
Author(s):  
Peter Troger ◽  
Christine Jakobs ◽  
Thomas Jakobs ◽  
Matthias Werner
Keyword(s):  
Operating System ◽  
Cyber Physical Systems ◽  
Physical Systems ◽  
Operating System Kernels

scholarly journals The Design of Node Operating System for Cyber Physical Systems

2012 ◽  
Vol 29 ◽  
pp. 3717-3721 ◽  
Author(s):  
Xiao-Zhou Du ◽  
Jian-Zhong Qiao ◽  
Shu-Kuan Lin ◽  
Xiao-Chuan Tang
Keyword(s):  
Operating System ◽  
Cyber Physical Systems ◽  
Physical Systems

scholarly journals Advanced virtual prototyping for cyber-physical systems using RISC-V: implementation, verification and challenges

2021 ◽  
Vol 65 (1) ◽  
Author(s):  
Vladimir Herdt ◽  
Rolf Drechsler
Keyword(s):  
Operating System ◽  
Virtual Prototyping ◽  
Cyber Physical Systems ◽  
Design Flow ◽  
System Level ◽  
Bare Metal ◽  
Instruction Set ◽  
Physical Systems ◽  
Virtual Prototypes ◽  
First Time

AbstractVirtual prototypes (VPs) are crucial in today’s design flow. VPs are predominantly created in SystemC transaction-level modeling (TLM) and are leveraged for early software development and other system-level use cases. Recently, virtual prototyping has been introduced for the emerging RISC-V instruction set architecture (ISA) and become an important piece of the growing RISC-V ecosystem. In this paper, we present enhanced virtual prototyping solutions tailored for RISC-V. The foundation is an advanced open source RISC-V VP implemented in SystemC TLM and designed as a configurable and extensible platform. It scales from small bare-metal systems to large multi-core systems that run applications on top of the Linux operating system. Based on the RISC-V VP, this paper also discusses advanced VP-based verification approaches and open challenges. In combination, we provide for the first time an integrated and unified overview and perspective on advanced virtual prototyping for RISC-V.

Specifics and Vulnerabilities of the Timing Control in Cyber-Physical Systems

2021 ◽  
Vol 71 (1) ◽  
Author(s):  
Iliya Georgiev ◽  
Ivo Georgiev
Keyword(s):  
Operating System ◽  
Embedded System ◽  
Physical Environment ◽  
Fault Tolerant ◽  
Cyber Physical Systems ◽  
Advanced Manufacturing ◽  
Timing Control ◽  
Physical Systems ◽  
Expert Estimation ◽  
System Operating

Cyber-physical systems integrate powerful computing (real-time embedded system, operating system, applications, and Internet networking) and physical environment (advanced manufacturing cells, medical platforms, energetics aggregates, social and educational control). The reliable functionality depends extremely on the correct timing. Wrong timing because of buried malfunction or external tampering could be critical. The paper is some analysis of the vulnerable timing parameters that influence the precise processing. Expert estimation of the criticality of different timing parameters is given to support fault-tolerant design considering possible failures.

Emerging Cyber-Physical Systems : An Overview

2018 ◽  
pp. 306-316
Author(s):  
Okolie S.O. ◽  
Kuyoro S.O. ◽  
Ohwo O. B
Keyword(s):  
Health Care ◽  
Economic Benefit ◽  
Physical World ◽  
Cyber Physical Systems ◽  
Cyber Physical System ◽  
Economic Sectors ◽  
Strategic Research ◽  
Physical Systems ◽  
Security Issues ◽  
Wide Range

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.

Security of Cyber-Physical Systems: A Generalized Algorithm for Intrusion Detection and Determining Security Robustness of Cyber Physical Systems using Logical Truth Tables

2013 ◽  
Vol 9 ◽  
Author(s):  
Curtis G. Northcutt
Keyword(s):  
Intrusion Detection ◽  
Cyber Security ◽  
Logical Truth ◽  
Cyber Physical Systems ◽  
Security Model ◽  
Security Measures ◽  
Physical Systems ◽  
Multiple Signal ◽  
Security Attack ◽  
Truth Tables

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