掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
Conference on data systems in aerospace
Conference on data systems in aerospace
召开年:
2013
召开地:
Porto(PT)
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
共
135
条结果
1.
“A PROPOSAL FOR A SPACE FLIGHT DEMONSTRATION OF A DYNAMICALLY RECONFIGURABLE PROGRAMMABLE MODULE WHICH USES FIRMWARE TO REALISE AN ASTRIUM PATENTED COSMIC RANDOM NUMBER GENERATOR FOR GENERATING SECURE CRYPTOGRAPHIC KEYS”
机译:
“关于动态地重新配置可编程模块的飞行演示的提案,该模块使用FirMW来实现用于生成安全密码密钥的ATEX专利宇宙波数发生器。”
作者:
Adam Taylor
;
Peter Bennie
;
Fredrick Guyone
;
Ian Cameron
;
Jame Glanfield
;
Omar Emam
会议名称:
《Conference on data systems in aerospace》
|
2013年
2.
THE LION NAVIGATOR A FAMILY OF NEW GNSS RECEIVERS FOR SPACE APPLICATIONS
机译:
狮子导航仪是用于空间应用的新型GNSS接收器系列
作者:
Uwe Hoch
;
Peter A. Krauss
;
Mohsin Syed
会议名称:
《Conference on data systems in aerospace》
|
2013年
关键词:
GNSS;
GPS;
Galileo;
AGGA-4;
LIONNavigator;
3.
RADIATION HARD 0.13 MICRON CMOS LIBRAY AT IHP
机译:
IHP的辐射困难0.13微米CMOS光刻
作者:
U. Jagdhold
会议名称:
《Conference on data systems in aerospace》
|
2013年
4.
Towards Safety Certification with Reusable SW Components in Space
机译:
通过太空中可重复使用的软件组件实现安全认证
作者:
Christophe Sala
;
Ricardo Moreno
;
Maria del Carmen Lomba
;
Elena Ala?a
会议名称:
《Conference on data systems in aerospace》
|
2013年
关键词:
Safety Certification;
SW reuse;
ECSS;
crossdomain;
5.
RADIATION HARD 0.13 MICRON CMOS LIBRARY AT IHP
机译:
IHP的辐射硬0.13 MICRON CMOS库
作者:
U. Jagdhold
会议名称:
《Conference on data systems in aerospace》
|
2013年
6.
ON-ORBIT VERIFICATION STATUS OF THE PAYLOAD SUPPLY SYSTEM AND THE SENSOR BUS SYSTEM ONBOARD TET-1
机译:
TET-1机载有效载荷系统和传感器总线系统在轨验证状态
作者:
Andreas Hurni
;
Christoph Tiefenbeck
;
Heinz-Volker Heyer
;
Norbert M. K. Lemke
会议名称:
《Conference on data systems in aerospace》
|
2013年
7.
THE LENA ASIC: EMULATING AN OBSOLETE PROCESSOR
机译:
LENA ASIC:模拟过时的处理器
作者:
J.L. CARAYON
;
F. GRELOT
;
L. MARY
;
J. BERTRAND
;
G. LIABEUF
会议名称:
《Conference on data systems in aerospace》
|
2013年
8.
Multiple Viewpoints System / Software Engineering for Space
机译:
多视角空间系统/软件工程
作者:
Ga?l Blondelle
;
Marco Panunzio
;
Jér?me Péquery
;
Mélanie Bats
;
Gérald Garcia
;
Cédric Brun
会议名称:
《Conference on data systems in aerospace》
|
2013年
关键词:
Modeling Viewpoints;
Domain Specific Languages;
DSL;
Model Based System Engineering;
MBSE;
SpaceComponent Model;
SCM;
Eclipse Modeling;
9.
TOWARDS SAFETY CERTIFICATION WITH REUSABLE SW COMPONENTS IN SPACE
机译:
通过在空间中使用可重复使用的软件组件实现安全认证
作者:
Ricardo Moreno
;
Christophe Sala
;
Raúl Regada1
;
Luis Basanta
;
Maria del Carmen Lomba
;
Elena Ala?a
会议名称:
《Conference on data systems in aerospace》
|
2013年
关键词:
Safety Certification;
SW reuse;
ECSS;
crossdomain;
10.
Potentials of RF/FSO Communication in UAS Operations
机译:
UAS运营中RF / FSO通信的潜力
作者:
Wolfgang Griethe
;
Frank Heine
会议名称:
《Conference on data systems in aerospace》
|
2013年
11.
MULTIPLE VIEWPOINTS SYSTEM / SOFTWARE ENGINEERING FOR SPACE
机译:
多视点系统/空间软件工程
作者:
Ga?l Blondelle
;
Marco Panunzio
;
Jér?me Péquery
;
Mélanie Bats
;
Gérald Garcia
;
Cédric Brun
会议名称:
《Conference on data systems in aerospace》
|
2013年
关键词:
Modeling Viewpoints;
Domain Specific Languages;
DSL;
Model Based System Engineering;
MBSE;
SpaceComponent Model;
SCM;
Eclipse Modeling;
12.
SHARING A UNIQUE COMPUTING PLATFORM BETWEEN A PAYLOAD AND A PLATFORM SOFTWARE USING IMA-SP
机译:
使用IMA-SP在有效载荷和平台软件之间共享唯一的计算平台
作者:
R. de Ferluc
;
G. Garcia
;
M. Hann
;
A. Taylor
;
S. Fowell
会议名称:
《Conference on data systems in aerospace》
|
2013年
关键词:
IMA;
IMA for Space;
IMA-SP development process;
Independent lifecycles;
Partitions;
Partitioning Kernel;
Reuse. Time and Space partitioning (TSP);
13.
A MODULAR AND CONFIGURABLE INSTRUMENT ELECTRONICS ARCHITECTURE FOR “MiniSAR” - AN ADVANCED SMALLSAT SAR INSTRUMENT
机译:
“ MiniSAR”的模块化可配置仪器电子体系结构-一种先进的SMARTSAT SAR仪器
作者:
Jaime Gomez
;
Max Pastena
;
Laurens Bierens
会议名称:
《Conference on data systems in aerospace》
|
2013年
14.
SPACEFIBRE: A MULTI-GIGABIT/S NETWORK TECHNOLOGY FOR SPACECRAFT ON-BOARD DATA-HANDLING PPLICATIONS
机译:
SPACEFIBRE:用于航天飞机机载数据处理应用程序的多千兆位/ S网络技术
作者:
Steve Parkes
;
Chris McClements
;
Albert Ferrer
;
Alberto Gonzalez Villafranca
会议名称:
《Conference on data systems in aerospace》
|
2013年
15.
SPACEWIRE EGSE: REAL-TIME SIMULATION OF SPACEWIRE INSTRUMENTS IN A DAY
机译:
空间线EGSE:一天中空间线仪器的实时模拟
作者:
Stephen Mudie
;
Steve Parkes
;
Martin Dunstan
会议名称:
《Conference on data systems in aerospace》
|
2013年
16.
MODEL-BASED RAMS FDIR CO-ENGINEERING AT ASTRIUM SATELLITES
机译:
卫星电视中基于模型的RAM和FDIR协同
作者:
Dave Thomas
;
Jean-Paul Blanquart
会议名称:
《Conference on data systems in aerospace》
|
2013年
17.
VIDANA: DATA MANAGEMENT SYSTEM FOR NANO SATELLITES
机译:
VIDANA:纳米卫星数据管理系统
作者:
Sergio Montenegro
;
Thomas Walter
;
Erik Dilger
会议名称:
《Conference on data systems in aerospace》
|
2013年
18.
THE LENA ASIC: EMULATING AN OBSOLETE PROCESSOR
机译:
LENA ASIC:模拟过时的处理器
作者:
Jl. Carayon
;
L.Mary
;
J.Bertrand
;
F.Manni
会议名称:
《Conference on data systems in aerospace》
|
2013年
19.
LEAN AND AGILE DEVELOPMENT OF THE AITS GROUND SOFTWARE SYSTEM
机译:
AITS地面软件系统的精益和敏捷开发
作者:
Mark Richters
;
Etienne Dutruel
;
Nicholas Mecredy
会议名称:
《Conference on data systems in aerospace》
|
2013年
关键词:
AITS;
EGSE;
MCS;
Agile;
Lean;
20.
SOFTWARE DEVELOPMENT ENVIRONMENT WITH INTEGRATED CODE ROCKET CAPABILITIES
机译:
具有集成代码火箭功能的软件开发环境
作者:
Steve Parkes
;
David Paterson
;
Alan Spark
;
Bruce Guoxia Yu
会议名称:
《Conference on data systems in aerospace》
|
2013年
21.
ON-ORBIT VERIFICATION STATUS OF THE PAYLOAD SUPPLY SYSTEM AND THE SENSOR BUS SYSTEM ONBOARD TET-1
机译:
TET-1机载有效载荷系统和传感器总线系统在轨验证状态
作者:
Andreas Hurni
;
Frank Pellowski
;
Christoph Tiefenbeck
;
Heinz-Volker Heyer
;
Norbert M. K. Lemke
会议名称:
《Conference on data systems in aerospace》
|
2013年
22.
LEAN AND AGILE DEVELOPMENT OF THE AITS GROUND SOFTWARE SYSTEM
机译:
AITS地面软件系统的精益和敏捷开发
作者:
Mark Richters
;
Etienne Dutruel
;
Nicholas Mecredy
会议名称:
《Conference on data systems in aerospace》
|
2013年
关键词:
AITS;
EGSE;
MCS;
Agile;
Lean;
23.
SOFTWARE DEVELOPMENT ENVIRONMENT WITH INTEGRATED CODE ROCKET CAPABILITIES
机译:
具有集成代码火箭功能的软件开发环境
作者:
Steve Parkes
;
David Paterson
;
Alan Spark
;
Bruce Guoxia Yu
会议名称:
《Conference on data systems in aerospace》
|
2013年
24.
TEST PROGRAM OF THE “COMBINED DATA AND POWER MANAGEMENT INFRASTRUCTURE”
机译:
“数据与电源管理相结合的基础设施”的测试计划
作者:
Jens Eickhoff
;
Michael Fritz
;
Rouven Witt
;
Nico Bucher
;
Hans-Peter R?ser
会议名称:
《Conference on data systems in aerospace》
|
2013年
25.
SATELLITE TELEMETRY ANALYZER TOOL FOR DUBAISAT-1
机译:
用于DUBAISAT-1的卫星遥测分析仪工具
作者:
Omran Al Hammadi
;
Amel Amin
;
Adnan Al Rais
;
Majid Alloghani
会议名称:
《Conference on data systems in aerospace》
|
2013年
26.
TIME AND SPACE PARTITIONING THE EAGLEEYE REFERENCE MISSION
机译:
时间和空间划分EAGLEEYE参考任务
作者:
Victor Bos
;
Peter Mendham
;
Panu Kauppinen
;
Niklas Holsti
;
Alfons Crespo
;
Miguel Masmano
;
Juan A. de la Puente
;
Juan Zamorano
会议名称:
《Conference on data systems in aerospace》
|
2013年
27.
FORMAL VALIDATION OF AEROSPACE SOFTWARE
机译:
航空软件的正式验证
作者:
David LESENS
;
Yannick MOY
;
Johannes KANIG
会议名称:
《Conference on data systems in aerospace》
|
2013年
28.
RTU2015: STANDARDIZING THE REMOTE TERMINAL UNITS
机译:
RTU2015:标准化远程终端设备
作者:
Jesús Ortiz Martín
;
Javier Goyanes Torres
;
Giorgio Magistrati
会议名称:
《Conference on data systems in aerospace》
|
2013年
29.
REMARKS ON SENTINEL-1 AVIONIC SW QUALIFICATION
机译:
关于SENTINEL-1航空软件资格认证的评论
作者:
Candia Sante
;
Pascucci Dario
会议名称:
《Conference on data systems in aerospace》
|
2013年
30.
AVIONIC ARCHITECTURE FOR MODEL PREDICTIVE CONTROL APPLICATION IN MARS SAMPLERETURN RENDEZVOUS SCENARIO
机译:
航空建筑模型在火星采样与返回交会场景中的模型预测控制
作者:
M.Saponara
;
A.Tramutola
;
P.Creten
;
J. Hardy
;
C. Philippe
会议名称:
《Conference on data systems in aerospace》
|
2013年
31.
STREAMLINING THE ELEASE PROCESS FOR THE HETEROGENEOUS COLUMBUS SOFTWARE SYSTEM
机译:
简化异构Columbus软件系统的发布过程
作者:
Temenushka Manthey
;
Matthias Brandt
;
Uwe Westerholt
会议名称:
《Conference on data systems in aerospace》
|
2013年
32.
FPGA-BASED IP-CORES LIBRARY FOR ADVANCED IMAGE PROCESSING IN SPACE APPLICATIONS
机译:
基于FPGA的IP-CORES库,用于空间应用中的高级图像处理
作者:
Piergiorgio Lanza
;
Andrea Martelli
;
Paolo Prinetto
;
Daniele Rolfo
;
Antonio Tramutola
;
Pascal Trotta
会议名称:
《Conference on data systems in aerospace》
|
2013年
33.
End-to-end System Performance Simulation: A Data-Centric Approach
机译:
端到端系统性能仿真:以数据为中心的方法
作者:
Arnaud Guillaume
;
Jean-Luc Laffitte de Petit
;
Xavier Auberger
会议名称:
《Conference on data systems in aerospace》
|
2013年
关键词:
Timeliness;
End-to-End;
Discrete Event Simulation (DES);
Optimisation;
34.
A STUDY OF UMBILICAL COMMUNICATION INTERFACE OF SIMULATOR KERNEL TO ENHANCE VISIBILITY AND CONTROLLABILITY
机译:
仿真内核的通信接口增强可见性和可控性的研究
作者:
Cheol Hea KOO
;
Hoon Hee LEE
;
Sung Tae Moon
;
Sang Hyuck Han
;
Gwang Hyeok JU
会议名称:
《Conference on data systems in aerospace》
|
2013年
35.
END-TO-END SYSTEM PERFORMANCE SIMULATION: A DATA-CENTRIC APPROACH
机译:
端到端系统性能仿真:以数据为中心的方法
作者:
Arnaud Guillaume
;
Jean-Luc Laffitte de Petit
;
Xavier Auberger
会议名称:
《Conference on data systems in aerospace》
|
2013年
关键词:
Timeliness;
End-to-End;
Discrete Event Simulation (DES);
Optimisation;
36.
Rad-Hard 2.5 Gbps SpaceFibre Interface Device
机译:
Rad-Hard 2.5 Gbps SpaceFibre接口设备
作者:
Ran Ginosar
;
Tuvia Liran
;
Dov Alon
;
Reuven Dobkin
;
Michael Goldberg
;
Gal Sokolov
;
Gennady Burdo
;
Nimrod Blatt
;
Steve Parkes
;
Paul Rastetter
;
Milos Krstic
;
Alberto Crescenzio
会议名称:
《Conference on data systems in aerospace》
|
2013年
37.
FILES IN SPACE: MANAGEMENT TRANSFER
机译:
空间中的文件:管理和传输
作者:
Brice Dellandrea
;
Régid De-Ferluc
;
Philippe Fourtier
;
Raymond Soumagne
会议名称:
《Conference on data systems in aerospace》
|
2013年
关键词:
File Operations;
File Transfer;
FileManagement;
CFDP;
PUS;
Large Data Transfer;
38.
FPGA-based IP-cores library for advanced image processing in space applications
机译:
基于FPGA的IP内核库,用于太空应用中的高级图像处理
作者:
Paolo Prinetto
;
Daniele Rolfo
;
Pascal Trotta
;
Politecnico di Torino
;
Piergiorgio Lanza
;
Andrea Martelli
;
Antonio Tramutola
会议名称:
《Conference on data systems in aerospace》
|
2013年
39.
FIRST EXPERIENCES WITH CHIP DEVELOPMENT ON THE COMMERCIAL STM 65 NM PROCESS
机译:
在商业STM 65 NM工艺上进行芯片开发的第一个经验
作者:
M. Syed
;
T. Helfers
;
V. Baumgarte
;
C. Papadas
会议名称:
《Conference on data systems in aerospace》
|
2013年
40.
STRENGTHENING THE SECURITY OF ESA GROUND DATA SYSTEMS
机译:
加强ESA地面数据系统的安全性
作者:
Felix Flentge
;
James Eggleston
;
Marc Garcia Mateos
会议名称:
《Conference on data systems in aerospace》
|
2013年
41.
RESULTS FROM AN INDEPENDENT VIEW ON THE VALIDATION OF SAFETY-CRITICAL SPACE SYSTEMS
机译:
安全关键空间系统验证独立视图的结果
作者:
N. Silva
;
R. Lopes
;
A. Esper
;
R. Barbosa
会议名称:
《Conference on data systems in aerospace》
|
2013年
42.
BEPICOLOMBO MPO DATA HANDLING AND ARCHIVING OPERATIONS STRATEGY
机译:
BEPICOLOMBO MPO数据处理和归档操作策略
作者:
Fernando Pérez-López
;
Santa Martínez
;
Sara de la Fuente
;
Jayne Lefort
;
Mauro Casale
会议名称:
《Conference on data systems in aerospace》
|
2013年
43.
EVALUATION, ASSESSMENT AND HARDWARE PROTOTYPING OF THE SPACEWIRE-D PROTOCOL
机译:
SPACEWIRE-D协议的评估,评估和硬件原型
作者:
Antonis Tavoularis
;
Nikos Pogkas
;
Vangelis Kollias
;
Kostas Marinis
会议名称:
《Conference on data systems in aerospace》
|
2013年
44.
THE INTELLIGENT FLIGHT SOFTWARE OF DUBAISAT-2
机译:
DUBAISAT-2的智能飞行软件
作者:
Ibrahim Almidfa
;
Zakareyya Alshamsi
;
Hyoung-Sic Park
会议名称:
《Conference on data systems in aerospace》
|
2013年
45.
A STUDY OF UMBILICAL COMMUNICATION INTERFACE OF SIMULATOR KERNEL TO ENHANCE VISIBILITY AND CONTROLLABILITY
机译:
仿真内核的通信接口增强可见性和可控性的研究
作者:
Cheol Hea KOO
;
Hoon Hee LEE
;
Sung Tae Moon
;
Sang Hyuck Han
;
Gwang Hyeok JU
会议名称:
《Conference on data systems in aerospace》
|
2013年
46.
SPACEFIBRE: A MULTI-GIGABIT/S NETWORK TECHNOLOGY FOR SPACECRAFT ON-BOARD DATA-HANDLING APPLICATIONS
机译:
SPACEFIBRE:用于航天飞机机载数据处理应用程序的多千兆位/ S网络技术
作者:
Steve Parkes
;
Chris McClements
;
Albert Ferrer
;
Alberto Gonzalez
会议名称:
《Conference on data systems in aerospace》
|
2013年
47.
SPACEWIRE EGSE: REAL-TIME SIMULATION OF SPACEWIRE INSTRUMENTS IN A DAY
机译:
空间线EGSE:一天中空间线仪器的实时模拟
作者:
Steve Parkes
;
Martin Dunstan
;
Stephen Mudie
会议名称:
《Conference on data systems in aerospace》
|
2013年
48.
A WATERFALL MODEL TAILORING FOR SPACE SW APPLIANCES
机译:
空间开关设备的瀑布模型定制
作者:
Massimo Tipaldi
;
Massimo Ferraguto
;
Luigi Troiano
;
Bernhard Bruenjes
会议名称:
《Conference on data systems in aerospace》
|
2013年
49.
A Case Study on Automated Source-Code-Based Testing Methods
机译:
基于自动源代码的测试方法的案例研究
作者:
Ralf Gerlich
;
Rainer Gerlich
;
Kenneth Kvinnesland
;
Bengt Solheimdal Johansen
;
Marek Prochazka
会议名称:
《Conference on data systems in aerospace》
|
2013年
关键词:
automatic test data generation;
unit testing;
robustness testing;
fault injection;
test coverage;
testability;
50.
The FOREVER Methodology: a MBSE framework for Formal Verification
机译:
永远的方法:用于形式验证的MBSE框架
作者:
Laura Baracchi
;
Silvia Mazzini
;
Gerald Garcia
;
Alessandro Cimatti
;
Stefano Tonetta
会议名称:
《Conference on data systems in aerospace》
|
2013年
51.
THE FOREVER METHODOLOGY: A MBSE FRAMEWORK FOR FORMAL VERIFICATION
机译:
永远的方法:用于正式验证的MBSE框架
作者:
Laura Baracchi
;
Sivia Mazzini
;
Alessandro Cimatti
;
Stefano Tonetta
;
Gerald Garcia
会议名称:
《Conference on data systems in aerospace》
|
2013年
52.
Towards a Platform for Image Acquisition and Processing on RASTA
机译:
建立RASTA上的图像采集和处理平台
作者:
Gianluca Furano
;
Farid Guettache
;
Giorgio Magistrati
;
Gabriele Tiotto
会议名称:
《Conference on data systems in aerospace》
|
2013年
53.
TOWARDS A PLATFORM FOR IMAGE ACQUISITION AND PROCESSING ON RASTA
机译:
迈向RASTA上图像采集和处理的平台
作者:
Gianluca Furano
;
Farid Guettache
;
Giorgio Magistrati
;
Gabriele Tiotto
会议名称:
《Conference on data systems in aerospace》
|
2013年
54.
Sharing a unique computing platform between a payload and a platform software using IMA-SP
机译:
使用IMA-SP在有效负载和平台软件之间共享唯一的计算平台
作者:
R. de Ferluc
;
G. Garcia
;
M. Hann
;
A. Taylor
;
S. Fowell
会议名称:
《Conference on data systems in aerospace》
|
2013年
关键词:
IMA;
IMA for Space;
IMA-SP development process;
Independent lifecycles;
Partitions;
Partitioning Kernel;
Reuse. Time and Space partitioning (TSP);
55.
OMAC4S - OPEN MODULAR AVIONICS ARCHITECTURE FOR SPACE APPLICATIONS
机译:
OMAC4S-用于空间应用的开放式模块化航空电子体系结构
作者:
H.-J. Herpel
;
G. Willich
;
T. Vogel
;
A. Schuettauf
;
S. Pletner
;
F. Schoen
;
C. Fidi
;
M. Loetzke
;
L. Dittrich
;
P. Schuelke
;
T. Wolf
会议名称:
《Conference on data systems in aerospace》
|
2013年
56.
Results from an independent view on the validation of safety-critical space systems
机译:
关于安全关键型空间系统验证的独立观点的结果
作者:
N. Silva
;
R. Lopes
;
A. Esper
;
R. Barbosa
会议名称:
《Conference on data systems in aerospace》
|
2013年
57.
oMac4S - Open Modular Avionics for Space Applications
机译:
oMac4S-用于太空应用的开放式模块化航空电子设备
作者:
L. Dittrich
;
C. Fidi
;
H.-J. Herpel
;
M. Loetzke
;
F. Schoen
;
P.Schuelke
;
A. Schuettauf
;
T. Vogel
;
G. Willich
;
T. Wolf
会议名称:
《Conference on data systems in aerospace》
|
2013年
58.
Test Program of the “Combined Data and Power Management Infrastructure”
机译:
“数据和电源管理组合基础架构”的测试程序
作者:
Jens Eickhoff
;
Michael Fritz
;
Rouven Witt
;
Nico Bucher
;
Hans-Peter R?ser
会议名称:
《Conference on data systems in aerospace》
|
2013年
59.
CANOPEN ON RASTA: THE INTEGRATION OF THE CANOPEN IP CORE IN THE AVIONICS TESTBED
机译:
CANOPEN on RASTA:将CANOPEN IP内核集成到经过航空测试的系统中
作者:
Gianluca Furano
;
Farid Guettache
;
Giorgio Magistrati
;
Gabriele Tiotto
;
Carlos Urbina Ortega
;
Alberto Valverde
会议名称:
《Conference on data systems in aerospace》
|
2013年
60.
CanOpen on RASTA: the Integration of the CanOpen IP Core in the Avionics Testbed
机译:
RASTA上的CanOpen:航空电子测试台中CanOpen IP内核的集成
作者:
Gianluca Furano
;
Farid Guettache
;
Giorgio Magistrati
;
Gabriele Tiotto
;
Carlos Urbina Ortega
;
Alberto Valverde
会议名称:
《Conference on data systems in aerospace》
|
2013年
关键词:
component;
formatting;
style;
styling;
insert;
61.
Towards Formal Verification of a Separation Microkernel
机译:
迈向分离微内核的形式验证
作者:
Andrew Butterfield
;
David Sanán
;
Mike Hinchey
会议名称:
《Conference on data systems in aerospace》
|
2013年
62.
EMBEDDED LOGGING FRAMEWORK FOR SPACECRAFTS
机译:
航天器的嵌入式日志记录框架
作者:
Frank Dannemann
;
Sergio Montenegro
会议名称:
《Conference on data systems in aerospace》
|
2013年
63.
DEVELOPMENT OF INTEGRATED MODULAR AVIONICS APPLICATIONS BASED ON SIMULINK AND XTRATUM
机译:
基于SIMULINK和XTRATUM的组合式航空电子应用程序的开发
作者:
Borja Fons-Albert
;
Hèctor Usach-Molina
;
Joan Vila-Carbó
;
Alfons Crespo-Lorente
会议名称:
《Conference on data systems in aerospace》
|
2013年
64.
EMBEDDED LOGGING FRAMEWORK FOR SPACECRAFTS
机译:
航天器的嵌入式日志记录框架
作者:
Frank Dannemann
;
Sergio Montenegro
会议名称:
《Conference on data systems in aerospace》
|
2013年
65.
Development of Integrated Modular Avionics Applications based on Simulink and XtratuM
机译:
基于Simulink和XtratuM的集成模块化航空电子应用程序的开发
作者:
Borja Fons-Albert
;
Hèctor Usach-Molina
;
Joan Vila-Carbó
;
Alfons Crespo-Lorente
会议名称:
《Conference on data systems in aerospace》
|
2013年
66.
STREAMLINING THE RELEASE PROCESS FOR THE HETEROGENEOUS COLUMBUS SOFTWARE SYSTEM
机译:
异构异构Columbus软件系统的发布过程
作者:
Temenushka Manthey
;
Uwe Westerholt
;
Matthias Brandt
会议名称:
《Conference on data systems in aerospace》
|
2013年
67.
In support of criticality dependent validation for FPGA designs, with particular focus on radiation effects
机译:
支持针对FPGA设计的依赖于关键性的验证,尤其关注辐射效应
作者:
G. Furano
;
J. Ilstadt
;
R. Jansen
;
D. Merodio
;
M. Rovatti
会议名称:
《Conference on data systems in aerospace》
|
2013年
关键词:
FPGA;
reliability;
radiation;
68.
SEOSAT/Ingenio Deciphering/Ciphering Units
机译:
SEOSAT / Ingenio解密/加密单元
作者:
Ignacio Herrera Alzu
;
Alfonso Gonzalo Palomo
;
Juan Fuentes Caselles
;
Francisco Perán Mazón
;
Juan Andrés Sanz Cuesta
会议名称:
《Conference on data systems in aerospace》
|
2013年
69.
DUBAISAT-2 CAN-SI PROTOCOL
机译:
DUBAISAT-2 CAN-SI协议
作者:
Zakareyya Alshamsi
;
Ibrahim Almidfa
;
Se-young Pyo
会议名称:
《Conference on data systems in aerospace》
|
2013年
70.
Strengthening the Security of ESA Ground Data Systems
机译:
加强ESA地面数据系统的安全性
作者:
Felix Flentge
;
James Eggleston
;
Marc Garcia Mateos
会议名称:
《Conference on data systems in aerospace》
|
2013年
71.
“STEPS” AVIONICS FOR EXPLORATION SYSTEMS THE ACHIEVED RESULTS AND THE NEXT “STEPS-2”
机译:
勘探系统的“ STEPS”航空电子设备以及随后的“ STEPS-2”
作者:
Andrea Martelli
;
Enrico Gaia
;
Maria Antonietta Perino
;
Carlo Paccagnini
会议名称:
《Conference on data systems in aerospace》
|
2013年
72.
Visionary data management system for nano satellites (VIDANA)
机译:
纳米卫星的有远见的数据管理系统(VIDANA)
作者:
Sergio Montenegro
;
Thomas Walter
会议名称:
《Conference on data systems in aerospace》
|
2013年
73.
Time and Space Partitioning the EagleEye Reference Mission
机译:
时空划分EagleEye参考任务
作者:
Victor Bos
;
Alfons Crespo
;
Panu Kauppinen
;
Miguel A. Masmano
;
Peter Mendham
;
Juan A de la Puente
;
Juan Zamorano
会议名称:
《Conference on data systems in aerospace》
|
2013年
74.
THE INTELLIGENT FLIGHT SOFTWARE OF DUBAISAT‐2
机译:
DUBAISAT-2的智能飞行软件
作者:
Zakareyya Alshamsi
;
Ibrahim Almidfa
;
Hyoung‐Sic Park
会议名称:
《Conference on data systems in aerospace》
|
2013年
75.
Porting of LVCUGEN on JUICE IAS ME board (Abstract)
机译:
LVCUGEN在JUICE IAS ME板上的移植(摘要)
作者:
Pascal ENG
;
Julien GALIZZI
;
Jean-Jacques METGE
;
Paul ARBERET
;
Alfons CRESPO
;
MiguelMASMANO
;
Javier CORONEL PARADA
;
Maria SOLER
;
Florence ROUBERT
;
FabriceMILHORAT
会议名称:
《Conference on data systems in aerospace》
|
2013年
76.
Formal Validation of Aerospace Software
机译:
航空软件的正式验证
作者:
David LESENS
;
Yannick MOY
会议名称:
《Conference on data systems in aerospace》
|
2013年
77.
DUBAISAT‐2 CAN‐SI PROTOCOL
机译:
DUBAISAT‐2 CAN‐SI协议
作者:
Zakareyya Alshamsi
;
Ibrahim Almidfa
;
Seyoung Pyo
会议名称:
《Conference on data systems in aerospace》
|
2013年
78.
Evaluation, assessment and hardware prototyping of the SpaceWire-D protocol
机译:
SpaceWire-D协议的评估,评估和硬件原型
作者:
Antonis Tavoularis
;
Nikos Pogkas
;
Vangelis Kollias
;
Kostas Marinis
会议名称:
《Conference on data systems in aerospace》
|
2013年
79.
FIBER-OPTICAL TEMPERATURE SENSING ONBOARD GEOSTATIONARY TELECOMMUNICATION SATELLITES
机译:
光纤温度感测地球静止电信卫星
作者:
Philipp Putzer
;
Alexander W. Koch
;
Andreas Hurni
;
Sebastian Schweyer
;
Christoph Tiefenbeck
;
Markus Plattner
会议名称:
《Conference on data systems in aerospace》
|
2013年
80.
Avionic architecture for Model Predictive Control application in Mars SampleReturn rendezvous scenario
机译:
用于火星采样和返回集合点场景中的模型预测控制应用的航空电子体系结构
作者:
M. Saponara
;
P.Creten
;
J. Hardy
;
C. Philippe
;
A. Tramutola
会议名称:
《Conference on data systems in aerospace》
|
2013年
81.
Distributed Architecture for Small Satellites
机译:
小型卫星的分布式架构
作者:
Philip Chee Wan Teng
;
Sharon Siok Lin Lim
会议名称:
《Conference on data systems in aerospace》
|
2013年
82.
FIBER-OPTICAL TEMPERATURE SENSING ONBOARD GEOSTATIONARY TELECOMMUNICATION SATELLITES
机译:
光纤温度感测地球静止电信卫星
作者:
Philipp Putzer
;
Alexander W. Koch
;
Andreas Hurni
;
Sebastian Schweyer
;
Christoph Tiefenbeck
;
Markus Plattner
会议名称:
《Conference on data systems in aerospace》
|
2013年
83.
INTEGRATED MODULAR AVIONICS FOR SPACECRAFT: EARTH OBSERVATION USE CASE DEMONSTRATOR
机译:
用于航天器的集成模块化航空电子设备:地球观测使用案例演示器
作者:
Marie-Hélène Deredempt
;
Alain Rossignol
;
Philippe Hyounet
会议名称:
《Conference on data systems in aerospace》
|
2013年
84.
PORTING OF LVCUGEN ON JUICE IAS ME BOARD
机译:
LVCUGEN在Juice IAS ME板上的移植
作者:
Pascal ENG
;
Julien GALIZZI
;
Jean-Jacques METGE
;
Paul ARBERET
;
Alfons CRESPO
;
MiguelMASMANO
;
Javier CORONEL PARADA
;
Florence ROUBERT
;
Fabrice MILHORAT
会议名称:
《Conference on data systems in aerospace》
|
2013年
85.
GENERIC AND EXTENDABLE RELIABILITY PREDICTION METHODOLOGY FOR COMPLEX CRITICAL SYSTEMS
机译:
复杂关键系统的通用和可扩展的可靠性预测方法
作者:
N. Silva
;
R. Lopes
;
A. Esper
;
R. Barbosa
会议名称:
《Conference on data systems in aerospace》
|
2013年
86.
CONCEPTUAL DESIGN OF SIMULATION MODELS IN AN EARLY DEVELOPMENT PHASE OF LUNAR SPACECRAFT SIMULATOR USING SMP2 STANDARD
机译:
基于SMP2标准的月牙空间仿真器早期开发阶段仿真模型的概念设计
作者:
Hoon Hee LEE
;
Cheol Hea KOO
;
Sung Tae MOON
;
Sang Hyuck HAN
;
Gwang Hyeok JU
会议名称:
《Conference on data systems in aerospace》
|
2013年
87.
PROVIDING GROUND STATION MONITORING AND CONTROL CAPABILITIES TO MISSION OPERATIONS
机译:
为任务操作提供地面站监视和控制功能
作者:
Petros Pissias
;
Holger Dreihahn
;
Ian Harrison
会议名称:
《Conference on data systems in aerospace》
|
2013年
88.
POLARSYS : MATURITY AND INNOVATION FOR OPEN SOURCE TOOLS FOR THE ENGINEERING OF EMBEDDED SYSTEMS
机译:
POLARSYS:嵌入式系统工程中开源工具的成熟度和创新性
作者:
Ga?l BLONDELLE
;
Paul ARBERET
;
Raphael FAUDOU
;
Pierre GAUFILLET
;
Sébastien GERARD
;
Beno?t LANGLOIS
;
Silvia Mazzini
;
Alain ROSSIGNOL
;
Dominique TOUPIN
;
Yves YANG
会议名称:
《Conference on data systems in aerospace》
|
2013年
89.
“STEPS” AVIONICS FOR EXPLORATION SYSTEMS THE ACHIEVED RESULTS AND THE NEXT “STEPS-2”
机译:
勘探系统的“ STEPS”航空电子设备以及随后的“ STEPS-2”
作者:
Andrea Martelli
;
Maria Antonietta Perino
;
Enrico Gaia
;
Carlo Paccagnini
会议名称:
《Conference on data systems in aerospace》
|
2013年
90.
THE ROBUST SOFTWARE FEEDBACK MODEL: AN EFFECTIVE WATERFALL MODEL TAILORING FOR SPACE SW
机译:
强大的软件反馈模型:针对空间软件的有效瀑布模型
作者:
Massimo Tipaldi
;
Christoph G?tz
;
Massimo Ferraguto
;
Luigi Troiano
;
Bernhard Bruenjes
会议名称:
《Conference on data systems in aerospace》
|
2013年
91.
ATTEMPTING CONVERGENCE TO THE OBSW REFERENCE ARCHITECTURE
机译:
尝试实现对OBSW参考体系结构的融合
作者:
Massimo Ferraguto
;
Ralf Wenker
;
Massimo Tipaldi
;
Bernhard Bruenjes
会议名称:
《Conference on data systems in aerospace》
|
2013年
92.
ATTEMPTING CONVERGENCE TO THE OBSW REFERENCE ARCHITECTURE
机译:
尝试实现对OBSW参考体系结构的融合
作者:
Massimo Ferraguto
;
Ralf Wenker
;
Massimo Tipaldi
;
Bernhard Bruenjes
会议名称:
《Conference on data systems in aerospace》
|
2013年
93.
Remarks on Sentinel-1 Avionic SW Qualification
机译:
关于Sentinel-1航空电子软件资格的评论
作者:
Candia Sante
;
Pascucci Dario
会议名称:
《Conference on data systems in aerospace》
|
2013年
94.
Validation of securely partitioned systems over multicore architectures based on Xtratum
机译:
在基于Xtratum的多核体系结构上验证安全分区的系统
作者:
Javier Coronel
;
M. Tsagkaropoulos
;
Dimitrios Mylonas
;
Patricia Balbastre
;
Vangelis Kollias
;
Alfons Crespo
会议名称:
《Conference on data systems in aerospace》
|
2013年
95.
ON-BOARD SOFTWARE PAYLOAD PLATFORM OVER RTEMS AND LEON3FT PROCESSING UNITS
机译:
RTEMS和LEON3FT处理单元上的板上软件有效载荷平台
作者:
Rodolfo Martins
;
Pedro Ribeiro
;
Gianluca Furano
;
Jo?o Costa Pinto
;
Sandi Habinc
会议名称:
《Conference on data systems in aerospace》
|
2013年
96.
Generic and Extendable Reliability Prediction Methodology for Complex Critical Systems
机译:
复杂关键系统的通用和可扩展的可靠性预测方法
作者:
N. Silva
;
R. Lopes
;
A. Esper
;
R. Barbosa
会议名称:
《Conference on data systems in aerospace》
|
2013年
97.
SYSTEMS ENGINEERING TECHNIQUES APPLIED TO THE BEPICOLOMBO MPO SCIENCE GROUND SEGMENT DESIGN
机译:
BEPICOLOMBO MPO科学地面段设计中应用的系统工程技术
作者:
Sara de la Fuente
;
Fernando Perez-Lopez
;
Mauro Casale
会议名称:
《Conference on data systems in aerospace》
|
2013年
98.
VALIDATION OF SECURELY PARTITIONED SYSTEMS OVER MULTICORE ARCHITECTURES BASED ON XTRATUM
机译:
基于XTRATUM的多核架构上安全分区系统的验证
作者:
Javier Coronel
;
M. Tsagkaropoulos
;
Dimitrios Mylonas
;
Patricia Balbastre
;
Vangelis Kollias
;
Alfons Crespo
会议名称:
《Conference on data systems in aerospace》
|
2013年
99.
ON-BOARD SOFTWARE PAYLOAD PLATFORM OVER RTEMS AND LEON3FT PROCESSING UNITS
机译:
RTEMS和LEON3FT处理单元上的板上软件有效载荷平台
作者:
Rodolfo Martins
;
Pedro Ribeiro
;
Gianluca Furano
;
Jo?o Costa Pinto
;
Sandi Habinc
会议名称:
《Conference on data systems in aerospace》
|
2013年
100.
PolarSys1: maturity and innovation for open source tools for the engineering of embedded systems
机译:
PolarSys1:用于嵌入式系统工程的开源工具的成熟和创新
作者:
Ga?l BLONDELLE
;
Paul ARBERET
;
Raphael FAUDOU
;
Pierre GAUFILLET
;
Sébastien GERARD
;
Beno?t LANGLOIS
;
Silvia Mazzini
;
AlainROSSIGNOL
;
Dominique TOUPIN
;
Yves YANG
会议名称:
《Conference on data systems in aerospace》
|
2013年
上一页
1
2
下一页
意见反馈
回到顶部
回到首页