On the formal interpretation and behavioural consistency checking of SysML blocks

Jacobs, Jaco; Simpson, Andrew

doi:10.1007/s10270-015-0511-z

Cited by 2 publications

(2 citation statements)

References 22 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Although those notations suffer from a lack of formal semantics and limited expressivity, there it is possible to generate formal representations from them. (See, for example, the contribution of [9]. )…”

Section: Introductionmentioning

confidence: 99%

Formal models for automotive systems and vehicular networks: Benefits and challenges

Santos

Schoop

Simpson

2016

2016 IEEE Vehicular Networking Conference (VNC)

Self Cite

View full text Add to dashboard Cite

Formal models have seen widespread use in the development of safety-and security-critical systemsprimarily as a means of providing increased assurance. In particular, formal models of threats have the potential to give rise to numerous benefits: they can help in the understanding of vulnerabilities (and the communication of such); they also provide a means by which these vulnerabilities can be reasoned about. We give consideration to how formal models of threats might be beneficial in the development of modern automotive systems and vehicular networks, which are increasingly interconnected. To achieve this we present a formal threat model of an idealised system. We use Predicate/Transition (PrT) Nets, a graphical mathematical formalism, to represent threats and plausible attacks. In addition to understanding and analysis, the approach also has the potential to provide benefits to the design and testing of vehicles' distributed IT systems -thus contributing to an improved sense of security, privacy and safety. To this end, we give consideration to the challenges that lie ahead in terms of adopting such an approach.

show abstract

Section: Introductionmentioning

confidence: 99%

Formal models for automotive systems and vehicular networks: Benefits and challenges

Santos

Schoop

Simpson

2016

2016 IEEE Vehicular Networking Conference (VNC)

Self Cite

View full text Add to dashboard Cite

show abstract

“…State machine diagrams (SMD) in SysML are mainly used to describe the life cycles of objects, subsystems and systems [48]. Through the SMD, we can know all the states that an object can reach and the impact of events on the state.…”

Section: Improvement Of Sysml State Machine Diagrammentioning

confidence: 99%

An Improved FFIP Method Based on Mathematical Logic and SysML

et al. 2021

View full text Add to dashboard Cite

In recent years, the model-based safety analysis (MBSA) has been developing continuously. The Functional Failure Identification and Propagation (FFIP) method is a graphics processing technology which supports the analysis of fault propagation paths before making costly design commitments. However, the traditional FFIP has some deficiencies. In this paper, we extend the functional failure logic (FFL) in the FFIP and introduce the concept of deviation. So, FFIP can be used to analyze the failure process of the systems and make the logical analysis of functional failure easier. Based on the extended FFL, we present a new overview of the FFIP. The FFIP is improved by using mathematical logic and Systems Modeling Language (SysML). The standard expression of FFL is realized, which is conducive to the subsequent modeling and modification. Additionally, we use the failure logic analysis in the FFIP to improve the state machine diagram (SMD) in SysML. Finally, the improved FFIP method is used to analyze the fault propagation paths of the system and Simulink is used for simulation. The fault tree is generated according to the simulation results, the minimum cut set is calculated, and the key failure parts of the system are obtained.

show abstract

Research on visual simulation for complex weapon equipment interoperability based on MBSE

Yang

Xia

Chen

et al. 2023

Multimed Tools Appl

View full text Add to dashboard Cite

As military reforms continue to develop, the battlefield environment is becoming increasingly complex, and traditional single-service combat methods have evolved into integrated joint and collaborative information operations that break down service boundaries on land, sea, and air. The level of weapon system confrontation has also evolved into a system-to-system confrontation. Traditional document-based system architecture design methods can no longer address the complexity and emergent challenges of weapon system construction. In this paper, based on model-driven system engineering, an open, integrated, model-driven weapon equipment interaction system that supports human interaction was constructed using the SysML modeling language and Magicdraw modeling tool. The Unreal Engine 4 landscape building function was used to construct a virtual battlefield environment, and a communication server was developed using C# language to perform visual simulation of interoperability between weapon systems. Based on model-driven weapon equipment interoperability, visual simulation is used to ensure that the function of the weapon equipment system meets the requirements of combat and the combat effectiveness of the system is maximized.

show abstract

On the formal interpretation and behavioural consistency checking of SysML blocks

Cited by 2 publications

References 22 publications

Formal models for automotive systems and vehicular networks: Benefits and challenges

Formal models for automotive systems and vehicular networks: Benefits and challenges

An Improved FFIP Method Based on Mathematical Logic and SysML

Research on visual simulation for complex weapon equipment interoperability based on MBSE

Contact Info

Product

Resources

About