-
公开(公告)号：KR20180065289A
公开(公告)日：2018-06-18
申请号：KR20160165912
申请日：2016-12-07
Applicant: 강원대학교산학협력단
Inventor： PARK HONG SEONG , JO WOOK JAE
Abstract: 컴포넌트기반시스템에대한실시간적합성검사방법및 장치및 컴퓨터판독가능한저장매체가개시된다. 컴포넌트기반시스템에대한실시간적합성검사방법은, 상기시스템을구성하는컴포넌트들을테스트하기위한테스트케이스들을생성하는단계; 상기생성된테스트케이스들에기초하여상기컴포넌트들을테스트하는것에의해각 테스트케이스에대한컴포넌트의수행사이클수를계산하는단계; 상기계산된컴포넌트의수행사이클수에기초하여컴포넌트들의최악수행시간(Worst-Case Execution Time, WCET)을계산하는단계; 및상기계산된컴포넌트들의최악수행시간과상기컴포넌트들의입출력연관관계정보에기초하여상기시스템의실시간적합성여부를판단하는단계를포함할수 있다.
Search Results
1
records
(took 0.018 seconds)
筛选
AND
AND
过滤
NOT
NOT
Scan to Join
