This paper targets the generation of distributed applications with safety guarantees. The proposed approach starts from graphical specification formalisms allowing the architectural and behavioral description of component systems. From this point, the user can automatically verify application properties using model-checking techniques. Finally, the specified and verified component model can be translated into executable Java code. We implement our approach in a tool suite distributed as an Eclipse plugin. This paper also illustrates our approach by modeling and verifying Peterson’s leader election algorithm.
CITATION STYLE
Henrio, L., Kulankhina, O., Li, S., & Madelaine, E. (2016). Integrated environment for verifying and running distributed components. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9633, pp. 66–83). Springer Verlag. https://doi.org/10.1007/978-3-662-49665-7_5
Mendeley helps you to discover research relevant for your work.