0

Full Content is available to subscribers

Subscribe/Learn More  >

Ontology Based Behavior Verification for Complex Systems

[+] Author Affiliations
Ruirui Chen, Yusheng Liu

Zhejiang University, Hangzhou, China

Xiaoping Ye

Lishui University, Lishui, China

Paper No. DETC2018-85689, pp. V01BT02A038; 9 pages
doi:10.1115/DETC2018-85689
From:
  • ASME 2018 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference
  • Volume 1B: 38th Computers and Information in Engineering Conference
  • Quebec City, Quebec, Canada, August 26–29, 2018
  • Conference Sponsors: Design Engineering Division, Computers and Information in Engineering Division
  • ISBN: 978-0-7918-5173-9
  • Copyright © 2018 by ASME

abstract

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.

Copyright © 2018 by ASME

Figures

Tables

Interactive Graphics

Video

Country-Specific Mortality and Growth Failure in Infancy and Yound Children and Association With Material Stature

Use interactive graphics and maps to view and sort country-specific infant and early dhildhood mortality and growth failure data and their association with maternal

NOTE:
Citing articles are presented as examples only. In non-demo SCM6 implementation, integration with CrossRef’s "Cited By" API will populate this tab (http://www.crossref.org/citedby.html).

Some tools below are only available to our subscribers or users with an online account.

Related Content

Customize your page view by dragging and repositioning the boxes below.

Related eBook Content
Topic Collections

Sorry! You do not have access to this content. For assistance or to subscribe, please contact us:

  • TELEPHONE: 1-800-843-2763 (Toll-free in the USA)
  • EMAIL: asmedigitalcollection@asme.org
Sign In