scholarly journals A GRL-compliant iStar extension for collaborative cyber-physical systems

2021 ◽  
Author(s):  
Marian Daun ◽  
Jennifer Brings ◽  
Lisa Krajinski ◽  
Viktoria Stenkova ◽  
Torsten Bandyszak
Keyword(s):  
Case Studies ◽  
Cyber Physical Systems ◽  
Modeling Language ◽  
Abstract Syntax ◽  
Goal Modeling ◽  
Physical Systems ◽  
Modeling Approaches ◽  
Concrete Syntax ◽  
The Individual ◽  
Do So

AbstractCollaborative cyber-physical systems are capable of forming networks at runtime to achieve goals that are unachievable for individual systems. They do so by connecting to each other and exchanging information that helps them coordinate their behaviors to achieve shared goals. Their highly complex dependencies, however, are difficult to document using traditional goal modeling approaches. To help developers of collaborative cyber-physical systems leverage the advantages of goal modeling approaches, we developed a GRL-compliant extension to the popular iStar goal modeling language that takes the particularities of collaborative cyber-physical systems and their developers’ needs into account. In particular, our extension provides support for explicitly distinguishing between the goals of the individual collaborative cyber-physical systems and the network and for documenting various dependencies not only among the individual collaborative cyber-physical systems but also between the individual systems and the network. We provide abstract syntax, concrete syntax, and well-formedness rules for the extension. To illustrate the benefits of our extension for goal modeling of collaborative cyber-physical systems, we report on two case studies conducted in different industry domains.

scholarly journals Hybrid SynchAADL: Modeling and Formal Analysis of Virtually Synchronous CPSs in AADL

2021 ◽  
pp. 491-504
Author(s):  
Jaehun Lee ◽  
Sharon Kim ◽  
Kyungmin Bae ◽  
Peter Csaba Ölveczky
Keyword(s):  
Formal Analysis ◽  
Cyber Physical Systems ◽  
Modeling Language ◽  
Analysis Tool ◽  
Physical Systems ◽  
Complex Control ◽  
Control Programs ◽  
Network Delays ◽  
Execution Times

AbstractWe present the $$\textsc {Hybrid}\textsc {Synch}\textsc {AADL}$$ H Y B R I D S Y N C H AADL modeling language and formal analysis tool for virtually synchronous cyber-physical systems with complex control programs, continuous behaviors, bounded clock skews, network delays, and execution times. We leverage the Hybrid PALS equivalence, so that it is sufficient to model and verify the simpler underlying synchronous designs. We define the $$\textsc {Hybrid}\textsc {Synch}\textsc {AADL}$$ H Y B R I D S Y N C H AADL language as a sublanguage of the avionics modeling standard AADL for modeling such designs in AADL, and demonstrate the effectiveness of $$\textsc {Hybrid}\textsc {Synch}\textsc {AADL}$$ H Y B R I D S Y N C H AADL on a number of applications.

Goal modeling for collaborative groups of cyber-physical systems with GRL

2019 ◽  
Author(s):  
Marian Daun ◽  
Viktoria Stenkova ◽  
Lisa Krajinski ◽  
Jennifer Brings ◽  
Torsten Bandyszak ◽  
...  
Keyword(s):  
Cyber Physical Systems ◽  
Goal Modeling ◽  
Physical Systems ◽  
Collaborative Groups

scholarly journals A Durkheimian Analysis of Racialised Crime and Punishment Police Practices and the Demand for Change

2021 ◽  
Vol 2 ◽  
pp. 120-147
Author(s):  
Anna Kovar
Keyword(s):  
Case Studies ◽  
Crime And Punishment ◽  
Black Lives Matter ◽  
Police Attitudes ◽  
The Individual ◽  
Cult Of The Individual ◽  
Police Practices ◽  
Do So

