Ontology Based Behavior Verification for Complex Systems

Model Based Systems Engineering (MBSE) is a mainstream methodology for the design of complex systems. Verification is a necessary part of MBSE. Although there is significant past research on verification, some deficiencies still exist, such as behavior requirement verification in the early design stage is lacking. In this study, behavior verification at the early design stage is presented. First, a unified modeling method based on SysML is proposed and some transformation rules are defined to ensure the correctness and definiteness of the ontology generation. Second, behavior requirements are classified and formalized as rules. Finally, a hierarchical behavior verification approach based on ontology reasoning is proposed. This approach is convenient for designers to use and no additional expertise is needed. A case study is provided to demonstrate its effectiveness.

• Publication year

  2018

• Venue

  Volume 1B: 38th Computers and Information in Engineering Conference

• Publication date

  2018-08-26

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1115/DETC2018-85689
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• No references are available for this paper.

• From Transpilers to Semantic Libraries: Formal Verification With Pluggable Semantics

  2024cites this paper
• A Service-oriented Approach Supporting Model Integration in Model-based Systems Engineering

  2023cites this paper
• A Systematic Literature Review on Model-driven Engineering for Cyber-Physical Systems

  2021influential citation
• Model-Driven Engineering Tools and Languages for Cyber-Physical Systems–A Systematic Literature Review

  2021cites this paper
• Applications of model-driven engineering in cyber-physical systems: A systematic mapping study

  2020cites this paper