首页>外文会议>Conference on data systems in aerospace

Conference on data systems in aerospace

召开年：2013
召开地：Porto(PT)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.A CASE STUDY ON AUTOMATED SOURCE-CODE-BASED TESTING METHODS

机译：基于自动源代码的测试方法的案例研究
- 作者：Ralf Gerlich;Rainer Gerlich;Marek Prochazka;Kenneth Kvinnesland;Bengt Solheimdal Johansen
- 会议名称：《Conference on data systems in aerospace》
- automatic test data generation;
- unit testing;
- robustness testing;
- fault injection;
- test coverage;
- testability;
2.POTENTIALS OF RF/FSO COMMUNICATION IN UAS OPERATIONS

机译：UAS操作中RF / FSO通信的潜力
- 作者：Wolfgang Griethe;Frank Heine
- 会议名称：《Conference on data systems in aerospace》
3.ARCHITECTURE, DESIGN AND IMPLEMENTATION OF RC64, A MANY-CORE HIGH-PERFORMANCE DSP FOR SPACE APPLICATIONS

机译：用于空间应用的多核高性能DSP RC64的体系结构，设计和实现
- 作者：Ran Ginosar;Peleg Aviely;Tuvia Liran;Dov Alon;Reuven Dobkin;Michael Goldberg
- 会议名称：《Conference on data systems in aerospace》
4.ARCHITECTURE, DESIGN AND IMPLEMENTATION OF RC64, A MANY-CORE HIGH-PERFORMANCE DSP FOR SPACE APPLICATIONS

机译：用于空间应用的多核高性能DSP RC64的体系结构，设计和实现
- 作者：Ran Ginosar;Peleg Aviely;Tuvia Liran;Dov Alon;Reuven Dobkin;Michael Goldberg
- 会议名称：《Conference on data systems in aerospace》
5.CWICOM: A HIGHLY INTEGRATED INNOVATIVE CCSDS IMAGE COMPRESSION ASIC

机译：CWICOM：高度集成和创新的CCSDS图像压缩ASIC
- 作者：Jean-Luc Poupat;Raffaele Vitulli
- 会议名称：《Conference on data systems in aerospace》
6.IN SUPPORT OF A FPGA CRITICALITY DEFINED VALIDATION, WITH PARTICULAR FOCUS ON RADIATION EFFECTS

机译：支持FPGA关键性定义验证，特别关注辐射效应
- 作者：G. Furano;J. Ilstadt;R. Jansen;G. Magistrati;K. Marinis;D. Merodio;M. Rovatti
- 会议名称：《Conference on data systems in aerospace》
- FPGA;
- reliability;
7.A FACILITY FOR THE VERIFICATION VALIDATION OF ROBOTICS AUTONOMY FOR PLANETARY EXPLORATION

机译：机器人探究和自动验证的工具
- 作者：E. Allouis;R. Blake;S. Gunes-Lasnet;T. Jorden;B. Maddison;H. Schroeven-Deceuninck;M. Stuttard;P. Truss;K.Ward;R. Ward;M. Woods
- 会议名称：《Conference on data systems in aerospace》
8.TOWARDS FORMAL VERIFICATION OF A SEPARATION MICROKERNEL

机译：迈向分离微核的正式验证
- 作者：Andrew Butterfield;David Sanáan;Mike Hinchey
- 会议名称：《Conference on data systems in aerospace》
9.DUBAISAT-2 COMMAND AND DATA HANDLING SUBSYSTEM

机译：DUBAISAT-2命令和数据处理子系统
- 作者：Ahmed Salem Belal;Omran Anwar Sharaf;Jamal Najeeb Al-Khaja
- 会议名称：《Conference on data systems in aerospace》
10.THE AVIONICS SOIS SERVICES OF CORDET ON-BOARD SOFTWARE ARCHITECTURE

机译：CORDET机载软件体系结构的航空SOIS服务
- 作者：Elena Ala?a;María del Carmen Lomba;Andreas Jung;Adrian Grenham;Stuart Fowell
- 会议名称：《Conference on data systems in aerospace》
11.RAD-HARD 2.5 GBPS SPACEFIBRE INTERFACE DEVICE

机译：RAD-HARD 2.5 GBPS空间纤维接口设备
- 作者：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》
12.FILES IN SPACE: MANAGEMENT TRANSFER APPLICATIONS AND OPERATIONS: ON-BOARD SEGMENT COMMUNICATIONS

机译：空间中的文件：管理和传输应用程序和操作：板上段和通信
- 作者：Brice Dellandrea;Régid De-Ferluc;Philippe Fourtier;Raymond Soumagne
- 会议名称：《Conference on data systems in aerospace》
- File Operations;
- File Transfer;
- FileManagement;
- CFDP;
- PUS;
- Large Data Transfer;
13.A FACILITY FOR VERIFICATION VALIDATION OF ROBOTICS AUTONOMY FOR PLANETARY EXPLORATION

机译：机器人验证和校验的工具以及行星勘探的自主权
- 作者：R. Blake;R. Ward;T. Jorden;E. Allouis;B. Maddison;S. Gunes-Lasnet;H. Schroeven-Deceuninck
- 会议名称：《Conference on data systems in aerospace》
14.CWICOM: A Highly Integrated Innovative CCSDS Image Compression ASIC

