Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95最新文献_第5页

Systems specification, analysis, and validation by means of timed predicate/transition nets and logic programming 通过定时谓词/转换网络和逻辑编程进行系统规范、分析和验证

Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95 Pub Date : 1995-10-24 DOI: 10.1109/ISSRE.1995.497645

F. Belli, Javier Dreyer

{"title":"Systems specification, analysis, and validation by means of timed predicate/transition nets and logic programming","authors":"F. Belli, Javier Dreyer","doi":"10.1109/ISSRE.1995.497645","DOIUrl":"https://doi.org/10.1109/ISSRE.1995.497645","url":null,"abstract":"A method is presented for systems design, specification and analysis based on predicate/transition nets (PrT nets) and logic programming. In order to evaluate and optimize the behavior of systems, the PrT net models are extended with quantitative time. The firing times are assigned to transitions and are given by arithmetic expressions which might contain variables An approach to transforming requirements driven PrT net models into logic programs is given. The generated logic programs contain the static structure and the dynamic behavior of the PrT net models and can be used for simulation and analysis purposes. Moreover they can be viewed as a precise and lucid specification of the programs to be implemented. Three examples are given which illustrate how Prolog goals can be used to validate system model properties. Example 1 describes the transformation steps for simple PrT net models. In Example 2 the generated Prolog program corresponding to a PrT net model containing formulae inside the transitions is described. Example 3 illustrates how time constraints of PrT net models with variable time can be validated.","PeriodicalId":408394,"journal":{"name":"Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130794951","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}

引用次数: 6

Parameter estimation of hyper-geometric distribution software reliability growth model by genetic algorithms 基于遗传算法的超几何分布软件可靠性增长模型参数估计

Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95 Pub Date : 1995-10-24 DOI: 10.1109/ISSRE.1995.497673

T. Minohara, Y. Tohma

引用次数: 57

Analysis of failures in the Tandem NonStop-UX Operating System 串联不停机ux操作系统故障分析

Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95 Pub Date : 1995-10-24 DOI: 10.1109/ISSRE.1995.497642

Anshuman Thakur, R. Iyer, L. Young, Inhwan Lee

{"title":"Analysis of failures in the Tandem NonStop-UX Operating System","authors":"Anshuman Thakur, R. Iyer, L. Young, Inhwan Lee","doi":"10.1109/ISSRE.1995.497642","DOIUrl":"https://doi.org/10.1109/ISSRE.1995.497642","url":null,"abstract":"The paper presents results from an investigation of failures in several releases of Tandem's NonStop-UX Operating System, which is based on Unix System V. The analysis covers software failures from the field and failures reported by Tandem's test center. Fault classification is based on the status of the reported failures, the detection point of the errors in the operating system code, the panic message generated by the systems, the module that was found to be faulty, and the type of programming mistake. This classification reveals which modules in the operating system generate the most faults and the modules in which most errors are detected. We also present distributions of the failure and repair times including inter arrival time of unique failures and time between duplicate failures. These distributions, unlike generic time distributions, such as time between failures, help characterize the software quality. Distribution of the repair times emphasizes the repair process and the factors influencing repair. Distribution of up time of the systems before the panic reveals the factors triggering the panic.","PeriodicalId":408394,"journal":{"name":"Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121558089","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}

引用次数: 26

Dependability of computer systems: concepts, limits, improvements 计算机系统的可靠性:概念、限制、改进

Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95 Pub Date : 1995-10-24 DOI: 10.1109/ISSRE.1995.497638

J. Laprie

引用次数: 53

MICOM IV&V planning approach and experience involving software reliability 涉及软件可靠性的MICOM IV&V规划方法和经验

Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95 Pub Date : 1900-01-01 DOI: 10.1109/ISSRE.1995.497674

R. Loesh, A. B. Gosnell, J. D. Johannes, R. M. Wyskida, S. Zutaut

引用次数: 0