Model-based Analysis Support for Dependable Complex Systems in CHESS

Debiasi, Alberto; Ihirwe, Felicien; Pierini, Pierluigi; Mazzini, Silvia; Tonetta, Stefano

doi:10.5220/0010269702620269

Cited by 11 publications

(15 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The IoT high-level blocks and their accompanying flow-ports are defined and later annotated with formal properties as CHESS contracts. In this regard, the user can benefit from the CHESS tool's system-level validation and verification, parameterized architecture, and trade-off analysis infrastructure [3]. The CHESSIoTSoftware profile gives users modeling constructs to define IoT software components and behaviors.…”

Section: The Chessiot Modeling and Analysis Approachmentioning

confidence: 99%

“…CHESSIoT extension aims to provide a robust domain-specific language for designing and analyzing large and complex IoT systems that can be applied to use cases such as Smart Cities. The proposed environment extends the CHESS tool [3], a mature open-source modeling and analysis environment for complex dependable systems. The CHESS tool-set allows the modeler (user) to automate various development phases, such as requirements definition, architectural modeling of the system's software and hardware, and deployment to a hardware platform.…”

Section: Introductionmentioning

confidence: 99%

“…Despite the fact that CHESS has been successfully used in a variety of applications [3], it still lacks formal modeling and analytic capabilities for the IoT domain. CHESSIoT extends and relies on the existing modeling and analysis infrastructure provided by CHESS.…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

A domain-specific modeling and analysis environment for complex IoT applications

Ihirwe¹,

Ruscio²,

Mazzini³

et al. 2021

Preprint

Self Cite

View full text Add to dashboard Cite

To cope with the complexities found in the Internet of Things domain, designers and developers of IoT applications demand practical tools. Several model-driven engineering methodologies and tools have been developed to address such difficulties, but few of them address the analysis aspects. In this extended abstract, we introduce CHESSIoT, a domain-specific modeling environment for complex IoT applications. In addition, the existing supported real-time analysis mechanism, as well as a proposed code generation approach, are presented.

show abstract

Section: The Chessiot Modeling and Analysis Approachmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

A domain-specific modeling and analysis environment for complex IoT applications

Ihirwe¹,

Ruscio²,

Mazzini³

et al. 2021

Preprint

Self Cite

View full text Add to dashboard Cite

show abstract

“…SafeConcert Montecchi and Gallina ( 2017) is a metamodel proposed for modeling socio-technical systems. This metamodel is implemented by CHESS ML (CHESS Modeling Language) CONCERTO D2.7 (2016), which is a UML-based modeling language in CHESS framework Debiasi et al (2021). Effect of new technologies such as Augmented Reality (AR) on human and organizational factors have been explored in several studies Sheikh ) Sheikh Bahaei (2020.…”

Section: Introductionmentioning

confidence: 99%

A Metamodel Extension to Capture Post Normal Accidents in AR-equipped Socio-technical Systems

Bahaei¹,

Gallina²

2021

Proceedings of the 31st European Safety and Reliability Conference (ESREL 2021)

View full text Add to dashboard Cite

In the past twenty to thirty years, organizations have extremely changed and these changes in addition to technological changes such as use of augmented reality (AR) introduce new system risks. Post normal accidents theory describes that organizations are more globalized and digitalized and are formed as networks of organizations, which would lead to post normal accidents such as network failure accident. In addition, it states that strategies and organizational structures are more financialised and networked respectively and technology and task are more digitalized and standardized. These organizational factors affect also on human performance. Organization and human are considered as the socio parts of socio-technical systems. Metamodels should provide the modeling elements required for modeling human and organizational factors in new AR-equipped socio-technical systems. Current metamodels do not consider factors that would lead to post normal accidents. In this paper, we elaborate the theory of post normal accidents and we extract the influencing factors leading to post normal accidents. We also consider global distance including geographical, temporal and cultural distances, as an influencing factor on human performance. Then, we use the extracted influencing factors for extending modeling elements in our previously proposed conceptual metamodel for modeling AR-equipped socio-technical systems. Our proposed extended metalmodel can be used by analysis techniques in order to perform risk assessment for AR-equipped socio-technical systems.

show abstract

“…The full description of CHESSIoT can be found in our previous work (Ihirwe et al, 2021). CHESS is a cross-domain, model-driven, component-based, and open-source tool for the development of high-integrity systems (Debiasi. et al, 2021).…”

Section: Introductionmentioning

confidence: 99%

CHESSIoT support of event-based modeling for the Internet of Things applications

Ihirwe

2021

Preprint

Self Cite

View full text Add to dashboard Cite

Internet of Things systems design and development suffers from heterogeneity in different aspects. The component behaviors also change due to events being internal or external and the system needs to take action subsequently. In this paper, we demo the event-based modeling capabilities of the CHESSIoT tool on a smart parking application. Different components was been decomposed with functional and behavioral specifications following the component-based approach. In the end, we have given a brief description of the future work.

show abstract

Model-based Analysis Support for Dependable Complex Systems in CHESS

Cited by 11 publications

References 0 publications

A domain-specific modeling and analysis environment for complex IoT applications

A domain-specific modeling and analysis environment for complex IoT applications

A Metamodel Extension to Capture Post Normal Accidents in AR-equipped Socio-technical Systems

CHESSIoT support of event-based modeling for the Internet of Things applications

Contact Info

Product

Resources

About