Reliability aspects of software for digital avionics

Modern commercial transport aircraft contain digital avionics systems for more and more safety critical functions. The reliability and safety of those new systems depend on the hardware reliability and on the reliability of the embedded software. In this report, an overview is given of available methods and techniques to develop reliable...

Evaluating transit preferential measures: Priority lanes, boarding and control strategies

Assessment of bus service improvements such as bus lanes, allowing boarding through all doors and headway-based holding control ideally requires a simulation model that combines features of both classical analytical models and microscopic simulation. However, as the usage of such models has been limited, their validity has hitherto remained low....