Abstract:SummarySafety‐critical systems are evolving into complex, networked, and distributed systems. As a result of the high interconnectivity among all networked systems and of potential security threats, security countermeasures need to be incorporated. Nonetheless, albeit cutting‐edge security measures are adopted and incorporated during the system development, such as latest recommended encryption algorithms, these protection mechanisms may turn out obsolete because of the long operational periods. New security f… Show more
“…Secondly, the current PN state is updated. This process is also known as state transformation [6], [7]. For this purpose, the old PN marking is wrapped and transferred to the secondary container.…”
Section: Designmentioning
confidence: 99%
“…In this paper, a live updates concept for industrial Programmable Logic Controllers (PLCs) is proposed, which enables zero downtime reconfiguration capabilities and therefore, reduces the manufacturing system reconfiguration times and costs. The presented approach is based on the Cetratus framework [6], [7], originally devised for safe and secure industrial control systems, for example railway [7] or smart energy [8] systems. Even though the proposed framework was focused on the incorporation of leading-edge security mechanisms, any other types of software components could be updated.…”
Manufacturing companies are facing new market demands, mostly driven by global competition and digitalization. In this context, more efficient, flexible, adaptable and evolvable mechatronic and manufacturing systems are required, which enable quick adjustments to the production in order to address (all these) market changes. However, production idle times due to such re-configurations and adaptations might be costly. In this paper, a live updates concept for Programmable Logic Controllers (PLCs) is presented. The proposed design employs a Petri net runtime engine, in which the executed functional program (the Petri net model with its interpretation) is updated while running, without system shutdown and restart being needed. To this end, a quarantine-mode execution and monitoring approach is used for the new PLC program functional validation. A reconfigurable Vernadat machine case study is also presented.
“…Secondly, the current PN state is updated. This process is also known as state transformation [6], [7]. For this purpose, the old PN marking is wrapped and transferred to the secondary container.…”
Section: Designmentioning
confidence: 99%
“…In this paper, a live updates concept for industrial Programmable Logic Controllers (PLCs) is proposed, which enables zero downtime reconfiguration capabilities and therefore, reduces the manufacturing system reconfiguration times and costs. The presented approach is based on the Cetratus framework [6], [7], originally devised for safe and secure industrial control systems, for example railway [7] or smart energy [8] systems. Even though the proposed framework was focused on the incorporation of leading-edge security mechanisms, any other types of software components could be updated.…”
Manufacturing companies are facing new market demands, mostly driven by global competition and digitalization. In this context, more efficient, flexible, adaptable and evolvable mechatronic and manufacturing systems are required, which enable quick adjustments to the production in order to address (all these) market changes. However, production idle times due to such re-configurations and adaptations might be costly. In this paper, a live updates concept for Programmable Logic Controllers (PLCs) is presented. The proposed design employs a Petri net runtime engine, in which the executed functional program (the Petri net model with its interpretation) is updated while running, without system shutdown and restart being needed. To this end, a quarantine-mode execution and monitoring approach is used for the new PLC program functional validation. A reconfigurable Vernadat machine case study is also presented.
“…Similarly, Hicks and Nettles (2005) have described an approach where they used the C-like language Popcorn, compiling code patches into Typed Assembly Language that can be dynamically linked and integrated. There are other works on a language level like (Mugarza et al, 2020), which are implemented on the Ada programming language. Alternatively, Bagherzadeh et al (2020) present a language-independent approach based on model execution systems (Hojaji et al, 2019).…”
Distributed data processing systems have become the standard means for big data analytics. These systems are based on processing pipelines where operations on data are performed in a chain of consecutive steps. Normally, the operations performed by these pipelines are set at design time, and any changes to their functionality require the applications to be restarted. This is not always acceptable, for example, when we cannot afford downtime or when a long-running calculation would lose significant progress. The introduction of variation points to distributed processing pipelines allows for on-the-fly updating of individual analysis steps. In this paper, we extend such basic variation point functionality to provide fully automated reconfiguration of the processing steps within a running pipeline through an automated planner. We have enabled pipeline modeling through constraints. Based on these constraints, we not only ensure that configurations are compatible with type but also verify that expected pipeline functionality is achieved. Furthermore, automating the reconfiguration process simplifies its use, in turn allowing users with less development experience to make changes. The system can automatically generate and validate pipeline configurations that achieve a specified goal, selecting from operation definitions available at planning time. It then automatically integrates these configurations into the running pipeline. We verify the system through the testing of a proof-of-concept implementation. The proof of concept also shows promising results when reconfiguration is performed frequently.
“…For this purpose, state information transferring procedures are executed. The update manager just swaps the old image by the new one, once the quarantine period of the verification ends [21,22].…”
Over-The-Air Software Updates (OTASU) are gaining popularity on the safety-critical domain. The motivation behind this trend is twofold. On the one hand, the ability of adding new functionality and services to the system without a complete redesign makes product makers more competitive and improves user experience. On the other hand, the increasing connectivity of emerging embedded devices makes OTASU a crucial cyber-security demand to keep the system up-to-date with latest security patches. However, the application of OTASU in the safety-critical domain is not straightforward, as they are not contemplated by current functional safety standards. The UP2DATE European H2020 project, seeks to provide solutions to cope with the challenging requirements of safety and security standards with respect to software updates. This paper gives an overview of UP2DATE, its foundations and the initial description of its safe and secure architecture that builds around composability and modularity on heterogeneous high-performance platforms.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.