首页>外文会议>High-Assurance Systems Engineering, 1999. Proceedings. 4th IEEE International Symposium on

High-Assurance Systems Engineering, 1999. Proceedings. 4th IEEE International Symposium on

召开年：1999
召开地：
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.An 'in the limit' view*

机译：“极限”视图*
- 作者：Dalton L.J.
- 会议名称：《High-Assurance Systems Engineering, 1999. Proceedings. 4th IEEE International Symposium on》 | 1999年
2.Building high-assurance systems using COTS components: whether, why, when and how?

机译：使用COTS组件构建高保证系统：是否，为什么，何时以及如何？
- 作者：Paul R.A.;Tai A.T.
- 会议名称：《High-Assurance Systems Engineering, 1999. Proceedings. 4th IEEE International Symposium on》 | 1999年
3.COTS and high assurance: an oxymoron?

机译：成本和高保证：矛盾吗？
- 作者：Voas J.
- 会议名称：《High-Assurance Systems Engineering, 1999. Proceedings. 4th IEEE International Symposium on》 | 1999年
4.Experience of using COTS components for deep space missions

机译：使用COTS组件进行深空飞行任务的经验
- 作者：Savio Chau
- 会议名称：《High-Assurance Systems Engineering, 1999. Proceedings. 4th IEEE International Symposium on》 | 1999年
5.HASE in wireless systems

机译：无线系统中的HASE
- 作者：Levendel I.
- 会议名称：《High-Assurance Systems Engineering, 1999. Proceedings. 4th IEEE International Symposium on》 | 1999年
6.A world without risks: let me out!

机译：一个没有风险的世界：放开我！
- 作者：Was J.
- 会议名称：《High-Assurance Systems Engineering, 1999. Proceedings. 4th IEEE International Symposium on》 | 1999年
7.Software can be entrusted with high consequence functionality

机译：可以赋予软件高后果的功能
- 作者：Di Vito B.L.
- 会议名称：《High-Assurance Systems Engineering, 1999. Proceedings. 4th IEEE International Symposium on》 | 1999年
8.Using COTS software in high assurance control applications

机译：在高保证控制应用中使用COTS软件
- 作者：Lui Sha
- 会议名称：《High-Assurance Systems Engineering, 1999. Proceedings. 4th IEEE International Symposium on》 | 1999年
9.Why modern systems should minimize the use of safety critical software*

机译：为什么现代系统应尽量减少对安全性至关重要的软件的使用*
- 作者：Covan J.M.
- 会议名称：《High-Assurance Systems Engineering, 1999. Proceedings. 4th IEEE International Symposium on》 | 1999年
10.Panel topic: software systerns: consequence versus functionality*

机译：主题：软件系统：结果与功能*
- 作者：Winter V.L.;Berg R.
- 会议名称：《High-Assurance Systems Engineering, 1999. Proceedings. 4th IEEE International Symposium on》 | 1999年
11.Security assurance efforts in engineering Java 2 SE (JDK 1.2)

机译：工程Java 2 SE（JDK 1.2）中的安全保证工作
- 作者：Li Gong;Dodda S.
- 会议名称：《High-Assurance Systems Engineering, 1999. Proceedings. 4th IEEE International Symposium on》 | 1999年
12.Look-ahead channel reservation and borrowing in cellular network systems

机译：蜂窝网络系统中的超前信道预留和借用
- 作者：Haihong Zheng;Bhattacharya;S.
- 会议名称：《High-Assurance Systems Engineering, 1999. Proceedings. 4th IEEE International Symposium on》 | 1999年
13.Using Modechart modules for testing formal specifications

机译：使用Modechart模块测试正式规格
- 作者：Brockmeyer M.
- 会议名称：《High-Assurance Systems Engineering, 1999. Proceedings. 4th IEEE International Symposium on》 | 1999年
14.Applying formal methods to an information security device: An experience report

机译：将正式方法应用于信息安全设备：经验报告
- 作者：Kirby;J.;Jr.;Archer;M.
- 会议名称：《High-Assurance Systems Engineering, 1999. Proceedings. 4th IEEE International Symposium on》 | 1999年
15.Assurance-based Y2K testing

机译：基于保证的Y2K测试
- 作者：Tsai W.T.;Paul R.;Weiguang Shao;Rayadurgam S.;Jinbao Li
- 会议名称：《High-Assurance Systems Engineering, 1999. Proceedings. 4th IEEE International Symposium on》 | 1999年
16.Automatic dependability analysis for supporting design decisions in UML

机译：自动可靠性分析以支持UML中的设计决策
- 作者：Bondavalli;A.;Majzik;I.
- 会议名称：《High-Assurance Systems Engineering, 1999. Proceedings. 4th IEEE International Symposium on》 | 1999年
17.Building dependable distributed applications using AQUA

机译：使用AQUA构建可靠的分布式应用程序
- 作者：Ren J.;Cukier M.;Rubel P.;Sanders W.H.;Bakken D.E.;Karr D.A.
- 会议名称：《High-Assurance Systems Engineering, 1999. Proceedings. 4th IEEE International Symposium on》 | 1999年
18.COTS-based fault tolerance in deep space: Qualitative and quantitative analyses of a bus network architecture

机译：基于COTS的深空容错：总线网络架构的定性和定量分析
- 作者：Tai;A.T.;Chau;S.N.
- 会议名称：《High-Assurance Systems Engineering, 1999. Proceedings. 4th IEEE International Symposium on》 | 1999年
19.Fault detectability analysis for requirements validation of fault tolerant systems

机译：故障检测能力分析，用于容错系统的需求验证
- 作者：del Gobbo;D.;Cukic;B.
- 会议名称：《High-Assurance Systems Engineering, 1999. Proceedings. 4th IEEE International Symposium on》 | 1999年
20.Formally modeling a metal processing plant and its closed loop specifications

