International Conferences on Dependable Systems and Their Applications最新文献

Software Defect Classification Approach Based on the Modified Latent Dirichlet Allocation Topic Model Considering the Domain Characters 基于考虑领域特征的改进潜狄利克雷分配主题模型的软件缺陷分类方法

International Conferences on Dependable Systems and Their Applications Pub Date : 1900-01-01 DOI: 10.1109/DSA51864.2020.00081

Junruo Sun, Huancheng Su, Haifeng Li, Chang Liu, Jiabin Chen, Xi Liu

{"title":"Software Defect Classification Approach Based on the Modified Latent Dirichlet Allocation Topic Model Considering the Domain Characters","authors":"Junruo Sun, Huancheng Su, Haifeng Li, Chang Liu, Jiabin Chen, Xi Liu","doi":"10.1109/DSA51864.2020.00081","DOIUrl":"https://doi.org/10.1109/DSA51864.2020.00081","url":null,"abstract":"The existing defect classification approaches do not consider the domain characters of software defects, such as aeronautics domain, astronautics domain and so on. Therefore, the precision rate and the recall rate of these defect classification approaches are not very accurate in many conditions. To resolve this problem4 we present a new defect classification approach based on the modified Latent Dirichlet Allocation (LDA for short) topic model combining with domain characters to improve the performance of the defect classification. First, we propose the defect segmentation approach based on the special domain characters. Then, we propose a modified LDA topic model combining with software requirements. Based on the proposed modified LDA model, we obtain a new defect classification approach. Finally, the experiment result shows that the precision rate and the recall rate of the defect classification are au improved up to 15%~20% compared with the existing classification models. Thus, we consider that this new classification approach is very suitable for classifying the defects with obvious domain characters.","PeriodicalId":436097,"journal":{"name":"International Conferences on Dependable Systems and Their Applications","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116680784","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 2

Embedded Virtualization Computing Platform Security Architecture Based on Trusted Computing 基于可信计算的嵌入式虚拟化计算平台安全体系结构

International Conferences on Dependable Systems and Their Applications Pub Date : 1900-01-01 DOI: 10.1109/DSA51864.2020.00043

Shuang Zhang, Xinyu Wan, Deqi Kong, Yangming Guo

引用次数: 1

A Software Reliability Test Suite Generating Approach Based on Hybrid Model for Complex Equipment System 基于混合模型的复杂装备系统软件可靠性测试套件生成方法

International Conferences on Dependable Systems and Their Applications Pub Date : 1900-01-01 DOI: 10.1109/DSA.2017.32

Yin Li, Zhi-an Sun, Ting-Ting Jiang

{"title":"A Software Reliability Test Suite Generating Approach Based on Hybrid Model for Complex Equipment System","authors":"Yin Li, Zhi-an Sun, Ting-Ting Jiang","doi":"10.1109/DSA.2017.32","DOIUrl":"https://doi.org/10.1109/DSA.2017.32","url":null,"abstract":"As a large software-intensive system, the reliability of complex equipment system has a significant impact on the weapon equipment operational effectiveness and the battle field survival rate. Software testing profile is the difficult point in the software reliability testing. The existing theory of software reliability test profile can not respond to the needs of reliability test for complicated complex equipment system. In addition, it's lack of effective methods for generating test data. Hence, founded on the analysis of the software task features for complex equipment, we divide the task profile by combining Musa profile and Markov chain model based on hybrid model. Then we can get reliability test cases by combining the use cases defined by operational profile model and the Markov state transition model. As a result, the problems of huge task decomposition and multiple interactions incentive profile division for complicated complex equipment system are solved. Cases show that the generating test case framework has a good stability and there is no repeated phenomenon. What's more, this method combines the advantages of operational profile model and the Markov model. And it can be used to generate software reliability test.","PeriodicalId":436097,"journal":{"name":"International Conferences on Dependable Systems and Their Applications","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129721039","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 3

Design of a Center of Gravity Control Law with Unbalanced Fuel in Aircraft Wing Tanks 飞机机翼油箱燃油不平衡时重心控制律的设计

International Conferences on Dependable Systems and Their Applications Pub Date : 1900-01-01 DOI: 10.1109/DSA51864.2020.00036

Ying Zhao, Zhongwei Wang, Zhenghong Li, R. Xu, E. Ding

引用次数: 1

Multi-Agent Trust Evaluation Model based on Reinforcement Learning 基于强化学习的多智能体信任评估模型

International Conferences on Dependable Systems and Their Applications Pub Date : 1900-01-01 DOI: 10.1109/DSA52907.2021.00088

Haoran Jia, Yuyu Yuan, Q. Han, Pengqian Zhao, Ting Guo

{"title":"Multi-Agent Trust Evaluation Model based on Reinforcement Learning","authors":"Haoran Jia, Yuyu Yuan, Q. Han, Pengqian Zhao, Ting Guo","doi":"10.1109/DSA52907.2021.00088","DOIUrl":"https://doi.org/10.1109/DSA52907.2021.00088","url":null,"abstract":"The establishment of trust between agents is an important part of Multi-agent Reinforcement Learning (MARL). Recent studies on multi-agents have paid more attention to the game relationship between agents, ignoring trust is the basis of cooperation among agents. In this article, we propose a trust evaluation model in MARL to evaluate the trustworthiness of the target agent. The trust evaluation of the target agent is composed of direct trust and reputation. Direct trust is obtained from the historical interaction of agents. Reputation is to evaluate the impact of an agent's behavior by counterfactual action of a high-ranking agent. In addition, this paper also proposes a trust-based reward mechanism in MARL, which divides agent rewards into environmental rewards and trust rewards. Trust rewards are obtained through trust evaluation values, which drive the agents to reach a cooperative state and obtain higher long-term rewards. In this paper, we set up experiments in harvest game to verify that the trust evaluation model can effectively promote the cooperation of agents and avoid the problem of agents facing social dilemmas.","PeriodicalId":436097,"journal":{"name":"International Conferences on Dependable Systems and Their Applications","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124683952","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

FPGA Physical Automation Verification Technology Based on VCD Waveform 基于VCD波形的FPGA物理自动化验证技术

International Conferences on Dependable Systems and Their Applications Pub Date : 1900-01-01 DOI: 10.1109/DSA51864.2020.00050

Shou-quan Xu

引用次数: 0

Keynote Speech I The Push to Product - Strategies for Taking Your Research Into Practice 主题演讲:推动产品——将你的研究付诸实践的策略

International Conferences on Dependable Systems and Their Applications Pub Date : 1900-01-01 DOI: 10.1109/DSA51864.2020.00008

D. Shepherd

引用次数: 0

Multimodal Feature Fusion Recognition of Modulated Signals Based on Image and Waveform Domain 基于图像和波形域的调制信号多模态特征融合识别

International Conferences on Dependable Systems and Their Applications Pub Date : 1900-01-01 DOI: 10.1109/DSA51864.2020.00061

Changbo Hou, Guowei Liu, Lijie Hua, Yun Lin

引用次数: 0

Architecture of Security Protection technology for Aviation Cyberspace 航空网络空间安全防护技术体系结构

International Conferences on Dependable Systems and Their Applications Pub Date : 1900-01-01 DOI: 10.1109/DSA51864.2020.00009

Zhong-Hua Wang, Jian-Feng Ma, W. Niu, Hui-Ya Li

引用次数: 0

Video Subtitle Location and Recognition Based on Edge Features 基于边缘特征的视频字幕定位与识别

International Conferences on Dependable Systems and Their Applications Pub Date : 1900-01-01 DOI: 10.1109/DSA.2019.00072

Yongjiu Liu, Chunfang Li, Changxiang Shen, Minyong Shi

引用次数: 2