Several industries are currently facing the issue of developing mission-critical embedded computer-based systems with increasing complexity, dependability and economic pressures such as cost and time to market. Model-driven development/engineering (MDD/MDE) addresses those issues. Today, sectors such as aerospace, automotive and communications are rather segmented and are prone to study and promote dedicated solutions, whereas cross-fertilisation would be more beneficial. SPICES will implement an integrated MDD/MDE methodology for designing, verifying and implementing avionics mission-critical real-time embedded (RT/E) systems.