机译：对金属加工厂及其闭环规格进行正式建模
- 作者：Tronci;E.
- 会议名称：《High-Assurance Systems Engineering, 1999. Proceedings. 4th IEEE International Symposium on》 | 1999年
21.How much testing is enough? Applying stopping rules to behavioral model testing

机译：多少测试就足够了？将停止规则应用于行为模型测试
- 作者：Chen;T.;Sahinoglu;M.
- 会议名称：《High-Assurance Systems Engineering, 1999. Proceedings. 4th IEEE International Symposium on》 | 1999年
22.On the requirements of high-integrity code generation

机译：对高完整性代码生成的要求
- 作者：Whalen M.W.;Heimdahl M.P.E.
- 会议名称：《High-Assurance Systems Engineering, 1999. Proceedings. 4th IEEE International Symposium on》 | 1999年
23.Predicting fault-prone software modules in embedded systems with classification trees

机译：使用分类树预测嵌入式系统中易于出错的软件模块
- 作者：Khoshgoftaar;T.;Allen;E.B.
- 会议名称：《High-Assurance Systems Engineering, 1999. Proceedings. 4th IEEE International Symposium on》 | 1999年
24.Real-time atomic transaction processing using multi-invariant data structure

机译：使用多不变数据结构的实时原子事务处理
- 作者：I-Ling Yen;Ing-Ray Chen
- 会议名称：《High-Assurance Systems Engineering, 1999. Proceedings. 4th IEEE International Symposium on》 | 1999年
25.UML-based analysis of embedded systems using a mapping to VHDL

机译：使用到VHDL的映射对嵌入式系统进行基于UML的分析
- 作者：McUmber W.E.;Cheng B.H.C.
- 会议名称：《High-Assurance Systems Engineering, 1999. Proceedings. 4th IEEE International Symposium on》 | 1999年
26.DynaMICs: an automated and independent software-fault detection approach

机译：DynaMICs：一种自动且独立的软件故障检测方法
- 作者：Gates;A.Q.;Teller;P.J.
- 会议名称：《High-Assurance Systems Engineering, 1999. Proceedings. 4th IEEE International Symposium on》 | 1999年
27.Identifying domain axioms using binary decision diagrams

机译：使用二进制决策图识别领域公理
- 作者：Czerny B.J.;Heimdahl M.P.E.
- 会议名称：《High-Assurance Systems Engineering, 1999. Proceedings. 4th IEEE International Symposium on》 | 1999年
28.Lessons from 342 medical device failures

机译：342种医疗设备故障的教训
- 作者：Wallace D.R.;Kuhn D.R.
- 会议名称：《High-Assurance Systems Engineering, 1999. Proceedings. 4th IEEE International Symposium on》 | 1999年
29.A synchronous paradigm for modeling stable reactive systems

机译：用于稳定电抗系统建模的同步范例
- 作者：Winter V.L.
- 会议名称：《High-Assurance Systems Engineering, 1999. Proceedings. 4th IEEE International Symposium on》 | 1999年
30.Quantitative evaluation of dependability critical systems based on guarded Statechart models

机译：基于守卫状态图模型的可靠性关键系统的定量评估
- 作者：Dal Cin;M.;Huszerl;G.
- 会议名称：《High-Assurance Systems Engineering, 1999. Proceedings. 4th IEEE International Symposium on》 | 1999年
31.Analyzing the real-time properties of a U.S. Navy signal processing system

机译：分析美国海军信号处理系统的实时属性
- 作者：Goddard;S.;Jeffay;K.
- 会议名称：《High-Assurance Systems Engineering, 1999. Proceedings. 4th IEEE International Symposium on》 | 1999年
32.Autonomous data synchronization in heterogeneous systems to assure the transaction

机译：异构系统中的自主数据同步以确保事务
- 作者：Kaji;I.;Yongdong Tan
- 会议名称：《High-Assurance Systems Engineering, 1999. Proceedings. 4th IEEE International Symposium on》 | 1999年
33.Model checking UML Statechart diagrams using JACK

机译：使用JACK模型检查UML Statechart图
- 作者：Gnesi S.;Latella D.;Massink M.
- 会议名称：《High-Assurance Systems Engineering, 1999. Proceedings. 4th IEEE International Symposium on》 | 1999年
34.A framework for a cryptographic protocol evaluation workbench

机译：密码协议评估工作台的框架
- 作者：Yasinsac A.;Wulf W.A.
- 会议名称：《High-Assurance Systems Engineering, 1999. Proceedings. 4th IEEE International Symposium on》 | 1999年
35.A specification-based coverage metric to evaluate test sets

机译：基于规范的覆盖率指标，用于评估测试集
- 作者：Ammann P.E.;Black P.E.
- 会议名称：《High-Assurance Systems Engineering, 1999. Proceedings. 4th IEEE International Symposium on》 | 1999年
36.The Amaranth framework: Probabilistic, utility-based quality of service management for high-assurance computing

机译：Amaranth框架：基于概率，基于实用程序的服务质量管理，可实现高保证的计算
- 作者：Hoover;C.L.;Hansen;J.
- 会议名称：《High-Assurance Systems Engineering, 1999. Proceedings. 4th IEEE International Symposium on》 | 1999年
37.The Corot instruments software: towards intrinsically reconfigurable real-time embedded processing software in space-borne instruments

机译：Corot仪器软件：面向星载仪器的内部可重新配置的实时嵌入式处理软件
- 作者：Cailliau;D.;Bellenger;R.
- 会议名称：《High-Assurance Systems Engineering, 1999. Proceedings. 4th IEEE International Symposium on》 | 1999年