기본체계모델을 검증하기 위한 방법 및 장치

    公开(公告)号:KR101911297B1

    公开(公告)日:2018-10-24

    申请号:KR1020180047518

    申请日:2018-04-24

    CPC classification number: G06F11/3696

    Abstract: 본발명은기본체계모델을검증하기위한방법및 장치에관한것이다. 본발명에따른기본체계모델을검증하기위한장치는, 사용자입력에의해소정무기체계의요구사항을입력받는요구사항입력부; 상기입력받은요구사항과, 적어도하나의컴포넌트에각각포함되어있는요구사항을비교한결과에근거하여, 무기체계모델을생성하는컴포넌트제어부; 및상기생성한무기체계모델이소정조건을만족하는지여부를검증하는컴포넌트검증부;를포함한다.

Patent Agency Ranking