Lessons Learned in a Journey Toward Correct-by-Construction Model-Based Development

Baracchi, Laura; Mazzini, Silvia; Puri, Stefano; Vardanega, Tullio

doi:10.1007/978-3-319-39083-3_8

Cited by 4 publications

(3 citation statements)

References 17 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…MÃűbius 3 is a software tool for modeling the behavior of complex systems, by allowing the study of the reliability, availability, security, and performance for large-scale discrete-event systems [18]. Many reliability analysis results can be obtained with probabilistic models built with Mobius using the stochastic activity networks (SAN) formalism, solved then via Monte-Carlo simulation 4 . The CHESS-Mobius integration plugin is conceived to support the modeling of fault-tolerant software under cyber-attacks and facilitate the exploiting of the Mobius capabilities for analysis of reliability.…”

Section: Threat Models and Security Analysis With Mobiusmentioning

confidence: 99%

See 1 more Smart Citation

Model-based analysis support for dependable complex systems in CHESS

Ihirwe,

Mazzini,

Pierini

et al. 2020

Preprint

Self Cite

View full text Add to dashboard Cite

One of the issues in dependable complex systems execution process is the presence of a high dimension of decisions to be taken into account when deciding the next action to be taken. While in designing the logical architecture of a system, various dependability aspects such as safety, reliability, and security must be considered. Moreover, in case of highassurance systems, it is required to analyze these aspects with rigorous methods. In this paper, we present an opensource tool called CHESS, a cross-domain model-based engineering environment, along with various analysis support for dependable complex systems. CHESS enforces the decoupling of different functional parts of the system as components that can be modeled, analyzed, verified, stored, reused individually, and later be integrated to meet the system's common goal. Extended from UML/SysML and MARTE, the CHESSML modeling language supports the modeling of realtime dependable systems including safety and security aspects. In CHESS the user can perform different model-based analyses to ensure system dependability at various stages of the development. As a result, we present the newly released CHESS features and we will show how CHESS contributed to several research projects.

show abstract

Section: Threat Models and Security Analysis With Mobiusmentioning

confidence: 99%

“…CONCERTO framework was built on top of the CHESS framework developed in 4.1, as well as the results of several other related projects. The project enforced the modeling of multicore processors among the possible target platforms, with the same level of correctness and guarantees as for traditional single-core processor targets [4].…”

Section: Concertomentioning

confidence: 99%

Model-based analysis support for dependable complex systems in CHESS

Ihirwe,

Mazzini,

Pierini

et al. 2020

Preprint

Self Cite

View full text Add to dashboard Cite

show abstract

“…Currently, CHESSIoT is being developed on top of the CHESS tool[9], a mature modelling and analysis environment for the development of complex industrial systems [10]. Since the CHESS tool has been developed to meet industrial needs [11], we decided to rely on it to support industrial IoT development. In addition to CHESS, CHESSIoT offers an IoT-specific modelling infrastructure where the user can specify the system's structural and behavioural architectures, perform different real-time analyses and generate platform-specific code.…”

Section: Introductionmentioning

confidence: 99%

Towards a modeling and analysis environment for industrial IoT systems

Ihirwe,

Di Ruscio,

Mazzini

et al. 2021

Preprint

Self Cite

View full text Add to dashboard Cite

The development of Industrial Internet of Things systems (IIoT) requires tools robust enough to cope with the complexity and heterogeneity of such systems, which are supposed to work in safety-critical conditions. The availability of methodologies to support early analysis, verification, and validation is still an open issue in the research community. The early real-time schedulability analysis can help quantify to what extent the desired system's timing performance can eventually be achieved. In this paper, we present CHESSIoT, a model-driven environment to support the design and analysis of industrial IoT systems. CHESSIoT follows a multi-view, component-based modelling approach with a comprehensive way to perform event-based modelling on system components for code generation purposes employing an intermediate ThingML model. To showcase the capability of the extension, we have designed and analysed an Industrial real-time safety use case.

show abstract

Meta3: a code generator framework for domain-specific languages

Kövesdán

Lengyel

2018

Softw Syst Model

View full text Add to dashboard Cite

Lessons Learned in a Journey Toward Correct-by-Construction Model-Based Development

Cited by 4 publications

References 17 publications

Model-based analysis support for dependable complex systems in CHESS

Model-based analysis support for dependable complex systems in CHESS

Towards a modeling and analysis environment for industrial IoT systems

Meta3: a code generator framework for domain-specific languages

Contact Info

Product

Resources

About