CORRECT 2004-2007

rigorous stepwise development of Complex Fault tOlerant DistRibuted Systems: from ARchitEctural DesCription to Java ImplemenTation

The purpose of this project is to propose a set of techniques for rigorous stepwise development of complex fault tolerant distributed systems. Such techniques will be developed using state-of-the-art research in formal refinement, application level fault tolerance, distributed system structuring, software architecture, and will support systematic system development through all phases of the life cycle with an intention to have running reliable applications implemented in Java. This work will contribute to disciplined development of complex applications built within modern component technologies such as Java Remote Method Invocation, Jini, Enterprise Java Beans, Sun Web technologies.

Contact: Nicolas Guelfi
Project Page : Correct