Wenhong Liu, Jun Yang, Yakui Song, Xiao Yu, Shuang Zhao
This paper presents a software quality assessment method based on process evaluation and test results. This method provides a comprehensive analysis of the quality review problems in the software development process and the problems in the software testing process, and provides support for quickly judging the quality of the software.
{"title":"Research on Software Quality Evaluation Method Based on Process Evaluation and Test Results","authors":"Wenhong Liu, Jun Yang, Yakui Song, Xiao Yu, Shuang Zhao","doi":"10.1109/DSA.2019.00077","DOIUrl":"https://doi.org/10.1109/DSA.2019.00077","url":null,"abstract":"This paper presents a software quality assessment method based on process evaluation and test results. This method provides a comprehensive analysis of the quality review problems in the software development process and the problems in the software testing process, and provides support for quickly judging the quality of the software.","PeriodicalId":342719,"journal":{"name":"2019 6th International Conference on Dependable Systems and Their Applications (DSA)","volume":"76 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":"124771528","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}
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.
{"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}
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.
{"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}
Aibin Yan, Jun Zhou, Yuanjie Hu, Yan Chen, Zhen Wu, Tianming Ni
In this paper, a novel self-recoverable SRAM cell, namely SRS14T cell, is proposed in 22nm CMOS technology. Since the cell has a special feedback mechanism among its internal nodes and has more access transistors, the cell provides the following advantages: (1) It can self-recover from single node upsets (SNUs) and partial double-node upsets (DNUs); (2) it can reduce access time and power consumption. Simulation results validate the robustness of the proposed SRS14T cell. Moreover, compared with the state-of-the-art hardened SRAM cells, the proposed SRS14T cell can reduce read access time, write access time and power dissipation by 56.64%, 21.03% and 19.26% on average, respectively, at the cost of moderate silicon area.
{"title":"Design of a Novel Self-Recoverable SRAM Cell Protected Against Soft Errors","authors":"Aibin Yan, Jun Zhou, Yuanjie Hu, Yan Chen, Zhen Wu, Tianming Ni","doi":"10.1109/DSA.2019.00083","DOIUrl":"https://doi.org/10.1109/DSA.2019.00083","url":null,"abstract":"In this paper, a novel self-recoverable SRAM cell, namely SRS14T cell, is proposed in 22nm CMOS technology. Since the cell has a special feedback mechanism among its internal nodes and has more access transistors, the cell provides the following advantages: (1) It can self-recover from single node upsets (SNUs) and partial double-node upsets (DNUs); (2) it can reduce access time and power consumption. Simulation results validate the robustness of the proposed SRS14T cell. Moreover, compared with the state-of-the-art hardened SRAM cells, the proposed SRS14T cell can reduce read access time, write access time and power dissipation by 56.64%, 21.03% and 19.26% on average, respectively, at the cost of moderate silicon area.","PeriodicalId":342719,"journal":{"name":"2019 6th International Conference on Dependable Systems and Their Applications (DSA)","volume":"1 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":"129571961","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}
The traditional network traffic data detection had the problems of low work efficiency and small detection range. To this end, the mathematical model of network traffic data detection under the background of big data was designed. The principle of network traffic data detection is determined, multi-scale features of network traffic data are extracted, and a network traffic data monitoring structure based on theory is established. The network data input and output nodes were calculated in the structure to realize the construction of the mathematical model of network traffic data detection. The experimental results showed that compared with the traditional method, the mathematical model of network traffic data detection had an improvement of 8% and a detection range of 2 times, and the detection accuracy is high, has the practicality(L4bstract).
{"title":"Mathematical Model Analysis of Network Traffic Data Detection Under the Background of Big Data","authors":"Gui-hua Li, Yun-xu Tong","doi":"10.1109/DSA.2019.00027","DOIUrl":"https://doi.org/10.1109/DSA.2019.00027","url":null,"abstract":"The traditional network traffic data detection had the problems of low work efficiency and small detection range. To this end, the mathematical model of network traffic data detection under the background of big data was designed. The principle of network traffic data detection is determined, multi-scale features of network traffic data are extracted, and a network traffic data monitoring structure based on theory is established. The network data input and output nodes were calculated in the structure to realize the construction of the mathematical model of network traffic data detection. The experimental results showed that compared with the traditional method, the mathematical model of network traffic data detection had an improvement of 8% and a detection range of 2 times, and the detection accuracy is high, has the practicality(L4bstract).","PeriodicalId":342719,"journal":{"name":"2019 6th International Conference on Dependable Systems and Their Applications (DSA)","volume":"48 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":"121429051","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}
Kun Liu, Xiaozhen Zhang, W. Kong, Gang Hou, Masahiko Watanabe, Akira Fukuda
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.
{"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}
To solve the problem that the traditional Internet of things resource management method is not effective, a general resource partition management method based on statistical method is proposed. After the classification of Internet of things resources, the isomerized common resources are virtualized, and the cornmon resources of the Internet of things are partitioned by using the fuzzy algorithm, and the cornmon resources mapping is established to realize the common resources partition management of the Internet of things. The comparison experiment between the design and the traditional management method proves that the proposed resource partition management method based on the statistical method can reduce the packet loss rate in the management process, improve the management efficiency and management effect, and has a better application prospect(Abstract).
{"title":"Research on Partition Management of General Resources in Internet of Things Based on Statistical Method","authors":"Wenhua Jiang, Zhisheng Sun","doi":"10.1109/DSA.2019.00033","DOIUrl":"https://doi.org/10.1109/DSA.2019.00033","url":null,"abstract":"To solve the problem that the traditional Internet of things resource management method is not effective, a general resource partition management method based on statistical method is proposed. After the classification of Internet of things resources, the isomerized common resources are virtualized, and the cornmon resources of the Internet of things are partitioned by using the fuzzy algorithm, and the cornmon resources mapping is established to realize the common resources partition management of the Internet of things. The comparison experiment between the design and the traditional management method proves that the proposed resource partition management method based on the statistical method can reduce the packet loss rate in the management process, improve the management efficiency and management effect, and has a better application prospect(Abstract).","PeriodicalId":342719,"journal":{"name":"2019 6th International Conference on Dependable Systems and Their Applications (DSA)","volume":"18 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":"117286948","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}
Nowadays, Internet technology has flourished and become a hot, infiltrating into all aspects of our lives. The education industry has also progressed with the innovation of technology, and online learning has emerged. Developers of online learning always put their own learning resources on the platform for the students to use. Students can learn by searching for content that they are interested in. But looking up in massive content may waste too much time. Therefore, the system can recommend different learning resources for different students or not through some historical browsing and the learning behavior or other contents becomes a important problem to be solved. This paper is aimed at this issue mainly to study the personalized recommendation of learning platform based on the students' learning behaviors.
{"title":"Based on Collaborative Filtering Personalized Recommendation for Online Learning","authors":"Yiwei Qian, Ying Li, Yongbin Wang, Tao Hu","doi":"10.1109/DSA.2019.00094","DOIUrl":"https://doi.org/10.1109/DSA.2019.00094","url":null,"abstract":"Nowadays, Internet technology has flourished and become a hot, infiltrating into all aspects of our lives. The education industry has also progressed with the innovation of technology, and online learning has emerged. Developers of online learning always put their own learning resources on the platform for the students to use. Students can learn by searching for content that they are interested in. But looking up in massive content may waste too much time. Therefore, the system can recommend different learning resources for different students or not through some historical browsing and the learning behavior or other contents becomes a important problem to be solved. This paper is aimed at this issue mainly to study the personalized recommendation of learning platform based on the students' learning behaviors.","PeriodicalId":342719,"journal":{"name":"2019 6th International Conference on Dependable Systems and Their Applications (DSA)","volume":"135 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":"123622231","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}
The long jump has a great influence on sports events, but the long jump athletes are vulnerable in training and their safety cannot be guaranteed. Therefore, this paper puts forward the research on the safety prediction method of long jump movement under big data. Through the research on the sport form characteristics of long jump athletes, this paper analyzes the athletes' physical quality and training mode, so as to develop the method to guarantee the safety prediction of long jump athletes. This paper makes a comparative analysis on the safety prediction methods of big data long jumpers. The experimental data shows that the safety prediction methods of big data long jumpers are 16.8% higher than the traditional methods. The prediction accuracy is better, the prediction time is shortened, and the safety of athletes can be better guaranteed(Abstract).
{"title":"Research on the Safety Prediction Method of Long Jump in Big Data","authors":"H. Zhang, Jian-dong Ji","doi":"10.1109/DSA.2019.00035","DOIUrl":"https://doi.org/10.1109/DSA.2019.00035","url":null,"abstract":"The long jump has a great influence on sports events, but the long jump athletes are vulnerable in training and their safety cannot be guaranteed. Therefore, this paper puts forward the research on the safety prediction method of long jump movement under big data. Through the research on the sport form characteristics of long jump athletes, this paper analyzes the athletes' physical quality and training mode, so as to develop the method to guarantee the safety prediction of long jump athletes. This paper makes a comparative analysis on the safety prediction methods of big data long jumpers. The experimental data shows that the safety prediction methods of big data long jumpers are 16.8% higher than the traditional methods. The prediction accuracy is better, the prediction time is shortened, and the safety of athletes can be better guaranteed(Abstract).","PeriodicalId":342719,"journal":{"name":"2019 6th International Conference on Dependable Systems and Their Applications (DSA)","volume":"56 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":"129103196","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}
In the deregulated electricity market, accurate knowledge of electricity price trend helps maximize the profit of participants in the electricity market. But with the increasing proportion of clean energy, it brings new challenges to price forecast. This paper mainly studies how to forecast the electricity price more accurately in the power market which has large proportion of wind power. A new feature called wind load ratio is introduced, which is not only used as a candidate input of the predicted model, but also an important indicator to distinguish day and night. The electricity price model is established according to the selected characteristics, and the actual data of the Danish electricity market are used for simulation. The results show that the time series LSTM electricity price model with wind load ratio has the highest accuracy, which proves the feasibility of the proposed model.
{"title":"Study on Electricity Market Price Forecasting with Large-Scale wind Power Based on LSTM","authors":"Sangli Liu, Liang Zhang, B. Zou","doi":"10.1109/DSA.2019.00045","DOIUrl":"https://doi.org/10.1109/DSA.2019.00045","url":null,"abstract":"In the deregulated electricity market, accurate knowledge of electricity price trend helps maximize the profit of participants in the electricity market. But with the increasing proportion of clean energy, it brings new challenges to price forecast. This paper mainly studies how to forecast the electricity price more accurately in the power market which has large proportion of wind power. A new feature called wind load ratio is introduced, which is not only used as a candidate input of the predicted model, but also an important indicator to distinguish day and night. The electricity price model is established according to the selected characteristics, and the actual data of the Danish electricity market are used for simulation. The results show that the time series LSTM electricity price model with wind load ratio has the highest accuracy, which proves the feasibility of the proposed model.","PeriodicalId":342719,"journal":{"name":"2019 6th International Conference on Dependable Systems and Their Applications (DSA)","volume":" 5","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132094227","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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：