02/07/2013    08:30 - 11:50
FD.2: Real Time Avionics and Networks
TuM07
Room: Novotel Tegernsee
Chair: Andrea Martelli
Rapporteur: to be confirmed
A family of testbenches to support testing of real-time avionics systems
V.V. Balashov, M.V. Chistolinov and R.L. Smeliansky


Design and modeling of a dataflow avionics system
P.B. Panfilov and S.M. Salibekyan


Combining static priority and weighted round-robin like packet scheduling in AFDX for incremental certification and mixed criticality support
M. Boyer, N. Navet, M. Fumey, J. Migge and L. Havet


Certifying Network Calculus in a Proof Assistant
E. Mabille, M. Boyer, L. Fejoz and S. Merz


CAN bus solutions for Data Handling Space Systems
M. Caramia, L. Bolognino and G. Furano


Saving the Software Specification by Transforming the old SA/RT Models into UML (*)
T. Weyrath, H. Schreyer and J. Sellen


DYANA: an integrated development environment for simulation and verification of real-time avionics systems
V.A. Antonenko, E.V. Chemeritsky, A.B. Glonina, I.V. Konnov, V.N. Pashkov, V.V. Podymov, K.O. Savenkov, R.L. Smeliansky, P.M. Vdovin and D.Y. Volkanov


Adaptative Integration systems using FPGA COTS devices
E. Fonseca, A.L.P. Mattei and W.C. Cunha