AVSI/SAVI: an initiative that leverages AADL (among other languages) to perform virtual integration of aerospace and defense systems META: a DARPA project for improving software engineering methods PARSEC: a French initiative to validate and implement avionics systems from architecture models TASTE: a platform for designing safety-critical systems from models