Proceedings. IEEE High-Assurance Systems Engineering Workshop (Cat. No.96TB100076)最新文献_第3页

Impact of program transformation on software reliability assessment 程序转换对软件可靠性评估的影响

Proceedings. IEEE High-Assurance Systems Engineering Workshop (Cat. No.96TB100076) Pub Date : 1996-10-22 DOI: 10.1109/HASE.1996.618599

F. Bastani, B. Cukic

{"title":"Impact of program transformation on software reliability assessment","authors":"F. Bastani, B. Cukic","doi":"10.1109/HASE.1996.618599","DOIUrl":"https://doi.org/10.1109/HASE.1996.618599","url":null,"abstract":"The statistical sampling method is a theoretically sound approach for measuring the reliability of safety critical software, such as control systems for nuclear power plants, aircrafts, space vehicles, etc. It has, however some practical drawbacks, two of which are the large number of test cases needed to attain a reasonable confidence in the reliability estimate and the sensitivity of the reliability estimate to variations in the operational profile. One way of dealing with both of these issues is to combine statistical sampling with formal methods and attempt to verify complete program paths. This combination becomes especially effective if high usage paths are verified. However the verification of complete paths is difficult to perform in practice and viable only when there is a high confidence in the correctness of the specification. We identify program transformations and partial proofs which have a measurable impact on the reliability assessment procedure. These methods reduce the effective size of the input space which can facilitate sampling without replacement, thereby increasing the confidence in the reliability estimate. Furthermore, these techniques increase the probability that the program under test is free of errors if testing reveals no failures.","PeriodicalId":129829,"journal":{"name":"Proceedings. IEEE High-Assurance Systems Engineering Workshop (Cat. No.96TB100076)","volume":"62 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-10-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133020642","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}

引用次数: 5

A multiversion transaction scheduler for centralized multilevel secure database systems 用于集中式多级安全数据库系统的多版本事务调度器

Proceedings. IEEE High-Assurance Systems Engineering Workshop (Cat. No.96TB100076) Pub Date : 1996-10-22 DOI: 10.1109/HASE.1996.618597

T. Keefe, W. Tsai

引用次数: 6

Real-time multicast connection establishment over ATM networks 在ATM网络上建立实时组播连接

Proceedings. IEEE High-Assurance Systems Engineering Workshop (Cat. No.96TB100076) Pub Date : 1996-10-22 DOI: 10.1109/HASE.1996.618592

Sanghyun Ahn

引用次数: 0

A hybrid parallel evaluation model for logic-based intelligent systems 基于逻辑的智能系统混合并行评估模型

Proceedings. IEEE High-Assurance Systems Engineering Workshop (Cat. No.96TB100076) Pub Date : 1996-10-22 DOI: 10.1109/HASE.1996.618582

J.P. Tsai, Bing Li, Eric Y. T. Juan

引用次数: 0

Adaptive recovery for mobile environments 移动环境的自适应恢复

Proceedings. IEEE High-Assurance Systems Engineering Workshop (Cat. No.96TB100076) Pub Date : 1996-10-22 DOI: 10.1109/HASE.1996.618575

N. Neves, W. Fuchs

引用次数: 138

Top-down development of real-time software specification 自顶向下的实时软件规范开发

Proceedings. IEEE High-Assurance Systems Engineering Workshop (Cat. No.96TB100076) Pub Date : 1996-10-22 DOI: 10.1109/HASE.1996.618608

Jyhjong Lin, D. Kung, P. Hsia

引用次数: 1

Transaction integration for reusable hard real-time components 可重用的硬实时组件的事务集成

Proceedings. IEEE High-Assurance Systems Engineering Workshop (Cat. No.96TB100076) Pub Date : 1996-10-22 DOI: 10.1109/HASE.1996.618583

P. Cornwell, A. Wellings

引用次数: 4

Specifying fault tolerance in mission critical systems 指定关键任务系统的容错能力

Proceedings. IEEE High-Assurance Systems Engineering Workshop (Cat. No.96TB100076) Pub Date : 1996-10-22 DOI: 10.1109/HASE.1996.618557

T. S. Perraju, S. Rana, S. Sarkar

引用次数: 17

Specifying timing constraints in real-time object-oriented systems 在实时面向对象系统中指定时间约束

Proceedings. IEEE High-Assurance Systems Engineering Workshop (Cat. No.96TB100076) Pub Date : 1996-10-22 DOI: 10.1109/HASE.1996.618558

R. V. Vishnuvajjala, W. Tsai, R. Mojdehbakhsh, L. Elliott

引用次数: 9

Reliability prediction method for electronic systems: a comparative reliability assessment method 电子系统可靠性预测方法:一种比较可靠性评估方法

Proceedings. IEEE High-Assurance Systems Engineering Workshop (Cat. No.96TB100076) Pub Date : 1996-10-22 DOI: 10.1109/HASE.1996.618603

Richard Yu

{"title":"Reliability prediction method for electronic systems: a comparative reliability assessment method","authors":"Richard Yu","doi":"10.1109/HASE.1996.618603","DOIUrl":"https://doi.org/10.1109/HASE.1996.618603","url":null,"abstract":"The paper describes a proposed research in defining a new reliability prediction methodology that may be used to evaluate the reliability of computer and electronic systems. The proposed methodology will attempt to minimize the deficiencies of the traditional reliability prediction methods. The deficiencies include: the use of generic failure rates for reliability prediction; and the lack of realism of the reliability prediction in various operational environments. The proposed methodology will employ the use of Analytical Hierarchy Process, a decision tool, to incorporate the qualitative and quantitative data that are most prevalent to the reliability performance of the system under study. This methodology will analyze the reliability of the system under study by comparing its performance characteristics against its predecessor system (or a similar system) with known reliability performance. The resultant analysis will yield a reliability ratio between the two systems and the ratio may be used to describe the system's reliability under various operational environments. The key traits of the proposed methodology are its ability to incorporate all relevant failure modes that are prevalent to reliability performance and the use of realistic data that will provide realism of the predicted reliability.","PeriodicalId":129829,"journal":{"name":"Proceedings. IEEE High-Assurance Systems Engineering Workshop (Cat. No.96TB100076)","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-10-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128990582","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