SysML for Systems Engineering

Holt, John; Perry, Simon

doi:10.1049/pbpc007e

Cited by 139 publications

(66 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…(Wood et al, 2009). Those standards have been chosen for the common ground determination by implementation of a rigorous methodology It is commonly known that the reading of standards can easily lead to misunderstanding and loss of some important aspects of meaning: standards can often be inconsistent with themselves and contain many errors and much ambiguity; furthermore, it can be almost impossible to follow the standards when they are read in groups due to diversity of interpretation (Holt and Perry, 2008).…”

Section: Nuclear Power Plant Instrumentation and Control Systemsmentioning

confidence: 99%

See 1 more Smart Citation

Harmonization of IEEE 1012 and IEC 60880 standards regarding verification and validation of nuclear power plant safety systems software using model-based methodology

Rudakov

Dickerson

2017

Progress in Nuclear Energy

View full text Add to dashboard Cite

show abstract

Section: Nuclear Power Plant Instrumentation and Control Systemsmentioning

confidence: 99%

“…Holt and Perry (2008) state that modelling could serve as a common language of standards creation. Their proposed so-called seven-view approach to the modelling processes can be also applied to the modelling of standards.…”

Section: Nuclear Power Plant Instrumentation and Control Systemsmentioning

confidence: 99%

Harmonization of IEEE 1012 and IEC 60880 standards regarding verification and validation of nuclear power plant safety systems software using model-based methodology

Rudakov

Dickerson

2017

Progress in Nuclear Energy

View full text Add to dashboard Cite

show abstract

“…The purpose is to ensure that the user's needs are satisfied throughout the whole life cycle of the system and that the efficiency benefits are maximized [1]. With the increase of the complexity of the product, the document-based system engineering is difficult to meet the current R&D requirements, and the model-based system engineering (MBSE) becomes the best choice in the context of integrating the multidisciplinary and multidisciplinary background.…”

Section: Introductionmentioning

confidence: 99%

Design Analysis Method for Multidisciplinary Complex Product using SysML

Liu

Wang

2017

MATEC Web Conf.

View full text Add to dashboard Cite

Abstract. In the design of multidisciplinary complex products, model-based systems engineering methods are widely used. However, the methodologies only contain only modeling order and simple analysis steps, and lack integrated design analysis methods supporting the whole process. In order to solve the problem, a conceptual design analysis method with integrating modern design methods has been proposed. First, based on the requirement analysis of the quantization matrix, the user's needs are quantitatively evaluated and translated to system requirements. Then, by the function decomposition of the function knowledge base, the total function is semi-automatically decomposed into the predefined atomic function. The function is matched into predefined structure through the behaviour layer using function-structure mapping based on the interface matching. Finally based on design structure matrix (DSM), the structure reorganization is completed. The process of analysis is implemented with SysML, and illustrated through an aircraft air conditioning system for the system validation.

show abstract

“…These diagrams can call and communicate with other diagrams and allow for probabilistic behaviour specification. Particularly, SysML's activity diagrams, the specific formalism that this work adopts, can express a qualitative and quantitative elements of a system's behaviour and at various levels of abstraction (Holt and Perry 2008).…”

Section: Introductionmentioning

confidence: 99%

Generating attacks in SysML activity diagrams by detecting attack surfaces

Ouchani

Lenzini

2015

J Ambient Intell Human Comput

View full text Add to dashboard Cite

In the development process of a secure system is essential to detect as early as possible the system's vulnerable points, the so called attack surfaces, and to estimate how feasible it would be that known attacks breach through them. Even if attack surfaces can be sometimes detected automatically, mapping them against known attacks still is a step apart. Systems and attacks are not usually modelled in compatible formalisms. We develop a practical framework that automates the whole process. We formalize a system as SysML activity diagrams and in the same formalism we model libraries of patterns taken from standard catalogues of social engineering and technical attacks. An algorithm that we define, navigates the system's diagrams in search for its attack surfaces; then it evaluates the possibility and the probability that the detected weak points host attacks among those in the modelled library. We prove the correctness and the completeness of our approach and we show how it works on a use case scenario. It represents a very common situation in the domain of communication and data security for corporations.

show abstract

SysML for Systems Engineering

Cited by 139 publications

References 0 publications

Harmonization of IEEE 1012 and IEC 60880 standards regarding verification and validation of nuclear power plant safety systems software using model-based methodology

Harmonization of IEEE 1012 and IEC 60880 standards regarding verification and validation of nuclear power plant safety systems software using model-based methodology

Design Analysis Method for Multidisciplinary Complex Product using SysML

Generating attacks in SysML activity diagrams by detecting attack surfaces

Contact Info

Product

Resources

About