RealTime-at-Work (RTaW)

rtaw automotive ethernet tsn time sensitive networking autosar timing verification time-sensitive networking ethernet in-vehicle networks automotive ethernet simulation credit-based shaper psa dependability e/e architectures schedulability mdd service oriented architecture sysml offsets controller area network can optimization automotive embedded systems asynchronous traffic shaper some/ip scheduling uml early-stage design choices design space exploration trace analysis code automotive networks in-vehicle communications ieee802.1q time-aware shaper timing analysis ttethernet safety frame real-time quality-of-service switched ethernet electronics mixed-criticality networks aerospace mda mbse realtime-at-work avb tolrance rtaw-ecu multicore runnables systmes ecu sret software components freescale embedded systems virtualization virtual prototyping marte ecus validation volvo time triggered certification event triggered shaping model logiciel software cycle network flexray systems embedded packing heuristics bandwidth car communication traffic java generator c protection exploitation fonctionnement fautes os vhdl vhdlams generation discrete continuous ieee kirschhoff 10761 frames cars ieee802.1 helicopters networks orbital launch system clock synchronization protocol cyber-physical action language simulation-based fault injection space launchers onboard networks replication ieee 802.1cb reliability design automation cost reduction communication reliability generative design e/e architecture design-space exploration service-oriented architecture ai bmw time-sensitive network ieee802.1qcr ieee802.1qav frame preemption traffic classes quality of service ieee 802.1q critical networks timing predictability software defined vehicles time aware shaper configuration gateways software-defined vehicles model-based design network simulation volvo cars timing chains communication stack communication traces oem fault-injection can fd controller area network; communication controller; network calculus temporal verification thales pegase onera afdx security hypervisor virtual machines fuml xuml topcased networks synthetic data video streams traffic shaping tcp qos embedded networks worst-case response time analysis. simulation methodology ergodicity timing-accurate simulation soa middleware sae as6802 tsn arinc825 can 2.0b can 2.0a statistics. specifications