发布求助
文献互助 智能选刊 最新文献

Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231)最新文献

筛选
英文 中文
Automatic verification on the large 自动验证就大了
Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231) Pub Date : 1998-11-13 DOI: 10.1109/HASE.1998.731605
Farn Wang, Pao-Ann Hsiung
{"title":"Automatic verification on the large","authors":"Farn Wang, Pao-Ann Hsiung","doi":"10.1109/HASE.1998.731605","DOIUrl":"https://doi.org/10.1109/HASE.1998.731605","url":null,"abstract":"An automatic verification method from a high level resource management standpoint is presented. Various manipulators can be incorporated in the method to construct, refine, reduce, and model-check state space representation. Proper combinations of manipulators can then be picked strategically by users or computers for less resource (time and space) consumption. An algorithm based on group theory to pick a manipulator combination is presented. Verification sessions are conducted to illustrate our idea.","PeriodicalId":340424,"journal":{"name":"Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231)","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127629954","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}
引用次数: 23
Incremental development of a high integrity compiler: experience from an industrial development 一个高完整性编译器的增量开发:来自工业发展的经验
Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231) Pub Date : 1998-11-13 DOI: 10.1109/HASE.1998.731606
S. Stepney
{"title":"Incremental development of a high integrity compiler: experience from an industrial development","authors":"S. Stepney","doi":"10.1109/HASE.1998.731606","DOIUrl":"https://doi.org/10.1109/HASE.1998.731606","url":null,"abstract":"We have developed and successfully applied a technique to build a high integrity compiler from Pasp, a Pascal-like language, to ASP, the target language for a high integrity processor designed for the UK's Atomic Weapons Establishment at Aldermaston. We overview the technique itself, including a description of how it can be extended to separate compilation. We also describe some of our experiences whilst implementing this compiler, how successful the whole process has been, and the lessons we have learned. We have cost effectively developed a compiler to high integrity by using mathematical specification and proof techniques.","PeriodicalId":340424,"journal":{"name":"Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231)","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114132634","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}
引用次数: 31
Using classification trees for software quality models: lessons learned 在软件质量模型中使用分类树:经验教训
Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231) Pub Date : 1998-11-13 DOI: 10.1109/HASE.1998.731598
T. Khoshgoftaar, E. B. Allen, A. Naik, W. Jones, J. Hudepohl
{"title":"Using classification trees for software quality models: lessons learned","authors":"T. Khoshgoftaar, E. B. Allen, A. Naik, W. Jones, J. Hudepohl","doi":"10.1109/HASE.1998.731598","DOIUrl":"https://doi.org/10.1109/HASE.1998.731598","url":null,"abstract":"High software reliability is an important attribute of high-assurance systems. Software quality models yield timely predictions of reliability indicators on a module-by-module basis, enabling one to focus on finding faults early in development. This paper introduces the CART (Classification And Regression Trees) algorithm to practitioners in high-assurance systems engineering. This paper presents practical lessons learned in building classification trees for software quality modeling, including an innovative way to control the balance between misclassification rates. A case study of a very large telecommunications system used CART to build software quality models. The models predicted whether or not modules would have faults discovered by customers, based on various sets of software product and process metrics as independent variables. We found that a model based on two software product metrics had an accuracy that was comparable to a model based on 40 product and process metrics.","PeriodicalId":340424,"journal":{"name":"Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231)","volume":"94 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114403077","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}
引用次数: 37
A new heuristic to discriminate between transient and intermittent faults 一种新的判别瞬态和间歇故障的启发式方法
Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231) Pub Date : 1998-11-13 DOI: 10.1109/HASE.1998.731617
F. Grandoni, A. Bondavalli, S. Chiaradonna
{"title":"A new heuristic to discriminate between transient and intermittent faults","authors":"F. Grandoni, A. Bondavalli, S. Chiaradonna","doi":"10.1109/HASE.1998.731617","DOIUrl":"https://doi.org/10.1109/HASE.1998.731617","url":null,"abstract":"Effective discrimination between transient and permanent faults is a very important practical problem in (dependable) system design. A count-and-threshold mechanism named /spl alpha/-count, designed to discriminate between transient faults and intermittent faults in computing systems, is presented in an enhanced embodiment. It retains enough simplicity to allow exhaustive analysability through simple models. It is shown that the introduction of two operating thresholds, instead of the single one present in the basic scheme already known, both improves the performance figures of the mechanism and eases the designer's task of tuning the internal parameters.","PeriodicalId":340424,"journal":{"name":"Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231)","volume":"87 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115725859","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}
引用次数: 2
Coordination of engineering design agents for high assurance in complex dynamic system design 协调工程设计主体，为复杂动态系统设计提供高保证
Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231) Pub Date : 1998-11-13 DOI: 10.1109/HASE.1998.731631
S. Phoha, E. Eberbach, E. Peluso, A. Kiraly
{"title":"Coordination of engineering design agents for high assurance in complex dynamic system design","authors":"S. Phoha, E. Eberbach, E. Peluso, A. Kiraly","doi":"10.1109/HASE.1998.731631","DOIUrl":"https://doi.org/10.1109/HASE.1998.731631","url":null,"abstract":"This paper presents a hierarchical architecture for an innovative self-adaptive design network for physics-based modeling of complex systems dynamics in order to assess and control its behavior characteristics. Each structural component of the system is simulated by an engineering design agent (EDA) which models the conceptual design parameters of the component in its operational environment. The objective here is to iteratively achieve higher assurance of dynamic system behavior by trading off component design characteristics. A formal model of the design network is formulated in this paper as a finite set of interacting automata. Intelligent agents for design coordination and design supervision are introduced. The introduction of a high order polyadic process algebra-calculus (cost calculus)-allows the formulation of powerful algorithms for autonomous self-adaptation of the system design network to achieve high assurance specifications in dynamic and uncertain environments.","PeriodicalId":340424,"journal":{"name":"Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231)","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126467193","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}
引用次数: 1
ROAFTS: a middleware architecture for real-time object-oriented adaptive fault tolerance support ROAFTS:用于实时面向对象自适应容错支持的中间件体系结构
Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231) Pub Date : 1998-11-13 DOI: 10.1109/HASE.1998.731595
K. Kim
{"title":"ROAFTS: a middleware architecture for real-time object-oriented adaptive fault tolerance support","authors":"K. Kim","doi":"10.1109/HASE.1998.731595","DOIUrl":"https://doi.org/10.1109/HASE.1998.731595","url":null,"abstract":"A middleware architecture named ROAFTS (Real-time Object-oriented Adaptive Fault Tolerance Support) is presented. ROAFTS is designed to support adaptive fault-tolerant execution of not only conventional process-structured distributed real-time (RT) application software but also new-style object-structured distributed RT application software. While ROAFTS contains fault tolerance schemes devised for quantitatively guaranteed RT fault tolerance, it is also designed to relax that characteristic while the application is in a soft RT phase in order to reduce resource use. Through three different prototype implementation experiences using both commercial operating system kernels and home-grown RT kernels, the middleware architecture has been refined and its basic capabilities and effectiveness have been validated. The fault tolerance schemes supported and the integrating architecture are discussed in this paper. Implementation experiences and some future tasks are also discussed.","PeriodicalId":340424,"journal":{"name":"Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231)","volume":"131 4","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120843119","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}
引用次数: 48
A flexible software architecture for high availability computing 为高可用性计算提供灵活的软件架构
Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231) Pub Date : 1998-11-13 DOI: 10.1109/HASE.1998.731594
R. Iyer, Z. Kalbarczyk, K. Whisnant, S. Bagchi
{"title":"A flexible software architecture for high availability computing","authors":"R. Iyer, Z. Kalbarczyk, K. Whisnant, S. Bagchi","doi":"10.1109/HASE.1998.731594","DOIUrl":"https://doi.org/10.1109/HASE.1998.731594","url":null,"abstract":"Presents an overview of the Chameleon architecture for supporting a wide range of criticality requirements in a heterogeneous network environment. Chameleon employs ARMORs (Adaptive, Reconfigurable and Mobile Objects for Reliability) to synthesize different fault-tolerant configurations and to maintain run-time adaptation to changes in the fault tolerance requirements of an application. ARMORs have a flexible architecture that allows their composition to be reconfigured at run-time, i.e. the ARMORs may dynamically adapt to changing application requirements. In this paper, we focus on the detailed description of the ARMOR architecture, including ARMOR class hierarchy, basic building blocks, ARMOR composition and use of ARMOR factories. We describe how ARMORs can be reconfigured and reengineered, and demonstrate how the architecture serves our objective of providing an adaptive software infrastructure. Our experience with an early Chameleon implementation demonstrates that the proposed ARMOR architecture provides for a highly flexible and reconfigurable software infrastructure.","PeriodicalId":340424,"journal":{"name":"Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231)","volume":"37 3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131224695","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
Object-oriented software testing-some research and development 面向对象的软件测试——一些研究和开发
Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231) Pub Date : 1998-11-13 DOI: 10.1109/HASE.1998.731608
D. Kung, P. Hsia, Y. Toyoshima, Cris Chen, J. Gao
{"title":"Object-oriented software testing-some research and development","authors":"D. Kung, P. Hsia, Y. Toyoshima, Cris Chen, J. Gao","doi":"10.1109/HASE.1998.731608","DOIUrl":"https://doi.org/10.1109/HASE.1998.731608","url":null,"abstract":"It is widely accepted that the OO paradigm will significantly increase software reusability, extendibility, interoperability, and reliability. This is also true for high assurance systems engineering, provided that the systems are tested adequately. Software testing is an important software quality assurance activity to ensure that the benefits of OO programming will be realized. OO software testing has to deal with new problems introduced by the powerful new features of OO languages. The objective of the article is to review some of the existing research in OO software testing, in particular, the research at the University of Texas at Arlington.","PeriodicalId":340424,"journal":{"name":"Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231)","volume":"62 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128297577","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}
引用次数: 10
Analytical partition of software components for evolvable and reliable MEMS design tools 可进化可靠的MEMS设计工具软件组件解析划分
Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231) Pub Date : 1998-11-13 DOI: 10.1109/HASE.1998.731611
C. Hoover, P. Khosla
{"title":"Analytical partition of software components for evolvable and reliable MEMS design tools","authors":"C. Hoover, P. Khosla","doi":"10.1109/HASE.1998.731611","DOIUrl":"https://doi.org/10.1109/HASE.1998.731611","url":null,"abstract":"Transforming software requirements into a software design involves the iterative partition of a solution into software components. The process is human-intensive and does not guarantee that design objectives such as reusability, evolvability, and reliable performance are satisfied. The costly process of designing, building, and modifying high assurance systems motivates the need for precise methods and tools to generate designs whose corresponding implementations are reusable, evolvable, and reliable. We demonstrate an analytical approach for partitioning basic elements of a software solution into reusable and evolvable software components. First, we briefly overview the role of partitioning in current design methods and explain why computer-aided design (CAD) tools to automate the design of microelectromechanical systems (MEIMS) are high assurance applications. Then we present our approach and apply it to the design of CAD software to layout an optimized design of a MEMS accelerometer to be used in the navigational units of aircraft. Lastly, we discuss the implications of our approach and future research directions.","PeriodicalId":340424,"journal":{"name":"Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231)","volume":"115 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124046141","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}
引用次数: 2
The application of fuzzy enhanced case-based reasoning for identifying fault-prone modules 基于案例的模糊增强推理在易故障模块识别中的应用
Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231) Pub Date : 1998-11-13 DOI: 10.1109/HASE.1998.731599
Donald F. Schenker, T. Khoshgoftaar
{"title":"The application of fuzzy enhanced case-based reasoning for identifying fault-prone modules","authors":"Donald F. Schenker, T. Khoshgoftaar","doi":"10.1109/HASE.1998.731599","DOIUrl":"https://doi.org/10.1109/HASE.1998.731599","url":null,"abstract":"As highly reliable software is becoming an essential ingredient in many systems, the process of assuring reliability can be a time-consuming, costly process. One way to improve the efficiency of the quality assurance process is to target reliability enhancement activities to those modules that are likely to have the most problems. Within the field of software engineering, much research has been performed to allow developers to identify fault-prone modules within a project. Software quality classification models can select the modules that are the most likely to contain faults so that reliability enhancement activities can be performed to lower the occurrences of software faults and errors. This paper introduces fuzzy logic combined with case-based reasoning (CBR) to determine fault-prone modules given a set of software metrics. Combining these two techniques promises more robust, flexible and accurate models. In this paper, we describe this approach, apply it in a real-world case study and discuss the results. The case study applied this approach to software quality modeling using data from a military command, control and communications (C/sup 3/) system. The fuzzy CBR model had an overall classification accuracy of more than 85%. This paper also discusses possible improvements and enhancements to the initial model that can be explored in the future.","PeriodicalId":340424,"journal":{"name":"Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231)","volume":"24 3","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120856175","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}
引用次数: 11
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信