TEC-ED & TEC-SW Final Presentation Days 2014 May

Material Package

Added Since

Include only attachments uploaded after this date

Include*

Everything

Specific contributions

Specific days

Contributions*

Adoption of Electronic Data Sheets and Device Virtualisation for Onboard Devices

Avionics Architecture Modelling Language

Data Modelling with ASN.1 for Space Applications

Dynamic Translation Based On-Board Processor Emulator - QERx

FDIR Development and V&V Process

Formal Verification of the PolyORB-HI/C Middleware

Introduction

Introduction

MultiIMA - Multi-Core in Integrated Modular Avionics

OBC Simulator Architectures and Interfaces to System Test Benches / LeonSVF - Progress Presentation

Partitioning and Maintenance of Flight Software in Integrated Modular Avionics for Space

Registration

Registration

Requirements Definition for Onboard Data Systems for Life-Cycle Support and Management of End-to-End Security

RTEMS Leon Upgrade

Single Board Computer Core SBCC

The Free SDL State Machine Editor in TASTE

Verification Models for Advanced Human-Automation Interaction (VASCO)

Verification Models for Advanced Human-Automation Interaction (VASCO)

Wireless Passive Sensors for Monitoring Systems

Include materials from selected contributions

Events scheduled on*

21/05/2014

22/05/2014

Include materials from sessions/contributions scheduled on the selected dates