-
公开(公告)号：KR101038849B1
公开(公告)日：2011-06-02
申请号：KR1020090015590
申请日：2009-02-25
Applicant: 성균관대학교산학협력단
Abstract: 소프트웨어의 개발 단계에서 소프트웨어의 비기능적 요구사항을 검증할 수 있는 소프트웨어의 검증 방법 및 소프트웨어 검증 방법이 기록된 기록 매체가 개시된다. 먼저, 하드웨어 및 소프트웨어로 구성된 시스템을 계층형 큐잉 페트리 넷으로 모델링 하고, 모델링된 계층형 큐잉 페트리 넷을 마코프 체인으로 변환한 후, 변환된 마코프 체인에 리워드율을 적용하여 마코프 리워드 모델로 변환하고, 마코프 리워드 모델에 기초하여 소프트웨어의 가용성을 계산한다. 따라서, 소프트웨어의 개발 단계에서 소프트웨어의 비기능적 요소를 검증할 수 있고, 이로인해 소프트웨어의 개발 효율성을 증가시킬 수 있다.
소프트웨어, 비기능, 가용성, HQPN, MC, MRM-
公开(公告)号：KR1020100097472A
公开(公告)日：2010-09-03
申请号：KR1020090016423
申请日：2009-02-26
Applicant: 성균관대학교산학협력단
CPC classification number: G06F11/3696 , G06F8/71 , G06F9/06 , G06F9/542 , G06F11/3688
Abstract: PURPOSE: A method and an apparatus for analyzing reliability of software by using a software model are provided to quantitatively analyze and verify the reliability of a software in a design step by using a software model of an HQPN type. CONSTITUTION: An HQPN(Hierarchically Combined Queuing Petri Net)/MRM(Markov Reward Model) converter(200) converts a first software model of an HQPN type into a second software model of an MRM type. A reliability extracting unit(600) extracts quantitative reliability by using a second software model. A reliability extracting unit(120) outputs the reliability extracted by the reliability extracting unit.
Abstract translation: 目的：提供一种使用软件模型分析软件可靠性的方法和装置，通过使用HQPN类型的软件模型，在设计步骤中对软件的可靠性进行定量分析和验证。 构成：HQPN（分层组合排队Petri网）/ MRM（Markov Reward Model）转换器（200）将HQPN类型的第一软件模型转换为MRM类型的第二软件模型。 可靠性提取单元（600）通过使用第二软件模型提取定量可靠性。 可靠性提取单元（120）输出由可靠性提取单元提取的可靠性。
-
3.发明公开분산 컴포넌트 시스템의 생존성 검증 방법 및 분산 컴포넌트 시스템의 생존성 검증 방법을 실행하기 위한 프로그램이 기록된 기록 매체 无效用于验证分布式组件系统的可用性和记录介质的方法，用于执行分布式组件系统的可行性验证方法
公开(公告)号：KR1020110023213A
公开(公告)日：2011-03-08
申请号：KR1020090080913
申请日：2009-08-31
Applicant: 성균관대학교산학협력단
CPC classification number: G06F17/5013 , G06F15/16
Abstract: PURPOSE: A survivability verification method of a distributed component system and a recording medium for recording a program are provided to reduce system development time and expense by analyzing survivability in the early stage of development of the dispersion component system. CONSTITUTION: A threatening element of a distributed component system is discriminated(110). The distributed component system performs modeling by using an HPPN(Hierarchically Profiled Petri Nets)(120). The analysis model of the distributed component system adds the threatening element in the HPPN model(150). The analysis model is transformed to a Markov reward model(180). The survivability of the distributed component system is analyzed based on the Markov reward model(190).
Abstract translation: 目的：提供一种用于记录程序的分布式组件系统和记录介质的生存性验证方法，以通过分析分散组件系统的早期开发阶段的生存性来减少系统开发时间和费用。 构成：区分分布式组件系统的威胁要素（110）。 分布式组件系统通过使用HPPN（分层剖面Petri网）（120）执行建模。 分布式组件系统的分析模型在HPPN模型中增加了威胁要素（150）。 分析模型转化为马尔科夫奖励模型（180）。 基于马尔科夫奖励模型分析了分布式组件系统的生存能力（190）。
-
Patent Agency Ranking
公开(公告)号：KR101013640B1
公开(公告)日：2011-02-10
申请号：KR1020090081311
申请日：2009-08-31
Applicant: 성균관대학교산학협력단
Abstract: PURPOSE: An apparatus for analyzing performability is provided to measure a performability without an additional modeling process by using a previously measured availability and reliability. CONSTITUTION: A reliability measuring unit(10) measures the reliability of a system. An availability measuring unit(20) measures the availability of the system. A Markov chain configuring unit(110) of a performability computing unit constitutes a Markov chain to the system. A mean operation time measuring unit(120) generates a transition matrix of the Markov chain. A performability value calculating unit(130) calculates the feasibility value of the system.
Abstract translation: 目的：提供用于分析可执行性的装置，以通过使用先前测量的可用性和可靠性来测量可执行性而不需要额外的建模过程。 构成：可靠性测量单元（10）测量系统的可靠性。 可用性测量单元（20）测量系统的可用性。 可执行性计算单元的马尔可夫链配置单元（110）构成系统的马尔科夫链。 平均操作时间测量单元（120）产生马尔可夫链的转移矩阵。 可执行性值计算单元（130）计算系统的可行性值。
-
公开(公告)号：KR100990688B1
公开(公告)日：2010-10-29
申请号：KR1020090017163
申请日：2009-02-27
Applicant: 성균관대학교산학협력단
Abstract: 소프트웨어 보안 분석 방법 및 장치가 개시된다. 본 발명의 일 실시 예에 따르는 HCPN(계층형 페트리 네트, Hierarchically Combined Petri Net) 형태의 제1 소프트웨어 모델을 이용하는 소프트웨어 보안 분석 방법은, HCPN 형태의 제1 소프트웨어 모델을 MRM(마르코프 보상 모형, Markov Reward Model) 형태의 제2 소프트웨어 모델로 변환하는 단계 및 제2 소프트웨어 모델을 이용하여 정량적 보안 성능을 추출하는 단계를 포함할 수 있다. 본 발명의 일 실시 예에 따르면 소프트웨어 보안을 설계 단계에서 정량적으로 분석 및 검증할 수 있는 방법 및 장치를 제공할 수 있다.
보안, 공격 트리, 마르코프 보상 모형, HCPN, HQPN, 공격 시나리오-
公开(公告)号：KR1020100098141A
公开(公告)日：2010-09-06
申请号：KR1020090017163
申请日：2009-02-27
Applicant: 성균관대학교산학협력단
Abstract: PURPOSE: A method and an apparatus for analyzing the security of a software are provided to analyze and verify the security of a software by using a software model. CONSTITUTION: An HCPN(Hierarchically Combined Petri Net)/MRM(Markov Reward Model) converter(220) converts a first software model of an HCPN type into a second software model of an MRM type. An MRM-based security analyzer(230) extracts quantitative security performance by using the second software model. A color of the first software mode has an attribute. The HCPN/MRM converter includes an HCPN/MC(Markov Chain) converter and an MC/MRM converter.
Abstract translation: 目的：提供用于分析软件安全性的方法和装置，以通过使用软件模型来分析和验证软件的安全性。 构成：HCPN（分层组合Petri网）/ MRM（马可夫奖励模型）转换器（220）将HCPN类型的第一软件模型转换为MRM类型的第二软件模型。 基于MRM的安全分析器（230）通过使用第二个软件模型提取定量安全性能。 第一个软件模式的颜色有一个属性。 HCPN / MRM转换器包括HCPN / MC（马尔科夫链）转换器和MC / MRM转换器。
-
公开(公告)号：KR1020100096621A
公开(公告)日：2010-09-02
申请号：KR1020090015590
申请日：2009-02-25
Applicant: 성균관대학교산학협력단
CPC classification number: G06F11/3604 , G06F11/3672 , G06F17/50
Abstract: PURPOSE: A method for validating a software and a recorded medium for performing the method of validating the software are provided to increase the efficiency in the development of a software by verifying a non-functional element of the software in the development stage of the software. CONSTITUTION: A system comprising a hardware and a software is modeled through a hierarchical queuing Petri net(410), and the modeled hierarchical queuing Petri net is converted into a Markov chain(420). The converted Markov chain is converted into a Markov reward model by adopting a reward ratio(430), and the usability of the software is calculated based on the Markov reward model(440).
Abstract translation: 目的：提供用于验证软件和记录介质以执行验证软件的方法的方法，以通过在软件的开发阶段验证软件的非功能元件来提高软件开发的效率。 构成：通过分层排队Petri网（410）对包括硬件和软件的系统进行建模，并将建模的分级排队Petri网转换为马尔科夫链（420）。 通过采用奖励比率（430）将经转换的马尔可夫链转换为马尔可夫奖励模型，并根据马尔可夫奖励模型（440）计算软件的可用性。
-
公开(公告)号：KR101034607B1
公开(公告)日：2011-05-12
申请号：KR1020090016423
申请日：2009-02-26
Applicant: 성균관대학교산학협력단
Abstract: 소프트웨어 신뢰성 분석 방법 및 장치가 개시된다. 본 발명의 일 실시 예에 따르는 HQPN(계층형 큐잉 페트리 네트, Hierarchically Combined Queueing Petri Net) 형태의 제1 소프트웨어 모델을 이용하는 소프트웨어 신뢰성 분석 방법은, 상기 HQPN 형태의 제1 소프트웨어 모델을 MRM(마르코프 보상 모형, Markov Reward Model) 형태의 제2 소프트웨어 모델로 변환하는 단계 및 상기 제2 소프트웨어 모델을 이용하여 정량적 신뢰성을 추출하는 단계를 포함할 수 있다. 본 발명의 일 실시 예에 따르면, 소프트웨어의 설계 시점에 그 소프트웨어의 신뢰성을 정량적으로 측정할 수 있다.
소프트웨어 신뢰성, 마르코프 보상 모형, 마르코프 보상 모델, MRM, 마르코프 체인, MC, Markov, 고장간 평균 시간, 페트리 네트
-
-
-
-
-
-
-
Search Results
8
records
(took 0.022 seconds)
