ASSERT Project is an integrated project to improve the development process for critical embedded real-time systems by employing a proven-by-design approach, under the European Space Agency (ESA) and the European Commission. ASSERT is a reliable and scientific approach in embedded systems and software development based on modelling and verification, integrated supporting tools, preservation of system properties and model transformation.