Toward a cooperative and open framework for the development of certifiable software