SysML Models Verification Relying on Dependency Graphs

Apvrille, Ludovic; Saqui-Sannes, Pierre de; Hotescu, Oana; Calvino, Alessandro Tempia

doi:10.5220/0010792900003119

Cited by 6 publications

(2 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…IT'm Factory is a research and training platform 5 hosted by the École des Mines de Saint-Étienne. It provides researchers and companies with a realistic connected factory case-study including typical industry 4.0 features (connected and automated packaging chain, collaborative robots, virtual and augmented reality glasses, digital twin, etc.).…”

Section: It'm Factory: An Industry 40 Case-studymentioning

confidence: 99%

W-Sec: A Model-Based Formal Method for Assessing the Impacts of Security Countermeasures

Sultan

Apvrille

Jaillon

et al. 2023

Communications in Computer and Information Science

Self Cite

View full text Add to dashboard Cite

The chapter provides a detailed description of W-Sec, a formal model-based countermeasures' impact assessment method. It also introduces a new formal definition of the two SysML profiles used in SysML-Sec and W-Sec, enabling (i) for the future automation of several W-Sec stages and (ii) for the definition of consistency rules ensuring the consistency of the models written in these two distinct modeling languages. In addition, the chapter evaluates W-Sec with a new industry 4.0 case-study and discusses the strengths and the current limitations of the approach in this new application field.

show abstract

Section: It'm Factory: An Industry 40 Case-studymentioning

confidence: 99%

W-Sec: A Model-Based Formal Method for Assessing the Impacts of Security Countermeasures

Sultan

Apvrille

Jaillon

et al. 2023

Communications in Computer and Information Science

Self Cite

View full text Add to dashboard Cite

show abstract

“…Expressing the properties to be verified by a system remains a key issue in formal verification. Efforts have to be done to optimize formal verification, for instance by relying on dependency graphs [94] that contribute to reduce the state space to explore when checking a model against one or several properties. It is also important to keep in mind that systems may be checked not only against safety properties but against securities properties as well.…”

Section: Formal Verification Toolsmentioning

confidence: 99%

A Taxonomy of MBSE Approaches by Languages, Tools and Methods

et al. 2022

Self Cite

View full text Add to dashboard Cite

Systems engineering has gained in maturity over the last decades and started a transition from document-centric approaches to Model-Based Systems Engineering (MBSE). Several papers have discussed the benefits and potential, but also the limitations, of using MBSE, based on literature surveys and analyze feedback from academia and industry. The current paper explores a complementary avenue and aims at giving students and industry practitioners a set of keys and decision criteria to select MBSE languages, tools and methods. Languages, tools and methods are categorised and selection criteria are proposed for a panorama of languages that goes beyond SysML and other techniques commonly associated with MBSE. In addition, research avenues for the future of MBSE are identified. The discussion relies on the authors' experience in teaching and using system engineering and MBSE in both academia and industry, as well as on the experience shared within the framework of Concorde, a French project dedicated to drone systems design methodologies.

show abstract