Software Abstractions and Human-Cyber-Physical Systems Architecture Modelling

Liu, Zhiming; Bowen, Jonathan P.; Liu, Bo; Tyszberowicz, Shmuel; Zhang, Tingting

doi:10.1007/978-3-030-55089-9_5

Cited by 8 publications

(4 citation statements)

References 69 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…All these advances, whether achieved or not, are highly dependent on developments in digital technology. Computer science researchers are increasingly interested in modelling systems involving humans, the physical world, and digital systems, with all the complexity that this involves in designing software for such systems, dubbed Human-Cyber-Physical Systems (Liu et al 2020).…”

Section: More Than Human (By T Giannini)mentioning

confidence: 99%

Digitality: A reality check

Bowen

Giannini

2021

Electronic Workshops in Computing

Self Cite

View full text Add to dashboard Cite

The condition of digitality and the associated concept of digitalism are increasingly important today. Our ever-more digital societal context means that many are experiencing a digital life where reality and digitality blur in their distinction in many people's digital lives. This paper considers these aspects with respect to digital culture, especially in the context of heritage and museums. In particular, we look at developments since a previous 2014 paper by the authors and speculate on possible future developments. We focus especially on the reality check provided by the Covid-19 pandemic, that has accelerated societal digitality.

show abstract

Section: More Than Human (By T Giannini)mentioning

confidence: 99%

Digitality: A reality check

Bowen

Giannini

2021

Electronic Workshops in Computing

Self Cite

View full text Add to dashboard Cite

show abstract

“…It is also called CPS 1.5 as CPS 2.0 is also widely referred to as human-cyber-physical systems (HCPS). The preliminary CPS, or the so-called CPS 1.0, is characterized as networked cyber-systems and physical systems (Liu ZM et al, 2019), in which 1. the cyber world is formed by systems for computing, control, and communication networks;…”

Section: Evolution Of Cyber-physical Systemsmentioning

confidence: 99%

“…These CPSs supported by big data and cloud computing technologies are called CPS 2.0. Therefore, the features of CPS 2.0 extend those of CPS 1.0 with those enabled by big data and cloud computation as described below (Liu ZM et al, 2019):…”

Section: Evolution Of Cyber-physical Systemsmentioning

confidence: 99%

“…It is easy to understand that the trialand-error approach will not be able to deal with the increasingly chronic complexity of scale and complex heterogeneity, and at the same time to meet the requirements for trustworthiness, performance, and quality of service (QoS), including safety, security, reliability, robustness, adaptivity, and realtime. Indeed, we do see that industrial CPS applications are designed and running, but they are designed and maintained in ad-hoc processes using best-effort approaches (Rajkumar et al, 2010;Liu ZM et al, 2019). They are very costly, not reliable, and not easy to maintain.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

A survey of model-driven techniques and tools for cyber-physical systems

Liu

Zhang

Cao

et al. 2020

Front Inform Technol Electron Eng

Self Cite

View full text Add to dashboard Cite

Cyber-physical systems (CPSs) have emerged as a potential enabling technology to handle the challenges in social and economic sustainable development. Since it was proposed in 2006, intensive research has been conducted, showing that the construction of a CPS is a hard and complex engineering process due to the nature of integrating a large number of heterogeneous subsystems. Among other approaches to dealing with the complex design issues, model-driven design of CPSs has shown its advantages. In this review paper, we present a survey of research on model-driven development of CPSs. We are concerned mainly with the widely used methods, techniques, and tools, and discuss how these are applied to CPSs. We also present comparative analyses on the surveyed techniques and tools from various perspectives, including their modeling languages, functionalities, and the challenges which they address in CPS design. With our understanding of the surveyed methods, we believe that model-driven approaches are an inevitable choice in building CPSs and further research effort is needed in the development of model-driven theories, techniques, and tools. We also argue that a unified modeling platform is needed. Such a platform would benefit research in the academic community and practical development in industry, and improve the collaboration between these two communities.

show abstract

Formal Methods Communities of Practice: A Survey of Personal Experience

Bowen

Breuer²

2022

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Software Abstractions and Human-Cyber-Physical Systems Architecture Modelling

Cited by 8 publications

References 69 publications

Digitality: A reality check

Digitality: A reality check

A survey of model-driven techniques and tools for cyber-physical systems

Formal Methods Communities of Practice: A Survey of Personal Experience

Contact Info

Product

Resources

About