The analysis of racialised police attitudes has been frequently addressed in academic articles, but the application of a Neo-Durkheimian approach has been largely overlooked. This article will apply Durkheimian theory to illuminate the need for a shift in crime and punishment policy and practices to avoid the present societal moral stagnation. In order to do so it will address both, the recent Black Lives Matter protests in America and the 2011 Riots in London. The use of the two case studies signifies the continuity of problematic police behaviour and political address. It is evident that such an article is embedded in an extremely sensitive topic, therefore it does not presume to provide a solution to the overwhelming circumstances. Rather, in illuminating the relevance of Durkheimian theory it signifies that current global circumstances demand a moral shift in societal understandings of solidarity and “the cult of the individual”, providing pivotal foundations for police practices. However, this requires participation of criminologists alongside practitioners and activists.

Current Drivers and Obstacles of Synergy in Cyber-Physical Systems Design

2012 ◽  
Author(s):  
Bart H. M. Gerritsen ◽  
Imre Horváth
Keyword(s):  
Systems Design ◽  
Cyber Physical Systems ◽  
System Specification ◽  
Physical Systems ◽  
Model Driven ◽  
Autonomous Operation ◽  
Driven System ◽  
Geographically Distributed ◽  
The Individual ◽  
Operational Aspects

The level of synergy is a quality measure of the cooperative actions of the components of cyber physical systems (CPSs). Our current research informed us that the phenomenon of synergy has not been understood sufficiently yet, and that there are many, even competing, views on how to interpret and operationalize it in CPSs. We can talk about synergy when the functionally and geographically distributed dissimilar system components work in concert together and create a system behavior/performance that is of higher value than the total of the individual components is. Towards synergy, unification and interoperation principles need to be considered both in design and in implementation of CPSs. In this paper, we elaborate on the various aspects of synergy, and critically analyze its drivers and obstacles. Our analysis extended to ontological, epistemological, methodological, manifestation and operational aspects of synergy. It has been found that emergence of truly synergic technologies, proliferation of sophisticated abstraction models, model-driven system specification, and platform-based function realization are the most important drivers of synergy. On the other hand, the different mental models and vocabularies, the lack of multi-level informatics, the limitations in handling non-hierarchical complexities, managing emergent intelligence and autonomous operation, and the premature state of informing science have been identified as the major obstacles. The paper makes a proposal for enhanced synergy by taking the advantage of the affordances and reducing the effects of the obstacles. The results of the critical analysis are design principles that can be used to increase the level of synergy of CPSs.

Experience based knowledge representation for Internet of Things and Cyber Physical Systems with case studies

2019 ◽  
Vol 92 ◽  
pp. 604-616 ◽  
Author(s):  
Cesar Sanin ◽  
Zhang Haoxi ◽  
Imran Shafiq ◽  
Md Maqbool Waris ◽  
Caterine Silva de Oliveira ◽  
...  
Keyword(s):  
Internet Of Things ◽  
Knowledge Representation ◽  
Case Studies ◽  
Cyber Physical Systems ◽  
Physical Systems

scholarly journals Formal requirements modeling for cyber-physical systems engineering: an integrated solution based on FORM-L and Modelica

2021 ◽  
Author(s):  
Daniel Bouskela ◽  
Alberto Falcone ◽  
Alfredo Garro ◽  
Audrey Jardin ◽  
Martin Otter ◽  
...  
Keyword(s):  
Systems Engineering ◽  
Cyber Physical Systems ◽  
Modeling Language ◽  
Design Development ◽  
High Lift ◽  
Air Conditioning System ◽  
Physical Systems ◽  
Requirements Modeling ◽  
System Requirements ◽  
Formal Requirements

AbstractThe increasing complexity of cyber-physical systems (CPSs) makes their design, development and operation extremely challenging. Due to the nature of CPS that involves many heterogeneous components, which are often designed and developed by organizations belonging to different engineering domains, it is difficult to manage, trace and verify their properties, requirements and constraints throughout their lifecycle by using classical techniques. In this context, the paper presents an integrated solution to formally define system requirements and automate their verification through simulation. The solution is based on the FOrmal Requirements Modeling Language and the Modelica language. The solution is exemplified through two case studies concerning a Trailing-Edge High-Lift system and a Heating, Ventilation and Air Conditioning system.

Sign in / Sign up

Export Citation Format

Share Document