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

A new compositional method for condensed state-space verification 一种新的压缩状态空间验证组合方法

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

Eric Y. T. Juan, J. Tsai, T. Murata

引用次数: 4

Software reliability growth analysis-application of NHPP models and its evaluation 软件可靠性增长分析——NHPP模型的应用及其评价

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

Takamasa Nara, M. Nakata, Akihiro Ooishi

引用次数: 5

Active Multimedia Communication Systems 有源多媒体通信系统

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

Shi-Kuo Chang

{"title":"Active Multimedia Communication Systems","authors":"Shi-Kuo Chang","doi":"10.1109/HASE.1996.618594","DOIUrl":"https://doi.org/10.1109/HASE.1996.618594","url":null,"abstract":"To maintain continuous, adaptive multimedia communication with guaranteed minimum quality of service in a combined wired and wireless environment poses a major challenge. We describe an active network architecture for multimedia communications. We introduce the novel concept of QoS-Message, which is specified by a flexible, high-level Petri net called the G-Net. Extensive research has been done at the University of Pittsburgh and elsewhere to study the property of G-Net and its application in the design of complex, reliable real-time systems. We adopt the G-Net for QoS-message specification. An active net- work architecture is describe so that based upon the feedback from the network, the optimizing transforma- tion of G-Nets enables the continuous adaptation of QoS-messages when the network environment changes dynamically. The approach guarantees continuous communication over a combined wired and wireless en- vironment. A prototype active multimedia communication system is being developed at the University of Pittsburgh. This research provides a basis for QoS-message specification, dynamic QoS-message construc- tion, a channel model and an active network architecture for adaptive multimedia communication.","PeriodicalId":129829,"journal":{"name":"Proceedings. IEEE High-Assurance Systems Engineering Workshop (Cat. No.96TB100076)","volume":"87 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-10-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115942728","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 practical approach to failure mode, effects and criticality analysis (FMECA) for computing systems 计算系统失效模式、影响和临界性分析(FMECA)的实用方法

Proceedings. IEEE High-Assurance Systems Engineering Workshop (Cat. No.96TB100076) Pub Date : 1996-07-01 DOI: 10.1109/HASE.1996.618602

J. Becker, G. Flick

引用次数: 20