-
-
公开(公告)号：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, 고장간 평균 시간, 페트리 네트-
公开(公告)号：KR1020110112933A
公开(公告)日：2011-10-14
申请号：KR1020100032166
申请日：2010-04-08
Applicant: 삼성전자주식회사 , 성균관대학교산학협력단
CPC classification number: G08G1/0104 , G08G1/012 , H04L12/28
Abstract: 이동통신 단말기를 이용한 교통 정보 서비스 제공 방법 및 장치에 관한 것으로서, 교통 정보 서비스를 위한 이동통신 단말기의 방법은, 적어도 하나의 주변 단말과 클러스터를 구성하는 과정과, 클러스터에 포함된 적어도 하나의 주변 단말로부터 교통 정보를 수신하는 과정과, 상기 단말의 위치 정보를 이용하여 교통 정보를 측정하는 과정과, 수집된 교통 정보들을 포함하는 교통 정보 메시지를 교통 정보 제공 서버로 전송하는 과정을 포함하여, 교통 정보를 수집하는 별도의 장비로 인한 비용을 절감할 수 있으며, 각 도로에 산재된 이동통신 단말기들로부터 교통 정보를 수집하므로 범용적인 교통 정보 서비스를 제공할 수 있다.
-
公开(公告)号：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）输出由可靠性提取单元提取的可靠性。
-
Patent Agency Ranking6.发明公开분산 컴포넌트 시스템의 생존성 검증 방법 및 분산 컴포넌트 시스템의 생존성 검증 방법을 실행하기 위한 프로그램이 기록된 기록 매체 无效用于验证分布式组件系统的可用性和记录介质的方法，用于执行分布式组件系统的可行性验证方法
公开(公告)号：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）。
-
公开(公告)号：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转换器。
-
公开(公告)号：KR1020170054368A
公开(公告)日：2017-05-17
申请号：KR1020170057489
申请日：2017-05-08
Applicant: 삼성전자주식회사 , 성균관대학교산학협력단
Abstract: 이동통신단말기를이용한교통정보서비스제공방법및 장치에관한것으로서, 교통정보서비스를위한이동통신단말기의방법은, 적어도하나의주변단말과클러스터를구성하는과정과, 클러스터에포함된적어도하나의주변단말로부터교통정보를수신하는과정과, 상기단말의위치정보를이용하여교통정보를측정하는과정과, 수집된교통정보들을포함하는교통정보메시지를교통정보제공서버로전송하는과정을포함하여, 교통정보를수집하는별도의장비로인한비용을절감할수 있으며, 각도로에산재된이동통신단말기들로부터교통정보를수집하므로범용적인교통정보서비스를제공할수 있다.
Abstract translation: 交通信息服务提供方法和涉及一种装置，用于交通信息服务，被包括在该过程中相邻端子中的至少一个移动终端的方法中，构成使用移动通信终端的所述至少一个外围终端和所述簇的簇 从使用该方法和该终端的用于接收交通信息的位置信息，包括：发送交通信息消息包括所述过程和的步骤中，将收集到的交通信息来测量交通信息提供服务器的交通信息，交通信息 可以减少由于额外的设备，用于收集的费用，并且收集从所述移动通信终端的交通信息可以被分散在它提供了一个通用的交通信息服务的角度。
-
-
-
-
-
-
-
-
-
Search Results
11
records
(took 0.023 seconds)
