ALaRI Hang Glider

Search form

Education and Innovation in Embedded Systems Design

USI Università della Svizzera italiana, USI Faculty of Informatics, Advanced Learning and Research Institute USI Università della Svizzera italiana USI Faculty of Informatics USI Advanced Learning and Research Institute
TitleDesign methodologies for securing cyber-physical systems
Publication TypeConference Paper
Year of Publication2015
AuthorsFaruque, M. Abdullah A., F. Regazzoni, and M. Pajic
Conference Name2015 International Conference on Hardware/Software Codesign and System Synthesis CODES+ISSS
Date Published10/2015
PublisherIEEE
Conference LocationAmsterdam, Netherlands
ISBN Number978-1-4673-8321-9
Accession Number15603315
Keywordscyber-physical system security, design flow, embedded systems, platform-aware design, safety-critical system, security of data, sensed data sensitivity
Abstract

Cyber-Physical Systems (CPS) are in most cases safety- and mission-critical. Standard design techniques used for securing embedded systems are not suitable for CPS due to the restricted computation and communication budget available in the latter. In addition, the sensitivity of sensed data and the presence of actuation components further increase the security requirements of CPS. To address these issues, it is necessary to provide new design methods in which security is considered from the beginning of the whole design flow and addressed in a holistic way. In this paper, we focus on the design of secure CPS as part of the complete CPS design process, and provide insights into new requirements on platform-aware design of control components, design methodologies and architectures posed by CPS design. We start by discussing methods for the multi-disciplinary modeling, simulation, tools, and software synthesis challenges for CPS. We also present a framework for design of secure control systems for CPS, while taking into account properties of the underlying computation and communication platforms. Finally, we describe the security challenges in the computing hardware that is used in CPS

URLhttp://dx.doi.org/10.1109/CODESISSS.2015.7331365
DOI10.1109/CODESISSS.2015.7331365