机译：CWICOM：高度集成和创新的CCSDS图像压缩ASIC
- 作者：Jean-Luc Poupat;Raffaele Vitulli
- 会议名称：《Conference on data systems in aerospace》
15.AGGA-4 as basis for the LION Navigator A family of new GNSS Receivers for Space Applications

机译：AGGA-4作为LION Navigator的基础，适用于太空应用的新型GNSS接收器系列
- 作者：Uwe Hoch;Peter A. Krauss;Mohsin Syed
- 会议名称：《Conference on data systems in aerospace》
16.A modular and configurable instrument electronics architecture for “MiniSAR” - an advanced smallsat SAR instrument

机译：模块化和可配置的仪器电子架构，用于“ MiniSAR”-一种先进的smallsat SAR仪器
- 作者：Jaime Gomez;Max Pastena;Laurens Bierens
- 会议名称：《Conference on data systems in aerospace》
17.SOCROCKET: A VIRTUAL PLATFORM FOR SOC DESIGN

机译：SOCROCKET：SOC设计的虚拟平台
- 作者：Luca Fossati;Thomas Schuster;Rolf Meyer;Mladen Berekovic
- 会议名称：《Conference on data systems in aerospace》
18.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来实现一个产生专利的宇宙随机数发生器，以生成安全的密码密钥
- 作者：Adam Taylor;Peter Bennie;Fredric Guyon;Iain Cameron;James Glanfield;Omar Emam
- 会议名称：《Conference on data systems in aerospace》
19.SoCRocket: a Virtual Platform for SoC Design

机译：SoCRocket：用于SoC设计的虚拟平台
- 作者：Luca Fossati;Thomas Schuster;Rolf Meyer;Mladen Berekovic
- 会议名称：《Conference on data systems in aerospace》
20.DUBAISAT-2 COMMAND AND DATA HANDLING SUBSYSTEM

机译：DUBAISAT-2命令和数据处理子系统
- 作者：Ahmed Salem Belal;Omran Anwar Sharaf;Jamal Najeeb Al-Khajah
- 会议名称：《Conference on data systems in aerospace》
21.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;Ignacio Aguilar Sánchez
- 会议名称：《Conference on data systems in aerospace》
22.“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年
23.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;
24.RADIATION HARD 0.13 MICRON CMOS LIBRAY AT IHP

机译：IHP的辐射困难0.13微米CMOS光刻
- 作者：U. Jagdhold
- 会议名称：《Conference on data systems in aerospace》 | 2013年
25.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;
26.RADIATION HARD 0.13 MICRON CMOS LIBRARY AT IHP

机译：IHP的辐射硬0.13 MICRON CMOS库
- 作者：U. Jagdhold
- 会议名称：《Conference on data systems in aerospace》 | 2013年
27.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年
28.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年
29.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;
30.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;
31.Potentials of RF/FSO Communication in UAS Operations

机译：UAS运营中RF / FSO通信的潜力
- 作者：Wolfgang Griethe;Frank Heine
- 会议名称：《Conference on data systems in aerospace》 | 2013年
32.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;
33.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);
34.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年
35.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年
36.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年
37.MODEL-BASED RAMS FDIR CO-ENGINEERING AT ASTRIUM SATELLITES

机译：卫星电视中基于模型的RAM和FDIR协同
- 作者：Dave Thomas;Jean-Paul Blanquart
- 会议名称：《Conference on data systems in aerospace》 | 2013年
38.VIDANA: DATA MANAGEMENT SYSTEM FOR NANO SATELLITES

机译：VIDANA：纳米卫星数据管理系统
- 作者：Sergio Montenegro;Thomas Walter;Erik Dilger
- 会议名称：《Conference on data systems in aerospace》 | 2013年
39.THE LENA ASIC: EMULATING AN OBSOLETE PROCESSOR

机译：LENA ASIC：模拟过时的处理器
- 作者：Jl. Carayon;L.Mary;J.Bertrand;F.Manni
- 会议名称：《Conference on data systems in aerospace》 | 2013年
40.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;
41.SOFTWARE DEVELOPMENT ENVIRONMENT WITH INTEGRATED CODE ROCKET CAPABILITIES

机译：具有集成代码火箭功能的软件开发环境
- 作者：Steve Parkes;David Paterson;Alan Spark;Bruce Guoxia Yu
- 会议名称：《Conference on data systems in aerospace》 | 2013年
42.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年
43.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;
44.SOFTWARE DEVELOPMENT ENVIRONMENT WITH INTEGRATED CODE ROCKET CAPABILITIES

机译：具有集成代码火箭功能的软件开发环境
- 作者：Steve Parkes;David Paterson;Alan Spark;Bruce Guoxia Yu
- 会议名称：《Conference on data systems in aerospace》 | 2013年
45.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年
46.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年
47.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年
48.FORMAL VALIDATION OF AEROSPACE SOFTWARE

