Verifying Cyber-Physical System Behavior in the Context of Cyber-Physical System-Networks

Brings, Jennifer

doi:10.1109/re.2017.45

Cited by 4 publications

(3 citation statements)

References 22 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Finally, as stated at the beginning of this section, aggregate behaviours are of paramount importance, in such a way that unforeseen conditions, due to the interaction of internal components, are not disregarded, which can cause serious damages to ECPS. For instance, Brings [86] proposed a methodology based on the automated generation of models representing the different possible system-networks a cyber-physical system may interact with, in order to identify relevant behaviour aspects and provide automated verification. Each aggregate model is checked against a system specification, with the goal of providing proper operation for aggregate behaviours.…”

Section: Existing Symbolic Verification Methodologies For Cyberphysicmentioning

confidence: 99%

Survey on automated symbolic verification and its application for synthesising cyber‐physical systems

Cordeiro

Filho

Bessa

2019

IET cyber-phys. syst.

View full text Add to dashboard Cite

Section: Existing Symbolic Verification Methodologies For Cyberphysicmentioning

confidence: 99%

Survey on automated symbolic verification and its application for synthesising cyber‐physical systems

Cordeiro

Filho

Bessa

2019

IET cyber-phys. syst.

View full text Add to dashboard Cite

“…In Reference 15, Wu et al study the realizability problem of CPSs and propose a method to enforce their safety by checking the compatibility of predicates. In Reference 16, Brings proposes an approach to verifying the emergent behaviors of CPS‐networks. In Reference 17, Xie et al propose a two‐stage solution to ensure the reliability of automotive CPSs under energy and response‐time constraints.…”

Section: Related Workmentioning

confidence: 99%

Compatibility checking for cyber‐physical systems based on microservices

Dai

et al. 2022

Softw Pract Exp

View full text Add to dashboard Cite

Microservices architecture provides a promising solution for developing sustainable cyber-physical systems (CPSs). However, checking the compatibility of CPSs over a set of microservices communicating asynchronously via unbounded buffers are undecidable due to their infinite state spaces. In this article, we propose a new approach for checking the compatibility of CPSs with infinite state spaces without restricting the size of buffers or the number of communication cycles. First, we integrate CPSs with microservice architecture and design the system architecture for building CPSs over a set of cyber-physical microservices with unbounded buffers. Second, we model CPSs composed of asynchronously communicating cyber-physical microservices via FIFO buffers as labelled transition systems. Third, we adopt the stability notion and present a sufficient condition for checking the unspecified receptions of CPSs through stability checking. Finally, we implement our approach in Process Analysis Toolkit for automatic compatibility checking and conduct experiments to show our approach is effective and efficient.

show abstract

“…o Related challenges example: Some emerged behavior cannot be attributed to a single system but results from the interplay of some or all systems in the network. Therefore, each system involved must adjust its behavior according to the common goal, which is an open issue (Brings 2017). o Related technologies example: The first and most common way to treat behavior is in stages, where the more significant behaviors are constituted by, the smaller ones, with this it is possible to reduce the complexity of taking care of the behaviors.…”

Section: Iot Facetsmentioning

confidence: 99%

On Challenges in Engineering IoT Software Systems

Motta

Oliveira

Travassos

2019

JSERD

View full text Add to dashboard Cite

Contemporary software systems, such as the Internet of Things (IoT), Industry 4.0, and Smart Cities represent a technology changing that offer challenges for their construction since they are calling into question our traditional form of developing software. They are a promising paradigm for the integration of devices and communications technologies. It is leading to a shift in the classical monolithic view of development where stakeholders used to receive a software product at the end (that we have been doing for decades), to software systems incrementally materialized through physical objects interconnected by networks and with embedded software to support daily activities. Therefore, we need to revisit the classical way of developing software and start to consider the particularities required by these new sorts of applications. Since such software systems involve different concerns, this paper presents the results of an investigation towards defining a framework to support the software systems engineering of IoT applications. To support its representation, we evolved the Zachman’s Framework as an alternative to the organization of the framework architecture. The filling of such a framework is supported by a) 14 significant concerns of IoT applications, recovered from the technical literature, practitioner’s workshops and a Government Report; b) seven structured facets emerged from IoT data analysis, that together represent the engineering challenges to be faced both by researchers and practitioners towards the advancement of IoT in practice.

show abstract

Verifying Cyber-Physical System Behavior in the Context of Cyber-Physical System-Networks

Cited by 4 publications

References 22 publications

Survey on automated symbolic verification and its application for synthesising cyber‐physical systems

Survey on automated symbolic verification and its application for synthesising cyber‐physical systems

Compatibility checking for cyber‐physical systems based on microservices

On Challenges in Engineering IoT Software Systems

Contact Info

Product

Resources

About