Open AccessExperimental assessment of timing verification techniques for AFDX
Author(s) -
Marc Boyer,
Nicolas Navet,
Marc Fumey
Publication year - 2012
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - computer science , benchmark (surveying) , network calculus , tree traversal , software , avionics , formal verification , design space exploration , distributed computing , embedded system , computer engineering , theoretical computer science , algorithm , programming language , computer network , quality of service , materials science , geodesy , composite material , geography