Presentation 2012/2/24
Satisfiability Verification of Constraints in System Development Using SysML
TETSUSHI FUKUDA, KENJI HISAZUMI, AKIRA FUKUDA,
PDF Download Page PDF download Page Link
Abstract(in Japanese) (See Japanese page)
Abstract(in English) SysML enables us to model hardware, software and humans related to systems comprehensively and SysML is expected to enable system design, analysis and verification. e constraints using requirement diagram and parametric diagram, but method to use the constrains in design and verify satisfiability of the constraints is not obvious. In this paper, we specify abstract constraints of requirement diagram using FMEA and identify constraints in design. Moreover, we propose a method to verify a satisfiability of the constraints using Yices, a SMT solver.
Keyword(in Japanese) (See Japanese page)
Keyword(in English)
Paper # Vol.2012-SLDM-155 No.12,Vo.2012-EMB-24 No.12
Date of Issue

Conference Information
Committee DC
Conference Date 2012/2/24(1days)
Place (in Japanese) (See Japanese page)
Place (in English)
Topics (in Japanese) (See Japanese page)
Topics (in English)
Chair
Vice Chair
Secretary
Assistant

Paper Information
Registration To Dependable Computing (DC)
Language JPN
Title (in Japanese) (See Japanese page)
Sub Title (in Japanese) (See Japanese page)
Title (in English) Satisfiability Verification of Constraints in System Development Using SysML
Sub Title (in English)
Keyword(1)
1st Author's Name TETSUSHI FUKUDA
1st Author's Affiliation Graduate School of Information Science and Electrical Engineering, Kyushu University()
2nd Author's Name KENJI HISAZUMI
2nd Author's Affiliation System LSI Research Center, Kyushu University
3rd Author's Name AKIRA FUKUDA
3rd Author's Affiliation Faculty of Information Science and Electrical Engineering, Kyushu University
Date 2012/2/24
Paper # Vol.2012-SLDM-155 No.12,Vo.2012-EMB-24 No.12
Volume (vol) vol.111
Number (no) 462
Page pp.pp.-
#Pages 6
Date of Issue