Timing Predictability and Security in Safety-Critical Industrial Cyber-Physical Systems: A Position Paper
Cyber Physical Systems (CPSs) are systems that are developed by seamlessly integrating computational algorithms and physical components, and they are a result of the technological advancement in the embedded systems and distributed systems domains, as well as the availability of sophisticated networ...
Main Authors: | , , |
---|---|
Format: | Article |
Language: | English |
Published: |
MDPI AG
2020-04-01
|
Series: | Applied Sciences |
Subjects: | |
Online Access: | https://www.mdpi.com/2076-3417/10/9/3125 |
_version_ | 1797569236365737984 |
---|---|
author | Saad Mubeen Elena Lisova Aneta Vulgarakis Feljan |
author_facet | Saad Mubeen Elena Lisova Aneta Vulgarakis Feljan |
author_sort | Saad Mubeen |
collection | DOAJ |
description | Cyber Physical Systems (CPSs) are systems that are developed by seamlessly integrating computational algorithms and physical components, and they are a result of the technological advancement in the embedded systems and distributed systems domains, as well as the availability of sophisticated networking technology. Many industrial CPSs are subject to timing predictability, security and functional safety requirements, due to which the developers of these systems are required to verify these requirements during the their development. This position paper starts by exploring the state of the art with respect to developing timing predictable and secure embedded systems. Thereafter, the paper extends the discussion to time-critical and secure CPSs and highlights the key issues that are faced when verifying the timing predictability requirements during the development of these systems. In this context, the paper takes the position to advocate paramount importance of security as a prerequisite for timing predictability, as well as both security and timing predictability as prerequisites for functional safety. Moreover, the paper identifies the gaps in the existing frameworks and techniques for the development of time- and safety-critical CPSs and describes our viewpoint on ensuring timing predictability and security in these systems. Finally, the paper emphasises the opportunities that artificial intelligence can provide in the development of these systems. |
first_indexed | 2024-03-10T20:09:05Z |
format | Article |
id | doaj.art-fe88aa25bf894219a0bd2cf24dc65bf6 |
institution | Directory Open Access Journal |
issn | 2076-3417 |
language | English |
last_indexed | 2024-03-10T20:09:05Z |
publishDate | 2020-04-01 |
publisher | MDPI AG |
record_format | Article |
series | Applied Sciences |
spelling | doaj.art-fe88aa25bf894219a0bd2cf24dc65bf62023-11-19T23:07:06ZengMDPI AGApplied Sciences2076-34172020-04-01109312510.3390/app10093125Timing Predictability and Security in Safety-Critical Industrial Cyber-Physical Systems: A Position PaperSaad Mubeen0Elena Lisova1Aneta Vulgarakis Feljan2School of Innovation, Design and Engineering, Mälardalen University, 72123 Västerås, SwedenSchool of Innovation, Design and Engineering, Mälardalen University, 72123 Västerås, SwedenEricsson Research, 16440 Kista, SwedenCyber Physical Systems (CPSs) are systems that are developed by seamlessly integrating computational algorithms and physical components, and they are a result of the technological advancement in the embedded systems and distributed systems domains, as well as the availability of sophisticated networking technology. Many industrial CPSs are subject to timing predictability, security and functional safety requirements, due to which the developers of these systems are required to verify these requirements during the their development. This position paper starts by exploring the state of the art with respect to developing timing predictable and secure embedded systems. Thereafter, the paper extends the discussion to time-critical and secure CPSs and highlights the key issues that are faced when verifying the timing predictability requirements during the development of these systems. In this context, the paper takes the position to advocate paramount importance of security as a prerequisite for timing predictability, as well as both security and timing predictability as prerequisites for functional safety. Moreover, the paper identifies the gaps in the existing frameworks and techniques for the development of time- and safety-critical CPSs and describes our viewpoint on ensuring timing predictability and security in these systems. Finally, the paper emphasises the opportunities that artificial intelligence can provide in the development of these systems.https://www.mdpi.com/2076-3417/10/9/3125timing predictabilitycyber-physical systemsCPSfunctional safetysecurityembedded systems |
spellingShingle | Saad Mubeen Elena Lisova Aneta Vulgarakis Feljan Timing Predictability and Security in Safety-Critical Industrial Cyber-Physical Systems: A Position Paper Applied Sciences timing predictability cyber-physical systems CPS functional safety security embedded systems |
title | Timing Predictability and Security in Safety-Critical Industrial Cyber-Physical Systems: A Position Paper |
title_full | Timing Predictability and Security in Safety-Critical Industrial Cyber-Physical Systems: A Position Paper |
title_fullStr | Timing Predictability and Security in Safety-Critical Industrial Cyber-Physical Systems: A Position Paper |
title_full_unstemmed | Timing Predictability and Security in Safety-Critical Industrial Cyber-Physical Systems: A Position Paper |
title_short | Timing Predictability and Security in Safety-Critical Industrial Cyber-Physical Systems: A Position Paper |
title_sort | timing predictability and security in safety critical industrial cyber physical systems a position paper |
topic | timing predictability cyber-physical systems CPS functional safety security embedded systems |
url | https://www.mdpi.com/2076-3417/10/9/3125 |
work_keys_str_mv | AT saadmubeen timingpredictabilityandsecurityinsafetycriticalindustrialcyberphysicalsystemsapositionpaper AT elenalisova timingpredictabilityandsecurityinsafetycriticalindustrialcyberphysicalsystemsapositionpaper AT anetavulgarakisfeljan timingpredictabilityandsecurityinsafetycriticalindustrialcyberphysicalsystemsapositionpaper |