Kaira: Development Environment for MPI Applications

This tool paper presents Kaira ( http://verif.cs.vsb.cz/kaira/ ) – a tool for simplifying development of parallel applications in the area of scientific and engineering computations for distributed memory systems. Our goal is to provide an environment in which a user can implement and experiment with his or her ideas in a short time; create a real running program; and verify its performance, scalability, and correctness. A unifying element in our approach is a visual programming language inspired by Colored Petri Nets that is used to define the parallel behavior, to show an inner state of a developed application back to the user, and for configurations of analyzes.