机译：航空软件的正式验证
- 作者：David LESENS;Yannick MOY;Johannes KANIG
- 会议名称：《Conference on data systems in aerospace》 | 2013年
49.RTU2015: STANDARDIZING THE REMOTE TERMINAL UNITS

机译：RTU2015：标准化远程终端设备
- 作者：Jesús Ortiz Martín;Javier Goyanes Torres;Giorgio Magistrati
- 会议名称：《Conference on data systems in aerospace》 | 2013年
50.REMARKS ON SENTINEL-1 AVIONIC SW QUALIFICATION

机译：关于SENTINEL-1航空软件资格认证的评论
- 作者：Candia Sante;Pascucci Dario
- 会议名称：《Conference on data systems in aerospace》 | 2013年
51.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年
52.STREAMLINING THE ELEASE PROCESS FOR THE HETEROGENEOUS COLUMBUS SOFTWARE SYSTEM

机译：简化异构Columbus软件系统的发布过程
- 作者：Temenushka Manthey;Matthias Brandt;Uwe Westerholt
- 会议名称：《Conference on data systems in aerospace》 | 2013年
53.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年
54.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;
55.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年
56.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;
57.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年
58.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;
59.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年
60.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年
61.STRENGTHENING THE SECURITY OF ESA GROUND DATA SYSTEMS

机译：加强ESA地面数据系统的安全性
- 作者：Felix Flentge;James Eggleston;Marc Garcia Mateos
- 会议名称：《Conference on data systems in aerospace》 | 2013年
62.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年
63.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年
64.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年
65.THE INTELLIGENT FLIGHT SOFTWARE OF DUBAISAT-2

机译：DUBAISAT-2的智能飞行软件
- 作者：Ibrahim Almidfa;Zakareyya Alshamsi;Hyoung-Sic Park
- 会议名称：《Conference on data systems in aerospace》 | 2013年
66.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年
67.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年
68.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年
69.A WATERFALL MODEL TAILORING FOR SPACE SW APPLIANCES

机译：空间开关设备的瀑布模型定制
- 作者：Massimo Tipaldi;Massimo Ferraguto;Luigi Troiano;Bernhard Bruenjes
- 会议名称：《Conference on data systems in aerospace》 | 2013年
70.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;
71.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年
72.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年
73.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年
74.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年
75.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);
76.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年
77.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年
78.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年
79.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年
80.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年
81.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;
82.Towards Formal Verification of a Separation Microkernel

机译：迈向分离微内核的形式验证
- 作者：Andrew Butterfield;David Sanán;Mike Hinchey
- 会议名称：《Conference on data systems in aerospace》 | 2013年
83.EMBEDDED LOGGING FRAMEWORK FOR SPACECRAFTS

机译：航天器的嵌入式日志记录框架
- 作者：Frank Dannemann;Sergio Montenegro
- 会议名称：《Conference on data systems in aerospace》 | 2013年
84.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年
85.EMBEDDED LOGGING FRAMEWORK FOR SPACECRAFTS

机译：航天器的嵌入式日志记录框架
- 作者：Frank Dannemann;Sergio Montenegro
- 会议名称：《Conference on data systems in aerospace》 | 2013年
86.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年
87.STREAMLINING THE RELEASE PROCESS FOR THE HETEROGENEOUS COLUMBUS SOFTWARE SYSTEM

机译：异构异构Columbus软件系统的发布过程
- 作者：Temenushka Manthey;Uwe Westerholt;Matthias Brandt
- 会议名称：《Conference on data systems in aerospace》 | 2013年
88.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;
89.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年
90.DUBAISAT-2 CAN-SI PROTOCOL

机译：DUBAISAT-2 CAN-SI协议
- 作者：Zakareyya Alshamsi;Ibrahim Almidfa;Se-young Pyo
- 会议名称：《Conference on data systems in aerospace》 | 2013年
91.Strengthening the Security of ESA Ground Data Systems

机译：加强ESA地面数据系统的安全性
- 作者：Felix Flentge;James Eggleston;Marc Garcia Mateos
- 会议名称：《Conference on data systems in aerospace》 | 2013年
92.“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年
93.Visionary data management system for nano satellites (VIDANA)

机译：纳米卫星的有远见的数据管理系统（VIDANA）
- 作者：Sergio Montenegro;Thomas Walter
- 会议名称：《Conference on data systems in aerospace》 | 2013年
94.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年
95.THE INTELLIGENT FLIGHT SOFTWARE OF DUBAISAT‐2

机译：DUBAISAT-2的智能飞行软件
- 作者：Zakareyya Alshamsi;Ibrahim Almidfa;Hyoung‐Sic Park
- 会议名称：《Conference on data systems in aerospace》 | 2013年
96.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年
97.Formal Validation of Aerospace Software

机译：航空软件的正式验证
- 作者：David LESENS;Yannick MOY
- 会议名称：《Conference on data systems in aerospace》 | 2013年
98.DUBAISAT‐2 CAN‐SI PROTOCOL

机译：DUBAISAT‐2 CAN‐SI协议
- 作者：Zakareyya Alshamsi;Ibrahim Almidfa;Seyoung Pyo
- 会议名称：《Conference on data systems in aerospace》 | 2013年
99.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年
100.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年