掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
IEEE International Symposium on High Assurance Systems Engineering
IEEE International Symposium on High Assurance Systems Engineering
召开年:
2015
召开地:
Daytona Beach, FL(US)
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
A tool for verification and validation of neural network based adaptive controllers for high assurance systems
机译:
高保证系统基于神经网络自适应控制器的验证和验证工具
作者:
Gupta P.
;
Schumann J.
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2004年
关键词:
adaptive control;
program verification;
neural nets;
safety-critical software;
software performance evaluation;
digital simulation;
aircraft control;
software tools;
adaptive controller verification;
adaptive controller validation;
neural network;
NN;
adaptive controllers;
high assurance systems;
software reliability;
safety-critical software;
NASA;
certification;
flight software;
Simulink;
F-15 aircraft simulation;
2.
Evaluation of software development tools for high assurance safety critical systems
机译:
高保证安全关键系统的软件开发工具评估
作者:
Kornecki A.J.
;
Hall K.
;
Hearn D.
;
Lau H.
;
Zalewski J.
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2004年
关键词:
safety-critical software;
software tools;
software quality;
avionics;
software performance evaluation;
program verification;
software development tools;
high-assurance safety critical systems;
evaluation;
aviation systems;
tool qualification;
verification;
3.
Automating the failure modes and effects analysis of safety critical systems
机译:
安全关键系统的故障模式及效果分析
作者:
Papadopoulos Y.
;
Parker D.
;
Grante C.
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2004年
关键词:
fault trees;
safety-critical software;
software architecture;
data flow analysis;
software fault tolerance;
failure mode analysis;
FMEA;
safety critical systems;
system safety analysis;
component failure modes;
system models;
software design;
fault simulation;
fault tree analysis;
system topology;
data transactions;
data flow;
failure effect analysis;
software development;
4.
Flow-Service-Quality (FSQ) engineering: foundations for high-assurance network systems development
机译:
流动服务质量(FSQ)工程:高保证网络系统开发的基础
作者:
Linger R.C.
;
Hevner A.R.
;
Walton G.
;
Pleszkoch M.G.
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2004年
关键词:
computer networks;
systems analysis;
software prototyping;
quality of service;
software engineering;
software maintenance;
flow-service-quality;
FSQ;
high-assurance network systems development;
network-centric systems;
intellectual control;
system analysis;
system development;
system evolution;
5.
Enhancing testability in architectural design for the new generation of core-based embedded systems
机译:
提高建筑设计的可测试性,为新一代基于核心嵌入式系统
作者:
Assaf M.H.
;
Das S.R.
;
Petriu E.M.
;
Sahinoglu M.
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2004年
关键词:
embedded systems;
built-in self test;
circuit testing;
software architecture;
system-on-chip;
program testing;
software testability;
architectural design;
core-based embedded systems;
system-on-chip;
SoC;
built-in self-test;
BIST;
sequential benchmark circuits;
6.
A formal approach to designing secure software architectures
机译:
设计安全软件架构的正式方法
作者:
Huiqun Yu
;
Xudong He
;
Yi Deng
;
Lian Mo
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2004年
关键词:
safety-critical software;
software architecture;
formal specification;
Petri nets;
temporal logic;
formal approach;
secure software architectures;
software architecture;
software systems;
safety critical software;
software architecture model;
SAM;
Petri nets;
temporal logic;
software security;
7.
Software design specification and analysis technique for the safety critical software based on programmable logic controller (PLC)
机译:
基于可编程逻辑控制器(PLC)的安全关键软件软件设计规范和分析技术
作者:
Seo Ryong Koo
;
Poong Hyun Seong
;
Sung Deok Cha
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2004年
关键词:
safety-critical software;
control engineering computing;
software architecture;
programmable controllers;
systems analysis;
formal specification;
software design specification;
safety critical software;
programmable logic controller;
software development;
software structure;
database;
software architecture;
system behavior;
PLC hardware configuration;
formal design analysis;
software design analysis;
8.
Adding assurance to automatically generated code
机译:
为自动生成的代码添加保证
作者:
Denney E.
;
Fischer B.
;
Schumann J.
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2004年
关键词:
aerospace computing;
safety-critical software;
program compilers;
software tools;
formal specification;
automatically generated code;
safety-critical software;
flight software;
AutoFilter;
program synthesis tool;
state estimation code;
formal specification;
safety certificates;
safety policies;
array-bounds;
variable initialization;
high-assurance software;
static analysis tool;
PolySpace;
9.
Adding assurance to automatically generated code
机译:
为自动生成的代码添加保证
作者:
Denney E.
;
Fischer B.
;
Schumann J.
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2004年
关键词:
aerospace computing;
safety-critical software;
program compilers;
software tools;
formal specification;
automatically generated code;
safety-critical software;
flight software;
AutoFilter;
program synthesis tool;
state estimation code;
formal specification;
safety certificates;
safety policies;
array-bounds;
variable initialization;
high-assurance software;
static analysis tool;
PolySpace;
10.
Managing secure survivable critical infrastructures to avoid vulnerabilities
机译:
管理安全可生存的关键基础架构,以避免漏洞
作者:
Sheldon F.
;
Potok T.
;
Loebl A.
;
Krings A.
;
Oman P.
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2004年
关键词:
power transmission reliability;
power transmission control;
computer networks;
distributed programming;
telecommunication security;
secure survivable critical infrastructures;
information systems;
database sharing;
secure networks;
power system reliability;
embedded distributed systems;
power transmission grid;
11.
Managing secure survivable critical infrastructures to avoid vulnerabilities
机译:
管理安全可生存的关键基础架构,以避免漏洞
作者:
Sheldon F.
;
Potok T.
;
Loebl A.
;
Krings A.
;
Oman P.
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2004年
关键词:
power transmission reliability;
power transmission control;
computer networks;
distributed programming;
telecommunication security;
secure survivable critical infrastructures;
information systems;
database sharing;
secure networks;
power system reliability;
embedded distributed systems;
power transmission grid;
12.
Testing large scale streaming Internet applications over wireless LANs
机译:
通过无线局域网测试大规模流互联网应用
作者:
Ikkurthy P.
;
Shahbazian J.
;
Labrador M.A.
;
Christensen K.J.
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2004年
关键词:
wireless LAN;
program testing;
systems analysis;
IP networks;
video signal processing;
Internet;
software maintenance;
program verification;
large scale streaming Internet applications;
wireless LAN;
local area network;
IP network;
real-time traffic;
Internet;
instructional training;
telemedicine;
unmanned vehicles;
remote security monitoring;
wireless connectivity;
pervasive computing;
operations requirements;
software development;
software maintenance;
software testing;
network emulation tool;
large-scale video-based Internet software;
13.
Testing large scale streaming Internet applications over wireless LANs
机译:
通过无线局域网测试大规模流互联网应用
作者:
Ikkurthy P.
;
Shahbazian J.
;
Labrador M.A.
;
Christensen K.J.
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2004年
关键词:
wireless LAN;
program testing;
systems analysis;
IP networks;
video signal processing;
Internet;
software maintenance;
program verification;
large scale streaming Internet applications;
wireless LAN;
local area network;
IP network;
real-time traffic;
Internet;
instructional training;
telemedicine;
unmanned vehicles;
remote security monitoring;
wireless connectivity;
pervasive computing;
operations requirements;
software development;
software maintenance;
software testing;
network emulation tool;
large-scale video-based Internet software;
14.
Unsupervised learning for expert-based software quality estimation
机译:
无监督的专业软件质量估算学习
作者:
Shi Zhong
;
Khoshgoftaar T.M.
;
Seliya N.
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2004年
关键词:
software quality;
software fault tolerance;
software metrics;
expert systems;
unsupervised learning;
unsupervised learning;
expert-based software quality estimation;
software quality classifier;
software fault prediction model;
software engineering;
software modules;
software quality measurement;
15.
Unsupervised learning for expert-based software quality estimation
机译:
无监督的专业软件质量估算学习
作者:
Shi Zhong
;
Khoshgoftaar T.M.
;
Seliya N.
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2004年
关键词:
software quality;
software fault tolerance;
software metrics;
expert systems;
unsupervised learning;
unsupervised learning;
expert-based software quality estimation;
software quality classifier;
software fault prediction model;
software engineering;
software modules;
software quality measurement;
16.
Structural analysis of explicit fault-tolerant programs
机译:
明确容错程序的结构分析
作者:
Gossens S.
;
Dal Cin M.
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2004年
关键词:
systems analysis;
software architecture;
program verification;
data flow analysis;
software fault tolerance;
fault tolerant program;
structural analysis;
graph based methods;
control flow abstraction;
computation tree logic;
CTL;
verification;
17.
Multiparty computation with full computation power and reduced overhead
机译:
具有全计算功率的多部分计算和减少开销
作者:
Qingkai Ma
;
Wei Hao
;
I-Ling Yen
;
Bastani F.
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2004年
关键词:
security of data;
computational complexity;
information systems;
formal specification;
multiparty computation;
information systems;
computation time data protection;
system security;
computation algorithm;
communication overhead;
system integrity;
18.
A method for solving trade-off among cost for owned/borrowed resource and loss of business chances
机译:
一种解决权衡资源和商业机会损失之间的权衡的方法
作者:
Masuishi T.
;
Mori K.
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2004年
关键词:
resource allocation;
optimisation;
resource-sharing;
optimization problem;
cost function;
resource quantity optimisation;
resource sharing community model;
system architecture;
business loss;
owned resource;
borrowed resource;
business chance loss;
trade-off solving;
19.
Structural analysis of explicit fault-tolerant programs
机译:
明确容错程序的结构分析
作者:
Gossens S.
;
Dal Cin M.
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2004年
关键词:
systems analysis;
software architecture;
program verification;
data flow analysis;
software fault tolerance;
fault tolerant program;
structural analysis;
graph based methods;
control flow abstraction;
computation tree logic;
CTL;
verification;
20.
A method for solving trade-off among cost for owned/borrowed resource and loss of business chances
机译:
一种解决权衡资源和商业机会损失之间的权衡的方法
作者:
Masuishi T.
;
Mori K.
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2004年
关键词:
resource allocation;
optimisation;
resource-sharing;
optimization problem;
cost function;
resource quantity optimisation;
resource sharing community model;
system architecture;
business loss;
owned resource;
borrowed resource;
business chance loss;
trade-off solving;
21.
Multiparty computation with full computation power and reduced overhead
机译:
具有全计算功率的多部分计算和减少开销
作者:
Qingkai Ma
;
Wei Hao
;
I-Ling Yen
;
Bastani F.
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2004年
关键词:
security of data;
computational complexity;
information systems;
formal specification;
multiparty computation;
information systems;
computation time data protection;
system security;
computation algorithm;
communication overhead;
system integrity;
22.
Specification test coverage adequacy criteria = specification test generation inadequacy criteria
机译:
规范测试覆盖充足性标准=规范测试生成不足标准
作者:
Heimdahl M.P.E.
;
George D.
;
Weber R.
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2004年
关键词:
program testing;
formal specification;
software fault tolerance;
software analysis;
specification test coverage;
specification test generation;
model checking;
software metrics;
formal model;
automated software testing;
formal specifications;
23.
A formal specification-based approach to distributed parallel programming
机译:
一种基于规范的分布式并行编程方法
作者:
Chia-Chu Chiang
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2004年
关键词:
parallel programming;
parallel processing;
formal specification;
programming languages;
middleware;
formal specification;
distributed parallel programming;
low-level language;
programming languages;
parallel computation;
middleware;
parallel processing;
distributed systems;
interconnection architecture;
program portability;
24.
Decomposition of fairness and performance aspects for high assurance continuous process-control systems
机译:
高保证连续过程控制系统的公平性和性能方面的分解
作者:
Dongfeng Wang
;
Hui Ma
;
Bastani F.B.
;
I-Ling Yen
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2004年
关键词:
state-space methods;
embedded systems;
process control;
vehicles;
program verification;
divide and conquer methods;
high-assurance continuous process-control systems;
continuous state spaces;
real-time embedded systems;
high-quality software development;
independently developable end-user assessable logical;
IDEAL;
vehicle control system;
formal verification;
25.
Specification test coverage adequacy criteria = specification test generation inadequacy criteria
机译:
规范测试覆盖充足性标准=规范测试生成不足标准
作者:
Heimdahl M.P.E.
;
George D.
;
Weber R.
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2004年
关键词:
program testing;
formal specification;
software fault tolerance;
software analysis;
specification test coverage;
specification test generation;
model checking;
software metrics;
formal model;
automated software testing;
formal specifications;
26.
A formal specification-based approach to distributed parallel programming
机译:
一种基于规范的分布式并行编程方法
作者:
Chia-Chu Chiang
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2004年
关键词:
parallel programming;
parallel processing;
formal specification;
programming languages;
middleware;
formal specification;
distributed parallel programming;
low-level language;
programming languages;
parallel computation;
middleware;
parallel processing;
distributed systems;
interconnection architecture;
program portability;
27.
Decomposition of fairness and performance aspects for high assurance continuous process-control systems
机译:
高保证连续过程控制系统的公平性和性能方面的分解
作者:
Dongfeng Wang
;
Hui Ma
;
Bastani F.B.
;
I-Ling Yen
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2004年
关键词:
state-space methods;
embedded systems;
process control;
vehicles;
program verification;
divide and conquer methods;
high-assurance continuous process-control systems;
continuous state spaces;
real-time embedded systems;
high-quality software development;
independently developable end-user assessable logical;
IDEAL;
vehicle control system;
formal verification;
28.
Resource-sensitive intrusion detection models for network traffic
机译:
网络流量的资源敏感入侵检测模型
作者:
Khoshgoftaar T.M.
;
Abushadi M.E.
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2004年
关键词:
telecommunication traffic;
computer networks;
computer crime;
authorisation;
telecommunication security;
data privacy;
network security;
interconnection;
computer attacks;
data privacy;
data confidentiality;
intrusion detection systems;
IDS;
data maning;
machine learning;
organizational resources;
modified expected cost of misclassification;
goal oriented intrusion detection classifier;
resource-based intrusion detection model;
29.
Resource-sensitive intrusion detection models for network traffic
机译:
网络流量的资源敏感入侵检测模型
作者:
Khoshgoftaar T.M.
;
Abushadi M.E.
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2004年
关键词:
telecommunication traffic;
computer networks;
computer crime;
authorisation;
telecommunication security;
data privacy;
network security;
interconnection;
computer attacks;
data privacy;
data confidentiality;
intrusion detection systems;
IDS;
data maning;
machine learning;
organizational resources;
modified expected cost of misclassification;
goal oriented intrusion detection classifier;
resource-based intrusion detection model;
30.
Knowledge management for computational intelligence systems
机译:
计算智能系统的知识管理
作者:
Weber R.
;
Duanqing Wu
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2004年
关键词:
knowledge management;
program testing;
case-based reasoning;
learning (artificial intelligence);
software tools;
knowledge management;
KM;
computational intelligence systems;
software testing;
case-based reasoning;
CIS;
31.
An approach for designing and assessing detectors for dependable component-based systems
机译:
一种设计和评估探测器的方法,用于基于可靠的组件的系统
作者:
Jhumka A.
;
Hiller M.
;
Suri N.
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2004年
关键词:
software reliability;
error detection;
object-oriented methods;
software metrics;
software fault tolerance;
software fault detectors;
fail-safe;
formal methods;
software metrics;
cost analysis;
fault injection;
dependable component-based systems;
error detection;
resource allocation;
fault tolerant systems;
benefit analysis;
32.
Software fault tree analysis for product lines
机译:
产品线软件故障树分析
作者:
Dehlinger J.
;
Lutz R.R.
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2004年
关键词:
product development;
software fault tolerance;
software reusability;
safety-critical software;
high-integrity product line;
software fault tree analysis;
SFTA;
safety-critical applications;
forward-analysis;
software failure mode analysis;
SFMECA;
requirements evolution;
software effect analysis;
software criticality analysis;
33.
How good is your blind spot sampling policy
机译:
您的盲点抽样政策有多好
作者:
Menzies T.
;
Di Stefano J.S.
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2004年
关键词:
program verification;
sampling methods;
formal specification;
software metrics;
blind spot sampling;
software assessment;
defect detectors;
formal specification;
black box probing;
automatic formal methods;
public domain defect data;
34.
Developing high-assurance secure systems with UML: a smartcard-based purchase protocol
机译:
使用UML开发高保证安全系统:基于智能卡的购买协议
作者:
Jurjens J.
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2004年
关键词:
electronic commerce;
security of data;
smart cards;
safety-critical software;
specification languages;
cryptography;
protocols;
high assurance systems;
security software engineering;
security engineering;
security verification;
formal methods;
security evaluation;
security models;
cryptographic protocols;
electronic purses;
security-critical systems;
Unified Modeling Language;
UML;
UMLsec;
system specification;
formal semantics;
35.
RUBASTEM: a method for testing VHDL behavioral models
机译:
Rubastem:一种测试VHDL行为模型的方法
作者:
Andrews A.
;
OFallon A.
;
Chen T.
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2004年
关键词:
hardware description languages;
knowledge based systems;
logic CAD;
logic testing;
program testing;
program verification;
data flow analysis;
hardware verification;
RUBASTEM;
rule-based software testing method;
Very High Speed Integrated Circuit;
VHDL behavioral models;
data flow analysis;
automated test pattern generation;
VHSIC;
hardware description language;
36.
An approach for designing and assessing detectors for dependable component-based systems
机译:
一种设计和评估探测器的方法,用于基于可靠的组件的系统
作者:
Jhumka A.
;
Hiller M.
;
Suri N.
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2004年
关键词:
software reliability;
error detection;
object-oriented methods;
software metrics;
software fault tolerance;
software fault detectors;
fail-safe;
formal methods;
software metrics;
cost analysis;
fault injection;
dependable component-based systems;
error detection;
resource allocation;
fault tolerant systems;
benefit analysis;
37.
Software reliability estimation under certainty: generalization of the method of moments
机译:
确定性的软件可靠性估算:时刻方法的概括
作者:
Goseva-Popstojanova K.
;
Kamavaram S.
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2004年
关键词:
software reliability;
uncertainty handling;
software architecture;
method of moments;
object-oriented methods;
software reliability estimation;
method of moments;
component-based software systems;
software architecture;
38.
EM algorithm for discrete software reliability models: a unified parameter estimation method
机译:
离散软件可靠性模型的EM算法:统一参数估计方法
作者:
Okamura H.
;
Murayama A.
;
Dohi T.
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2004年
关键词:
software reliability;
program testing;
EM algorithm;
expectation-maximization algorithm;
discrete software reliability models;
unified parameter estimation;
discrete time circumstance;
39.
Decentralized workload management for assurance according to heterogeneous service levels
机译:
分散的工作量管理根据异构服务水平保证
作者:
Luque I.
;
Xiaodong Lu
;
Tasaka M.
;
Mori K.
;
Kuba Y.
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2004年
关键词:
information services;
resource allocation;
mobile agents;
quality of service;
customer relationship management;
workload management assurance;
heterogeneous service levels;
electronic commerce;
service level agreement;
SLA;
mission-critical environment;
faded information field;
distributed service replica network;
push mobile agent;
autonomous agents;
online maintenance;
auto-reconstruction;
pull mobile agent;
40.
Decentralized workload management for assurance according to heterogeneous service levels
机译:
分散的工作量管理根据异构服务水平保证
作者:
Luque I.
;
Xiaodong Lu
;
Tasaka M.
;
Mori K.
;
Kuba Y.
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2004年
关键词:
information services;
resource allocation;
mobile agents;
quality of service;
customer relationship management;
workload management assurance;
heterogeneous service levels;
electronic commerce;
service level agreement;
SLA;
mission-critical environment;
faded information field;
distributed service replica network;
push mobile agent;
autonomous agents;
online maintenance;
auto-reconstruction;
pull mobile agent;
41.
Software fault tree analysis for product lines
机译:
产品线软件故障树分析
作者:
Dehlinger J.
;
Lutz R.R.
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2004年
关键词:
product development;
software fault tolerance;
software reusability;
safety-critical software;
high-integrity product line;
software fault tree analysis;
SFTA;
safety-critical applications;
forward-analysis;
software failure mode analysis;
SFMECA;
requirements evolution;
software effect analysis;
software criticality analysis;
42.
Software reliability estimation under certainty: generalization of the method of moments
机译:
确定性的软件可靠性估算:时刻方法的概括
作者:
Goseva-Popstojanova K.
;
Kamavaram S.
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2004年
关键词:
software reliability;
uncertainty handling;
software architecture;
method of moments;
object-oriented methods;
software reliability estimation;
method of moments;
component-based software systems;
software architecture;
43.
EM algorithm for discrete software reliability models: a unified parameter estimation method
机译:
离散软件可靠性模型的EM算法:统一参数估计方法
作者:
Okamura H.
;
Murayama A.
;
Dohi T.
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2004年
关键词:
software reliability;
program testing;
EM algorithm;
expectation-maximization algorithm;
discrete software reliability models;
unified parameter estimation;
discrete time circumstance;
44.
How good is your blind spot sampling policy
机译:
您的盲点抽样政策有多好
作者:
Menzies T.
;
Di Stefano J.S.
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2004年
关键词:
program verification;
sampling methods;
formal specification;
software metrics;
blind spot sampling;
software assessment;
defect detectors;
formal specification;
black box probing;
automatic formal methods;
public domain defect data;
45.
Reducing overfitting in genetic programming models for software quality classification
机译:
减少基因编程模型的过度装备,软件质量分类
作者:
Yi Liu
;
Khoshgoftaar T.
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2004年
关键词:
genetic algorithms;
software quality;
classification;
fault tolerant computing;
software metrics;
telecommunication;
high-assurance system;
fault detection;
fault correction;
overfitting problem;
software quality classification models;
software modules;
genetic programming;
high-assurance telecommunication system;
GP models;
46.
Assessing reliability risk using fault correction profiles
机译:
使用故障校正配置文件评估可靠性风险
作者:
Schneidewind N.F.
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2004年
关键词:
software reliability;
error detection;
error correction;
software process improvement;
software fault tolerance;
risk management;
reliability risk metrics;
fault correction profile;
failure detection;
fault correction;
process improvement;
47.
Multi-view modeling and analysis of embedded real-time software with meta-modeling and model transformation
机译:
具有元建模和模型转换的嵌入式实时软件的多视图建模与分析
作者:
Zonghua Gu
;
Shige Wang
;
Kodase S.
;
Shin K.G.
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2004年
关键词:
embedded systems;
real-time systems;
software tools;
metacomputing;
software development management;
program compilers;
object-oriented programming;
software prototyping;
multiview modeling;
meta-modeling;
model transformation;
end-to-end tool-chain;
model-based design;
component-based embedded real-time software;
avionics mission computing;
system development life-cycle;
code generation;
run time instrumentation;
interface format definitions;
XML;
eXtensible Markup Language;
schedulability analysis;
automated allocation;
system prototyping;
48.
Multi-function system testing: composition of test sets
机译:
多功能系统测试:测试集的组成
作者:
Levin M.S.
;
Last M.
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2004年
关键词:
systems analysis;
program testing;
input-output programs;
optimisation;
multifunction system testing;
system requirements;
atomic system functions;
system function groups;
test sets;
49.
Flexible design of complex high-integrity systems using trade offs
机译:
灵活设计贸易关闭的复杂高完整性系统
作者:
Bate I.
;
Audsley N.
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2004年
关键词:
hardware-software codesign;
embedded systems;
program verification;
safety-critical software;
embedded systems;
software development;
software verification;
two-phase trade-off analysis;
hardware-software codesign;
system requirements;
critical systems;
system design;
50.
RUBASTEM: a method for testing VHDL behavioral models
机译:
Rubastem:一种测试VHDL行为模型的方法
作者:
Andrews A.
;
OFallon A.
;
Chen T.
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2004年
关键词:
hardware description languages;
knowledge based systems;
logic CAD;
logic testing;
program testing;
program verification;
data flow analysis;
hardware verification;
RUBASTEM;
rule-based software testing method;
Very High Speed Integrated Circuit;
VHDL behavioral models;
data flow analysis;
automated test pattern generation;
VHSIC;
hardware description language;
51.
Multi-view modeling and analysis of embedded real-time software with meta-modeling and model transformation
机译:
具有元建模和模型转换的嵌入式实时软件的多视图建模与分析
作者:
Zonghua Gu
;
Shige Wang
;
Kodase S.
;
Shin K.G.
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2004年
关键词:
embedded systems;
real-time systems;
software tools;
metacomputing;
software development management;
program compilers;
object-oriented programming;
software prototyping;
multiview modeling;
meta-modeling;
model transformation;
end-to-end tool-chain;
model-based design;
component-based embedded real-time software;
avionics mission computing;
system development life-cycle;
code generation;
run time instrumentation;
interface format definitions;
XML;
eXtensible Markup Language;
schedulability analysis;
automated allocation;
system prototyping;
52.
Reducing overfitting in genetic programming models for software quality classification
机译:
减少基因编程模型的过度装备,软件质量分类
作者:
Yi Liu
;
Khoshgoftaar T.
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2004年
关键词:
genetic algorithms;
software quality;
classification;
fault tolerant computing;
software metrics;
telecommunication;
high-assurance system;
fault detection;
fault correction;
overfitting problem;
software quality classification models;
software modules;
genetic programming;
high-assurance telecommunication system;
GP models;
53.
Knowledge management for computational intelligence systems
机译:
计算智能系统的知识管理
作者:
Weber R.
;
Duanqing Wu
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2004年
关键词:
knowledge management;
program testing;
case-based reasoning;
learning (artificial intelligence);
software tools;
knowledge management;
KM;
computational intelligence systems;
software testing;
case-based reasoning;
CIS;
54.
Assessing reliability risk using fault correction profiles
机译:
使用故障校正配置文件评估可靠性风险
作者:
Schneidewind N.F.
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2004年
关键词:
software reliability;
error detection;
error correction;
software process improvement;
software fault tolerance;
risk management;
reliability risk metrics;
fault correction profile;
failure detection;
fault correction;
process improvement;
55.
Developing high-assurance secure systems with UML: a smartcard-based purchase protocol
机译:
使用UML开发高保证安全系统:基于智能卡的购买协议
作者:
Jurjens J.
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2004年
关键词:
electronic commerce;
security of data;
smart cards;
safety-critical software;
specification languages;
cryptography;
protocols;
high assurance systems;
security software engineering;
security engineering;
security verification;
formal methods;
security evaluation;
security models;
cryptographic protocols;
electronic purses;
security-critical systems;
Unified Modeling Language;
UML;
UMLsec;
system specification;
formal semantics;
56.
Multi-function system testing: composition of test sets
机译:
多功能系统测试:测试集的组成
作者:
Levin M.S.
;
Last M.
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2004年
关键词:
systems analysis;
program testing;
input-output programs;
optimisation;
multifunction system testing;
system requirements;
atomic system functions;
system function groups;
test sets;
57.
The SSP: an example of high-assurance systems engineering
机译:
SSP:高保证系统工程的一个例子
作者:
Wickstrom G.L.
;
Davis J.
;
Morrison S.E.
;
Roach S.
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2004年
关键词:
systems engineering;
systems analysis;
systems software;
program verification;
program testing;
hardware-software codesign;
hardware description languages;
SSP;
high assurance systems engineering;
hardware engineering;
software engineering;
n-version programming;
program transformation;
program verification;
program consistency checking;
58.
Knowledge-centric and language independent framework for safety analysis tools
机译:
以知识为中心的安全分析工具的独立框架
作者:
Kothari S.C.
;
Bishop L.
;
Sauceda J.
;
Daugherty G.
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2004年
关键词:
avionics;
safety-critical software;
knowledge based systems;
software architecture;
specification languages;
knowledge-centric framework;
language independent framework;
safety analysis tools;
avionics;
domain-specific knowledge;
software transformation;
software inspection;
knowledge-centric software;
KCS;
eXtensible Common Intermediate Language;
XCIL;
eXtensible Pattern Specification Language;
XPSL;
59.
The SSP: an example of high-assurance systems engineering
机译:
SSP:高保证系统工程的一个例子
作者:
Wickstrom G.L.
;
Davis J.
;
Morrison S.E.
;
Roach S.
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2004年
关键词:
systems engineering;
systems analysis;
systems software;
program verification;
program testing;
hardware-software codesign;
hardware description languages;
SSP;
high assurance systems engineering;
hardware engineering;
software engineering;
n-version programming;
program transformation;
program verification;
program consistency checking;
60.
Knowledge-centric and language independent framework for safety analysis tools
机译:
以知识为中心的安全分析工具的独立框架
作者:
Kothari S.C.
;
Bishop L.
;
Sauceda J.
;
Daugherty G.
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2004年
关键词:
avionics;
safety-critical software;
knowledge based systems;
software architecture;
specification languages;
knowledge-centric framework;
language independent framework;
safety analysis tools;
avionics;
domain-specific knowledge;
software transformation;
software inspection;
knowledge-centric software;
KCS;
eXtensible Common Intermediate Language;
XCIL;
eXtensible Pattern Specification Language;
XPSL;
61.
Preventing and unifying threats in cyberphysical systems
机译:
防止和统一威胁媒介物理系统
作者:
Eduardo B. Fernandez
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2016年
关键词:
Cyberphysical systems;
secure systems design;
security patterns;
threat modeling;
threat patterns;
62.
Modeling Negative User Stories is Risky Business
机译:
建模负用户故事是危险的业务
作者:
Pankaj Kamthan
;
Nazlie Shahmir
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2016年
关键词:
agile methodologies;
conceptual modeling;
requirements engineering;
risk management;
security engineering;
software engineering;
63.
Model Checking for the Fault Tolerance of Collaborative AUVs
机译:
建模检查协作AUV的容错
作者:
Hong Liu
;
Tianyu Yang
;
Jing Wang
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2016年
关键词:
Autonomy Software Architecture;
Collaborative AUVs;
Fault Tolerance;
Model Checking;
64.
High-Integrity Multitasking in SPARK: Static Detection of Data Races and Locking Cycles
机译:
火花中的高完整性多任务处理:静态检测数据种族和锁定周期
作者:
S. Tucker Taft
;
Florian Schanda
;
Yannick Moy
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2016年
关键词:
formal verification;
multitasking;
65.
An Analysis Platform for Execution-Based Model Generation
机译:
基于执行的模型生成分析平台
作者:
Jaime C. Acosta
;
Salamah Salamah
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2016年
关键词:
Routing protocol attacks;
impact prediction;
model generation;
66.
Task Characterization for an Effective Worker Targeting in Crowdsourcing
机译:
众包定位的有效工人的任务特征
作者:
Tarek Awwad
;
Nadia Bennani
;
Lionel Brunie
;
David Coquil
;
Harald Kosch
;
Veronika Rehn-Sonigo
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2016年
67.
Design Diversity for Mitigating Monoculture Induced Threats
机译:
用于减轻单一种植诱导威胁的设计多样性
作者:
Qi Cheng
;
Kevin Kwiat
;
Charles A. Kamhoua
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2016年
关键词:
binary decision diagram;
design diversity;
mixed integer linear programming;
monoculture;
68.
Empirical Assessment of Methods to Detect Cyber Attacks on a Robot
机译:
检测机器人网络攻击方法的实证评估
作者:
Giedre Sabaliauskaite
;
Geok See Ng
;
Justin Ruths
;
Aditya P. Mathur
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2016年
关键词:
cyber-attacks;
cyber-physical systems;
robots;
safety;
security;
69.
Towards a MARTE Extension to Address Adaptation Mechanisms
机译:
朝着迈尔延伸到解决适应机制
作者:
Mohamed Naija
;
Jean-Michel Bruel
;
Samir Ben Ahmed
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2016年
关键词:
Adaptive Systems;
MARTE;
Model-Driven Engineering;
Real-time amp;
Embedded Systems;
70.
CSRS: Cyber Survive and Recover Simulator
机译:
CSRS:网络存活和恢复模拟器
作者:
Swastik Brahma
;
Kevin Kwiat
;
Pramod K. Varshney
;
Charles A. Kamhoua
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2016年
关键词:
Cyber-security simulation;
Diversity;
Game Theory;
71.
High Assurance Smart Metering
机译:
高保证智能计量
作者:
Sara Cleemput
;
Mustafa A. Mustafa
;
Bart Preneel
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2016年
72.
Securing a Connected Mobile System for Healthcare
机译:
保护连接的移动系统以获得医疗保健
作者:
Eric Reinsmidt
;
David Schwab
;
Li Yang
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2016年
关键词:
EHR;
EMR;
Healthcare;
Mobile Security;
Secure Channel;
73.
World Model for Testing Autonomous Systems Using Petri Nets
机译:
使用Petri网测试自治系统的世界模型
作者:
Anneliese Andrews
;
Mahmoud Abdelgawad
;
Ahmed Gario
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2016年
关键词:
Autonomous systems;
Behavioral models;
Model-based testing;
Petri nets;
74.
Using Network Topology to Supplement High Assurance Systems
机译:
使用网络拓扑来补充高保证系统
作者:
Paul Hyden
;
Ira S. Moskowitz
;
Stephen Russell
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2016年
75.
Statistical Model Checking for SystemC Models
机译:
SystemC模型检查统计模型
作者:
Van Chan Ngo
;
Axel Legay
;
Jean Quilbeuf
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2016年
关键词:
Probabilistic Assertion;
Program Verification;
Runtime Verification;
Statistical Model Checking;
SystemC;
76.
Software Defect Prediction Using Exception Handling Call Graphs: A Case Study
机译:
软件缺陷预测使用异常处理呼叫图:一个案例研究
作者:
Puntitra Sawadpong
;
Edward B. Allen
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2016年
关键词:
case study;
defects;
empirical;
exception handling;
fault prediction;
software metrics;
static analysis;
77.
CLOUBEX: A Cloud-Based Security Analysis Framework for Browser Extensions
机译:
Cloubex:浏览器扩展的基于云的安全分析框架
作者:
Saikat Das
;
Mohammad Zulkernine
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2016年
关键词:
Firefox;
Firefox for Android;
Mobile browser extensions;
cloud;
desktop browser extensions;
security;
static analysis;
78.
D^2PS: A Dependable Data Provisioning Service in Multi-tenant Cloud Environment
机译:
D ^ 2ps:多租户云环境中的可靠数据供应服务
作者:
Renyu Yang
;
Tianyu Wo
;
Chunming Hu
;
Jie Xu
;
Mingming Zhang
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2016年
关键词:
Cloud Storage;
Cooperative Cache;
Metadata;
Multi-tenant Cloud;
79.
Characterization of Cyberattacks Aimed at Integrated Industrial Control and Enterprise Systems: A Case Study
机译:
旨在综合工业控制和企业系统的网络攻击特征 - 以案例研究
作者:
Raymond C. Borges Hink
;
Katerina Goseva-Popstojanova
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2016年
关键词:
Attack characterization;
Enterprise system security;
Industrial control system security;
SCADA testbed;
Severity;
80.
Empirical Techniques to Detect and Mitigate the Effects of Irrevocably Evolving User Profiles in Touch-Based Authentication Systems
机译:
检测和减轻触控式用户简档在触摸认证系统中的效果的经验技术
作者:
Nikhil Palaskar
;
Zahid Syed
;
Sean Banerjee
;
Charlotte Tang
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2016年
关键词:
behavioral biometrics;
continual authentication;
touch dynamics;
touch-based authentication;
user authentication;
81.
An Extension of Category Partition Testing for Highly Constrained Systems
机译:
高约束系统的类别分区测试的扩展
作者:
Sunint Kaur Khalsa
;
Yvan Labiche
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2016年
关键词:
Category partition;
Combinatorial testing;
combination criteria;
constraints;
82.
Proving Critical Properties of Simulink Models
机译:
证明Simulink模型的关键属性
作者:
Ashlie B. Hocking
;
M. Anthony Aiello
;
John C. Knight
;
Nikos Ar??chiga
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2016年
关键词:
Cyber-physical systems;
PVS;
Simulink;
formal verification;
model-based-development;
83.
Incremental Formal Methods Based Design Approach Demonstrated on a Coupled Tanks Control System
机译:
基于增量的正式方法在耦合罐控制系统上证明了基于的设计方法
作者:
Kerianne H. Gross
;
Aaron W. Fifarek
;
Jonathan A. Hoffman
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2016年
关键词:
Architecture;
Certification;
K-Induction;
Model;
Model Checking;
Process;
Requirements;
SLDV;
Simulink;
84.
Generating Threat Profiles for Cloud Service Certification Systems
机译:
为云服务认证系统生成威胁配置文件
作者:
Philipp Stephanow
;
Christian Banse
;
Julian Sch??tte
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2016年
关键词:
certification;
cloud services;
threat analysis;
85.
Representation of Confidence in Assurance Cases Using the Beta Distribution
机译:
使用β发布对保证案件的信心表示
作者:
Lian Duan
;
Sanjai Rayadurgam
;
Mats Heimdahl
;
Oleg Sokolsky
;
Insup Lee
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2016年
86.
Compositional Architecture Design for Fuel Tank Thermal Systems
机译:
燃料箱热系统的组成建筑设计
作者:
Sean J. S. Regisford
;
Brian K. Hulbert
;
Aaron W. Fifarek
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2016年
关键词:
AADL;
AGREE;
architecture;
assume-guarantee constructs;
formal methods;
model checker;
validation;
verification;
87.
Synthesis of Logic Interpretations
机译:
逻辑解释的综合
作者:
Jian Xiang
;
John Knight
;
Kevin Sullivan
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2016年
关键词:
Logic interpretation;
real-world types;
software reliability;
88.
The Cost of Formal Verification in Adaptive CPS. An Example of a Virtualized Server Node
机译:
适应性CPS中正式验证的成本。虚拟化服务器节点的示例
作者:
Marcello M. Bersani
;
Marisol Garc??a-Valls
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2016年
关键词:
Cyber-physical systems;
linear temporal logic;
real-time;
resource management;
verification;
virtualization;
89.
Quantification of the Effectiveness of Medium Voltage Control Policies in Smart Grids
机译:
智能电网中中压控制策略有效性的量化
作者:
Silvano Chiaradonna
;
Felicita Di Giandomenico
;
Jun Xiao
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2016年
关键词:
Cyber-physical systems;
Power system control;
SAN Formalism;
Smart grids;
Stochastic model-based analysis;
90.
Presenting the Proper Data to the Crisis Management Operator: A Relevance Labelling Strategy
机译:
向危机管理运营商提出适当的数据:相关标签策略
作者:
Tommaso Zoppi
;
Andrea Ceccarelli
;
Paolo Lollini
;
Andrea Bondavalli
;
Francesco Lo Piccolo
;
Gabriele Giunta
;
Vito Morreale
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2016年
关键词:
Twitter;
crisis management system;
data filtering;
data fusion;
human sensors;
relevance labeling;
91.
Formal Development of a Secure Access Control Filter
机译:
安全访问控制滤波器的正式开发
作者:
Amel Mammar
;
Thi Mai Nguyen
;
R??gine Laleau
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2016年
关键词:
Formal Method;
Information Systems;
Secure Filter;
Verification;
92.
Using Models to Validate Unanticipated, Fine-Grained Adaptations at Runtime
机译:
使用模型在运行时验证意外的细粒度适应
作者:
Mohammed Al-Refai
;
Walter Cazzola
;
Sudipto Ghosh
;
Robert France
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2016年
关键词:
executable UML models;
model-based dynamic adaptation;
model-based validation;
software analysis and visualization;
system validation;
unanticipated adaptation;
93.
Safe Multi-objective Planning with a Posteriori Preferences
机译:
安全多目标规划,后验偏好
作者:
Ralph Eastwood
;
Rob Alexander
;
Tim Kelly
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2016年
关键词:
Monte-Carlo Tree Search;
POMDP;
Planning;
Safety;
Safety critical systems;
94.
FCFraud: Fighting Click-Fraud from the User Side
机译:
Fcfraud:从用户侧战斗点击欺诈
作者:
Md. Shahrear Iqbal
;
Md. Zulkernine
;
Fehmi Jaafar
;
Yuan Gu
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2016年
关键词:
Online advertising;
click-fraud;
malware detection;
95.
Formalisation-Driven Development of Safety-Critical Systems
机译:
行动驱动安全关键系统的开发
作者:
Alexei Iliasov
;
Alexander Romanovsky
;
Elena Troubitsyna
;
Linas Laibinis
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2016年
关键词:
OSLC;
co-engineering;
formal modelling;
requirements;
96.
Correct Instantiation of a System Reconfiguration Pattern: A Proof and Refinement-Based Approach
机译:
正确实例化系统重新配置模式:基于证据和基于的方法
作者:
Guillaume Babin
;
Yamine Ait-Ameur
;
Marc Pantel
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2016年
关键词:
Event-B;
proof and refinement-based methods;
system reconfiguration;
system substitution;
97.
An Investigation into the Response of a Water Treatment System to Cyber Attacks
机译:
水处理系统对网络攻击响应的调查
作者:
Sridhar Adepu
;
Aditya Mathur
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2016年
关键词:
Attack detection;
Cyber Physical Systems;
Secure Water Treatment testbed;
attack model;
attacker model;
cyber attacks;
cyber security;
98.
A Holistic Viewpoint-Based SysML Profile to Design Systems-of-Systems
机译:
基于一个整体的基于ViewPoint的Sysml配置文件,用于设计系统系统
作者:
Marco Mori
;
Andrea Ceccarelli
;
Paolo Lollini
;
Andrea Bondavalli
;
Bernhard Fr??mel
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2016年
关键词:
Conceptual Model;
SysML Profile;
System of Systems;
99.
Runtime Adjustment of Configuration Models for Consistency Preservation
机译:
运行时调整配置模型以获得一致性保存
作者:
Azadeh Jahanbanifar
;
Ferhat Khendek
;
Maria Toeroe
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2016年
关键词:
change propagation;
consistency;
dynamic reconfiguration;
model driven engineering;
runtime adjustment;
system configuration;
100.
Game Theory with Learning for Cyber Security Monitoring
机译:
游戏理论与学习网络安全监控
作者:
Keywhan Chung
;
Charles A. Kamhoua
;
Kevin A. Kwiat
;
Zbigniew T. Kalbarczyk
;
Ravishankar K. Iyer
会议名称:
《IEEE International Symposium on High Assurance Systems Engineering》
|
2016年
意见反馈
回到顶部
回到首页