assert members, ASSERT is an European project which objectives are to improve the system-and-software development process for critical embedded real-time systems, in the Aerospace and Transportation domains by: - Identifying and developing proven critical system families’ architecture, using a proof based development process supported by formal notations, component models, and innovative processes and tools. - Developing associated building blocks that can be composed, tailored and verified in open frameworks that shall be reused and shared by European teams across multi domain projects.