DA Associate Program - AeS Proposal Ongoing development

Abstract

I would like to present, by this proposal, our intention to become a Associate Partner of DEPLOY Project, and I state here our agreement with what is written in the DA agreement. Our plan is to disseminate the B Method and related tools, namely, RODIN Platform in South America, and to that we intend to apply the formalism and tools in our current projects related to railway field. In order to do that, we intend to start with a small project, namely ”Dead man control” to prove the concept and teach all people involved, and after that, in case of good results make the formal development a standard for all projects. In this proposal I present in more detailed way an introduction of AeS company, the AeS proposal and pilot project and the expected results.