A survey of dynamic software updating

Seifzadeh, Habib; Abolhassani, Hassan; Moshkenani, Mohsen Sadighi

doi:10.1002/smr.1556

Cited by 40 publications

(54 citation statements)

References 69 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…These systems target many kind of applications, from real-time control purposes to servers and databases [8,9]. Moreover, formal approaches have also been proposed, where DSU support at the programming language level is investigated.…”

Section: Analysis Of Existing Systemsmentioning

confidence: 99%

“…A review of techniques, evaluation metrics and a survey of existing DSU systems have already been provided [8,9]. These systems are categorized according to the used or characterized code transformation, state transformation and update point techniques and attributes.…”

Section: Analysis Of Existing Systemsmentioning

confidence: 99%

“…In this section, DSU systems which could be feasible for safe and secure industrial control applications are analysed. They have been divided into three categories, as similarly done by de Pina [11] and Seifzadeh et al [8], which are:…”

Section: Analysis Of Existing Systemsmentioning

confidence: 99%

See 2 more Smart Citations

Analysis of existing dynamic software updating techniques for safe and secure industrial control systems

Mugarza¹,

Parra²,

Jacob³

2018

Int. J. SAFE

View full text Add to dashboard Cite

Higher interconnectivity among devices, machines, the cloud and humans is envisioned in the actual trend of automation, also known as Industrial Internet of Things (IIoT). These industrial control systems, which may require high availability and/or safety related capabilities, are no longer isolated from the corporate environment or Internet. Software updates will be needed during the product life cycle, due to the long service life, the increasing number of security related vulnerabilities discovered on these industrial control systems and the high interconnectivity desired in IIoT. These updates aim at fixing all these security weaknesses, bugs and vulnerabilities that could appear, while the required safety integrity levels are ensured. Security-related concerns have just been addressed by the safety engineering community, because of the increasing number of cyber-attacks against safety-critical systems, such as Stuxnet. Moreover, system shut-downs caused by software updates could not be plausible when high availability is required. Typically, in order to perform the software update, the whole industrial process or the production is halted, so that the software upgrade is safely applied. However, this scenario might not be applied in critical infrastructures, such as nuclear or hydroelectrical power plants, where these production and service interruptions are not acceptable from the business and service point of view. This article presents an analysis of existing dynamic software updating techniques, which may be applied for safe and secure industrial control systems. These techniques aim at updating the running code, without the need of a halt and restart, increasing the availability of the industrial system.

show abstract

Section: Analysis Of Existing Systemsmentioning

confidence: 99%

Section: Analysis Of Existing Systemsmentioning

confidence: 99%

See 1 more Smart Citation

Analysis of existing dynamic software updating techniques for safe and secure industrial control systems

Mugarza¹,

Parra²,

Jacob³

2018

Int. J. SAFE

View full text Add to dashboard Cite

show abstract

“…While many approaches tackle system update [19], the problem of ensuring correctness of a system upon update has received scarce attention till now.…”

Section: Conclusion and Related Workmentioning

confidence: 99%

“…Update is a relevant topic [19], both for automatic updates, as in the context of adaptive systems [17] or autonomic computing [15], and for manual updates.…”

Section: Introductionmentioning

confidence: 99%

Most General Property-Preserving Updates

Bresolin

Lanese

2017

Language and Automata Theory and Applications

View full text Add to dashboard Cite

Abstract. Systems need to be updated to last for a long time in a dynamic environment, and to cope with changing requirements. It is important for updates to preserve the desirable properties of the system under update, while possibly enforcing new ones. Here we consider a simple yet general update mechanism, which replaces a component of the system with a new one. The context, i.e., the rest of the system, remains unchanged. We dene contexts and components as Constraint Automata interacting via either asynchronous or synchronous communication, and we express properties using Constraint Automata too. Then we build most general updates which preserve specic properties, considering both a single property and all the properties satised by the original system, in a given context or in all possible contexts.

show abstract

ChIP: A Choreographic Integration Process

Giallorenzo

Lanese

Russo

2018

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Over the years, organizations acquired disparate software systems, each answering one specific need. Currently, the desirable outcomes of integrating these systems (higher degrees of automation and better system consistency) are often outbalanced by the complexity of mitigating their discrepancies. These problems are magnified in the decentralized setting (e.g., cross-organizational cases) where the integration is usually dealt with ad-hoc "glue" connectors, each integrating two or more systems. Since the overall logic of the integration is spread among many glue connectors, these solutions are difficult to program correctly (making them prone to misbehaviors and system blocks), maintain, and evolve. In response to these problems, we propose ChIP, an integration process advocating choreographic programs as intermediate artifacts to refine high-level global specifications (e.g., UML Sequence Diagrams), defined by the domain experts of each partner, into concrete, distributed implementations. In ChIP, once the stakeholders agree upon a choreographic integration design, they can automatically generate the respective local connectors, which are guaranteed to faithfully implement the described distributed logic. In the paper, we illustrate ChIP with a pilot from the EU EIT Digital project SMAll, aimed at integrating pre-existing systems from government, university, and transport industry.

show abstract

A survey of dynamic software updating

Cited by 40 publications

References 69 publications

Analysis of existing dynamic software updating techniques for safe and secure industrial control systems

Analysis of existing dynamic software updating techniques for safe and secure industrial control systems

Most General Property-Preserving Updates

ChIP: A Choreographic Integration Process

Contact Info

Product

Resources

About