首页>外文会议>Ada-Europe international conference on reliable software technologies

Ada-Europe international conference on reliable software technologies

召开年：2013
召开地：Berlin(DE)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Model-Based Deployment of Mission-Critical Spacecraft Applications on Multicore Processors

机译：在多核处理器上基于模型的关键任务航天器应用程序的部署
- 作者：J. Reinier van Kampenhout;Robert Hilbrich
- 会议名称：《Ada-Europe international conference on reliable software technologies》 | 2013年
- avionics;
- deployment;
- multicore;
- model-based engineering;
2.A SPARK/Ada CubeSat Control Program

机译：SPARK / Ada CubeSat控制程序
- 作者：Carl Brandon;Peter Chapin
- 会议名称：《Ada-Europe international conference on reliable software technologies》 | 2013年
- SPARK;
- student project;
- CubeSat;
3.Tasklettes - A Fine Grained Parallelism for Ada on Multicores

机译：Tasklettes-Ada在多核上的细粒度并行处理
- 作者：Stephen Michell;Brad Moore;Luis Miguel Pinho
- 会议名称：《Ada-Europe international conference on reliable software technologies》 | 2013年
4.Lady Ada Mediates Peace Treaty in Endianness War

机译：阿达夫人在Endianness战争中调解和平条约
- 作者：Thomas Quinot;Eric Botcazou
- 会议名称：《Ada-Europe international conference on reliable software technologies》 | 2013年
- endianness;
- retargeting;
- code generation;
5.Provably Secure DNS: A Case Study in Reliable Software

机译：安全的DNS：可靠软件中的案例研究
- 作者：Barry Fagin;Martin Carlisle
- 会议名称：《Ada-Europe international conference on reliable software technologies》 | 2013年
- domain name server;
- formal methods;
- software systems;
- DNS;
- Ada;
- internet security;
- computer security;
- network security;
- buffer overflows;
- domain name system;
- denial of service;
6.Using Ontologies in the Integration of Structural, Functional, and Process Perspectives in the Development of Safety Critical Systems

机译：在安全关键系统的开发中将本体应用于结构，功能和过程方面的集成
- 作者：Irene Bicchierai;Giacomo Bucci;Carlo Nocentini;Enrico Vicario
- 会议名称：《Ada-Europe international conference on reliable software technologies》 | 2013年
7.Measuring the Odds of Statements Being Faulty

机译：测量陈述错误的几率
- 作者：Xiaozhen Xue;Akbar Siami Namin
- 会议名称：《Ada-Europe international conference on reliable software technologies》 | 2013年
- testing;
- fault localization;
8.Worst-Case Execution Time Analysis Approach for Safety-Critical Airborne Software

机译：安全关键机载软件的最坏情况执行时间分析方法
- 作者：Esteban Asensio;Ismael Lafoz;Andrew Coombes;Julian Navas
- 会议名称：《Ada-Europe international conference on reliable software technologies》 | 2013年
- Airborne Software;
- Safety-Critical;
- ARINC 653;
- IMA;
- DO-178B/C;
- Worst-Case Execution Time;
- Predictability;
- Verification;
- Hy-brid Approach;
9.A Model-Based Framework for Developing Real-Time Safety Ada Systems

机译：用于开发实时安全Ada系统的基于模型的框架
- 作者：Emilio Salazar;Alejandro Alonso;Miguel A. de Miguel;Juan A. de la Puente
- 会议名称：《Ada-Europe international conference on reliable software technologies》 | 2013年
- Real-time systems;
- high-integrity systems;
- model-driven engineering;
- Ada;
- Ravenscar profile;
10.Towards a Time-Composable Operating System

机译：迈向时间可组合的操作系统
- 作者：Andrea Baldovin;Enrico Mezzetti;Tullio Vardanega
- 会议名称：《Ada-Europe international conference on reliable software technologies》 | 2013年
- Time composability;
- Real-time operating system;
11.Experience with the Integration of Distribution Middleware into Partitioned Systems

机译：将分发中间件集成到分区系统中的经验
- 作者：Hector Perez;J. Javier Gutierrez
- 会议名称：《Ada-Europe international conference on reliable software technologies》 | 2013年
- distribution middleware;
- partitioned systems;
- CORBA;
- Ada DSA;
- real-time;
- communications;