In addition to the inherent benefits from coordination of research and cross-fertilization of ideas in different domains, concretes outcomes of the Action will include the Rich-Model Toolkit, a set of infrastructures centered around Rich-Model Language that includes a set of communicating automated reasoning tools. The tools will help developers construct reliable systems by automatically analyzing and synthesizing systems and their components.
The automation level of tools in Rich-Model Toolkit will make tool adoption cost-effective, resulting in higher-quality computer systems, and improving the safety and availability of information technology used by all members of the society. These efforts will also reduce the likelihood of future disasters such as the airline and aerospace failures, and avoid further microprocessor and automobile recalls due to software bugs.