Since the foundation of Verified Systems, we have performed automated HSI testing projects for Airbus cabin controllers for various civil aircraft families, from A318, A320, A330, A340, A350 to A380, including the associated Freighter versions A330F, A350F and A380F. These cabin controllers are safety-critical hard-real time systems up to critically level DAL-B, which deal with a significant number of input and output signals (up to about 100.000).