Proceedings 1997 High-Assurance Engineering Workshop最新文献_第4页

Process measures for predicting software quality 用于预测软件质量的过程度量

Proceedings 1997 High-Assurance Engineering Workshop Pub Date : 1997-08-11 DOI: 10.1109/HASE.1997.648056

T. Khoshgoftaar, E. B. Allen, R. Halstead, G. P. Trio, Ronald M. Flass

{"title":"Process measures for predicting software quality","authors":"T. Khoshgoftaar, E. B. Allen, R. Halstead, G. P. Trio, Ronald M. Flass","doi":"10.1109/HASE.1997.648056","DOIUrl":"https://doi.org/10.1109/HASE.1997.648056","url":null,"abstract":"Software reliability is essential for tactical military systems, such as the Joint Surveillance Target Attack Radar System (JSTARS). It is an embedded, real-time military application, which performs real-time detection, location, classification and tracking of moving and fixed objects on the ground. A software quality model can make timely predictions of reliability indicators. These enable one to improve software development processes by targeting reliability improvement techniques more effectively and efficiently. This paper presents a case study of a large subsystem of JSTARS to improve integration and testing. The dependent variable of a logistic regression model was the class of a module: either fault-prone or not. Measures of the process history of each module were the independent variables. The case study supports our hypothesis that the likelihood of discovering additional faults during integration and testing can be usefully modeled as a function of the module history prior to integration. This history is readily available by combining data from the project's configuration management system and problem-reporting system.","PeriodicalId":319609,"journal":{"name":"Proceedings 1997 High-Assurance Engineering Workshop","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-08-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123068539","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}

引用次数: 32

High-coverage fault tolerance in real-time systems based on point-to-point communication 基于点对点通信的实时系统的高覆盖容错

Proceedings 1997 High-Assurance Engineering Workshop Pub Date : 1997-08-11 DOI: 10.1109/HASE.1997.648053

K. Kim, C. Subbaraman, E. Shokri

{"title":"High-coverage fault tolerance in real-time systems based on point-to-point communication","authors":"K. Kim, C. Subbaraman, E. Shokri","doi":"10.1109/HASE.1997.648053","DOIUrl":"https://doi.org/10.1109/HASE.1997.648053","url":null,"abstract":"The distributed recovery block (DRB) scheme is a widely applicable approach for realizing both hardware and software fault tolerance in real-time distributed and parallel computer systems. One of the most important extensions of the DRB scheme which has been outlined in recent years (but not developed fully) is the integration of the DRB scheme and a network surveillance (NS) scheme. We have developed an NS scheme that is effective in a variety of point-to-point networks, called the supervisor-based NS (SNS) scheme. In this paper, we present an integration of the DRB scheme with the SNS scheme, called the DRB/SNS scheme. This scheme is a significant improvement over the previous versions of the DRB scheme with respect to the fault coverage and recovery time bound achieved in those systems that are based on point-to-point networks. The execution support for the integrated scheme has been implemented as a part of the DREAM kernel prototype, a timeliness-guaranteed operating system kernel developed at the University of California, Irvine. The recovery time bound of the DRB/SNS scheme is analyzed on the basis of the prototype implementation.","PeriodicalId":319609,"journal":{"name":"Proceedings 1997 High-Assurance Engineering Workshop","volume":"197 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-08-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123340210","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

A graphical property specification language 一种图形化属性规范语言

Proceedings 1997 High-Assurance Engineering Workshop Pub Date : 1997-08-11 DOI: 10.1109/HASE.1997.648037

Insup Lee, O. Sokolsky

引用次数: 23

Framework of a software reliability engineering tool 软件可靠性工程工具的框架

Proceedings 1997 High-Assurance Engineering Workshop Pub Date : 1997-08-11 DOI: 10.1109/HASE.1997.648048

Sandeepan Sanyal, V. Shah, Samrat Bhattacharya

{"title":"Framework of a software reliability engineering tool","authors":"Sandeepan Sanyal, V. Shah, Samrat Bhattacharya","doi":"10.1109/HASE.1997.648048","DOIUrl":"https://doi.org/10.1109/HASE.1997.648048","url":null,"abstract":"The usage of commercial off-the-shelf (COTS) software modules in a large, complex software development project has well-known advantages (e.g. reduced development time and reduced cost). However, many such designs remain ill-understood in terms of end-to-end, overall reliability and assurance of the software system. Since the COTS components may not have been designed with assurance attributes in mind, a COTS module integrated system may fail to provide high end-to-end assurance. In applications that require timing, reliability and security guarantees, the usage of COTS software components can therefore mandate an analysis of the assurance attributes. The users of such systems may desire to predict the effect of the occurrence of an event on the reliability of other events in the system, and in general carry out an end-to-end analysis of the software system assurance. In this paper, we evaluate the causality, reliability and the overall performance aspects of large-scale software using a reverse engineering approach. The proposed code analysis approach can evaluate whether the COTS software meets the user-specified individual/group reliability constraints or not. In the case of reliability violation, our proposed approach can identify the modules of the software that may require re-design. The underlying idea is to merge event probabilities, event dependencies and fault propagation to calculate the occurrence probabilities of every event in the system.","PeriodicalId":319609,"journal":{"name":"Proceedings 1997 High-Assurance Engineering Workshop","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-08-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125793304","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}

引用次数: 16