| 1. |
- Filipovikj, Predrag, et al.
(författare)
-
Service Realizability Check as a Technique to Support a Service Security Assurance Case
- 2020
-
Ingår i: 2020 ieee international conference on industrial technology (icit). - : IEEE. ; , s. 973-980
-
Konferensbidrag (refereegranskat)abstract
- Advances in cloud computing make cloud services as an appealing solution for enabling services flexibility and availability on demand to accommodate users' needs. The terms and the guarantees of service provision are negotiated and then stated in a Service Level Agreement (SLA). To facilitate a wider acceptance of such services, beside the standard properties, security has to be taken into consideration as well. One way to facilitate this is to provide a corresponding security assurance case. For that purpose, in this work we propose to split the security service assessment between an independent third party and a service user, where the former assess a security assurance case and the latter negotiates particular security solutions implemented for a service. For the systematic part of the security process that is independently assessed, in this paper we focus on the formal realizability check of service constraints expressed within an SLA. To enable this, we formalize the check at both service design-, and run-time, needed due to frequent updates required to maintain an agreed security level. The formalization is tailored for the SLAC language specifically, which is extended to cover a proposed set of security objectives. Moreover, we use an example of an SLA expressed in terms of SLAC language, which includes security guarantees to illustrate the approach.
|
|
| 2. |
- Gore, Rahul Nandkumar, et al.
(författare)
-
Clock Synchronization in Future Industrial Networks : Applications, Challenges, and Directions
- 2020
-
Ingår i: 12th AEIT International Annual Conference, AEIT 2020. - : Institute of Electrical and Electronics Engineers Inc.. - 9788887237474
-
Konferensbidrag (refereegranskat)abstract
- Time synchronization is essential for the correct and consistent operation of automation systems. An inaccurate analysis being a consequence of improper synchronization, can affect automation functions, e.g., by producing false commands and warnings. Industrial systems are evolving from the rigid automation pyramid to a flexible and reconfigurable architecture due to market evolution. The new trends in Cyber-Physical-Systems (CPS), Industry 4.0, and Internet of Things (IoT) are enabling this evolution. Citing a need to understand the future synchronization requirements, this paper envisions the architecture, communication network, and applications of future automation systems. Built on this vision, the paper derives the future needs of synchronization and analyzes them with state-of-art synchronization means. Based on the analysis, we envision the future of synchronization systems for automation systems.
|
|
| 3. |
- Gore, Rahul Nandkumar, et al.
(författare)
-
In Sync with Today's Industrial System Clocks
- 2020
-
Ingår i: 2020 International Conference on COMmunication Systems and NETworkS, COMSNETS 2020. - : Institute of Electrical and Electronics Engineers Inc.. - 9781728131870 ; , s. 785-790
-
Konferensbidrag (refereegranskat)abstract
- Synchronization is essential for correct and consistent operation of automation systems. Synchronized devices accurately time-stamp the events and enable timely communication of messages over a communication network. In absence of a common time base, critical functions of automation systems cannot be carried out in a safe fashion. Unsynchronized systems may lead to malfunctions such as false alarms, wrong decisions and erroneous outcomes resulting into serious showstopper for plant operations. Despite technical advances in synchronization, industrial automation systems have lagged compared to telecommunication and financial services in utilization of latest synchronization technology. Thus, there is a need to investigate the adoption of synchronization in industrial networks, its current state and implementation problems. We carried out an extensive literature search in a structured way to study the evolution of synchronization in automation systems. We also investigated today's industrial automation systems and their network topologies to get insight into the synchronization techniques and mechanisms being used. As an outcome of study, the paper highlights the challenges related to synchronization in existing automation networks that need to be addressed in the immediate and short-term future.
|
|
| 4. |
- Mubeen, Saad, et al.
(författare)
-
Timing Predictability and Security in Safety-Critical Industrial Cyber-Physical Systems : A Position Paper
- 2020
-
Ingår i: Applied Sciences. - : MDPI. - 2076-3417. ; 10:9
-
Tidskriftsartikel (refereegranskat)abstract
- 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.
|
|
