2019 6th International Conference on Dependable Systems and Their Applications (DSA)最新文献

Research on Software Quality Evaluation Method Based on Process Evaluation and Test Results 基于过程评价和测试结果的软件质量评价方法研究

2019 6th International Conference on Dependable Systems and Their Applications (DSA) Pub Date : 2020-01-01 DOI: 10.1109/DSA.2019.00077

Wenhong Liu, Jun Yang, Yakui Song, Xiao Yu, Shuang Zhao

引用次数: 2

An Overview of Recent Progress of Lane Detection for Autonomous Driving 自动驾驶车道检测研究进展综述

2019 6th International Conference on Dependable Systems and Their Applications (DSA) Pub Date : 2020-01-01 DOI: 10.1109/DSA.2019.00052

Nandan Bangalore Chetan, Jiayuan Gong, Haiying Zhou, Dong Bi, Jianping Lan, Leipeng Qie

{"title":"An Overview of Recent Progress of Lane Detection for Autonomous Driving","authors":"Nandan Bangalore Chetan, Jiayuan Gong, Haiying Zhou, Dong Bi, Jianping Lan, Leipeng Qie","doi":"10.1109/DSA.2019.00052","DOIUrl":"https://doi.org/10.1109/DSA.2019.00052","url":null,"abstract":"Technology breakthroughs and novel ideas proposed by esteemed authors on lane detection systems are summarized in this paper to facilitate autonomous vehicle researchers to understand the concept briefly. The importance of autonomous driving, especially the Advanced driver assistance system (ADAS) and future scope of research are discussed. A high amount of sophistication and accuracy is expected from lane detection systems to prevent road accidents and achieve high automation. A single sensor, algorithm or methodology cannot meet the real-world urban lane expectations due to highly random traffic properties and road constraints. Hence, multiple perception sensors must be integrated at the sensor level, along with the system and algorithm level integration is required to design robust lane detection systems. A generalized lane detection procedure is also discussed for an overview of the detection process. Widely used sensor modalities, their characteristics and applications in ADAS are discussed in detail. A brief introduction to performance evaluation tools is addressed.","PeriodicalId":342719,"journal":{"name":"2019 6th International Conference on Dependable Systems and Their Applications (DSA)","volume":"112 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124773746","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}

引用次数: 9

A Logic Pattern of Agents with Emotional Attitudes 具有情绪态度的行为人的逻辑模式

2019 6th International Conference on Dependable Systems and Their Applications (DSA) Pub Date : 2020-01-01 DOI: 10.1109/DSA.2019.00046

Chen Liu, Zhiyi Zhang, Yongming Yao, Yonghua Xu

{"title":"A Logic Pattern of Agents with Emotional Attitudes","authors":"Chen Liu, Zhiyi Zhang, Yongming Yao, Yonghua Xu","doi":"10.1109/DSA.2019.00046","DOIUrl":"https://doi.org/10.1109/DSA.2019.00046","url":null,"abstract":"Good emotional attitudes would give a positive effect on engineers during software testing. But research about emotional attitude in software fields and computer science seems rarely referred because of the hard explanation in formal way. Some research in Psychology about Emotional Attitudes has indicated its importance in different fields of different subjects. However, this factor seems not that famous because of the difficulty in formalization. In fact, some mathematicians and economists have studied the formalization about emotional attitudes in pure mathematical way, like the RDEU theory. And in the thinking method about Affective Computing also has offered some ideas about emotional application in Computer Science. Both of them are highly applied in game theory and their thinking method mentioned in game theory would offer a good blueprint for the study of emotional attitudes of employees and employers in software testing. Though this article based on the theory above, different like the mathematical way, it offers a pure logic pattern with analysis mechanism the problem of agents emotional attitudes, and offers a logical way to show that the emotional attitude is quite a crucial factor, which would affect the original result. Besides, a pure logic system would applied in computer science easily than its mathematical formation. Starting from the logic pattern, the emotional attitude of engineers would affect the quality of testing results. Therefore, the mechanism in this article may offer a research direction of emotional management in software testing.","PeriodicalId":342719,"journal":{"name":"2019 6th International Conference on Dependable Systems and Their Applications (DSA)","volume":"418 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122793244","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

Design of a Novel Self-Recoverable SRAM Cell Protected Against Soft Errors 一种防止软错误的新型自恢复SRAM单元设计

2019 6th International Conference on Dependable Systems and Their Applications (DSA) Pub Date : 2020-01-01 DOI: 10.1109/DSA.2019.00083

Aibin Yan, Jun Zhou, Yuanjie Hu, Yan Chen, Zhen Wu, Tianming Ni

引用次数: 0

Mathematical Model Analysis of Network Traffic Data Detection Under the Background of Big Data 大数据背景下网络流量数据检测的数学模型分析

2019 6th International Conference on Dependable Systems and Their Applications (DSA) Pub Date : 2020-01-01 DOI: 10.1109/DSA.2019.00027

Gui-hua Li, Yun-xu Tong

引用次数: 0

Interpolation-Based Multi-core Bounded Model Checking of HSTM Designs 基于插值的HSTM设计多核有界模型检验

2019 6th International Conference on Dependable Systems and Their Applications (DSA) Pub Date : 2020-01-01 DOI: 10.1109/DSA.2019.00013

Kun Liu, Xiaozhen Zhang, W. Kong, Gang Hou, Masahiko Watanabe, Akira Fukuda

{"title":"Interpolation-Based Multi-core Bounded Model Checking of HSTM Designs","authors":"Kun Liu, Xiaozhen Zhang, W. Kong, Gang Hou, Masahiko Watanabe, Akira Fukuda","doi":"10.1109/DSA.2019.00013","DOIUrl":"https://doi.org/10.1109/DSA.2019.00013","url":null,"abstract":"Bounded model checking, an effective way to reduce the state space, plays a significant role in verifying the reliability of a system. By combining bounded model checking and interpolation sequence, the verification of the properties out of some certain boundary can be completed. However, the introduction of interpolation-sequence increases the complexity of the model encoding and then affects the overall performance of a model checker. In order to alleviate the problem, we propose interpolation-based multi-core bounded model checking technology. Decomposing large problems into small ones, multicore parallel solutions can effectively shorten the elapsed time of problem processing. According to the conditional predicates, the paths in the model are divided into path clusters, and the interpolation sequence is used to determine if there is no counterexample path in each path cluster. Based on the nature of fixpoint in the path cluster, we propose a path cluster pruning algorithm in order to reduce the scale of the state space to be searched, which contributes to improving the efficiency. In this paper, we also present two optimization methods: incremental encoding and verification hypothesis. We have implemented the algorithms in the verification of the Hierarchical State Transition Matrix (HSTM) model design, and the experimental results have shown that our method have significantly increase the credibility of the verification results.","PeriodicalId":342719,"journal":{"name":"2019 6th International Conference on Dependable Systems and Their Applications (DSA)","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131835331","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

Research on Partition Management of General Resources in Internet of Things Based on Statistical Method 基于统计方法的物联网通用资源分区管理研究

2019 6th International Conference on Dependable Systems and Their Applications (DSA) Pub Date : 2020-01-01 DOI: 10.1109/DSA.2019.00033

Wenhua Jiang, Zhisheng Sun

引用次数: 1

Based on Collaborative Filtering Personalized Recommendation for Online Learning 基于协同过滤的在线学习个性化推荐

2019 6th International Conference on Dependable Systems and Their Applications (DSA) Pub Date : 2020-01-01 DOI: 10.1109/DSA.2019.00094

Yiwei Qian, Ying Li, Yongbin Wang, Tao Hu

引用次数: 1

Research on the Safety Prediction Method of Long Jump in Big Data 大数据下跳远安全预测方法研究

2019 6th International Conference on Dependable Systems and Their Applications (DSA) Pub Date : 2020-01-01 DOI: 10.1109/DSA.2019.00035

H. Zhang, Jian-dong Ji

引用次数: 0

Study on Electricity Market Price Forecasting with Large-Scale wind Power Based on LSTM 基于LSTM的大型风电市场电价预测研究

2019 6th International Conference on Dependable Systems and Their Applications (DSA) Pub Date : 2020-01-01 DOI: 10.1109/DSA.2019.00045

Sangli Liu, Liang Zhang, B. Zou

引用次数: 3