FMERail  

FMERail - Free Workshops on Formal Methods in Railway Industry Objectives The safety requirements and the complexity of applications within the railway industry prescribe the use of advanced technologies that can increase the quality and provide the highest confidence. Formal methods are a mature development technology that can assist in reaching these goals. The overall objective of the FMERail project is to establish efficient communication between formal methods technology suppliers and end users in the railway domain with the purposes of increasing user awareness of the formal methods technologies potential, and of increasing technology-provider awareness of the specific problems and technology requirements of the railway industry. The potentials of formal methods technologies will be demonstrated by railway specific tutorials and by solutions to railway provided case studies. Workshops A series of 5 workshops are organised to show how different formal methods technologies can be applied to railway problems. The workshops will be a dialogue between the railway industry and the formal technology providers. Experiences with formal methods and domain specific case studies will be presented by the railway industry. The case studies will be used to demonstrate the potential of the formal methods technologies. Tutorials tailored directly to the railway domain will demonstrate the suitability of formal method technologies.

FMERail Partners ::  

© copyright 2004 | Formal Methods Europe