Specification, analysis and implementation of distributed algorithms: fault tolerance, time and message complexity. Study of properties of consistent global states, atomic transactions and checkpointing. Cooperation, disaster recovery and mobility in workflow management systems. Transaction models for mobile computing environment. CORBA based distributed platforms development. CORBA components. Performance evaluation of distributed applications on computer clusters architecture. Performance monitoring and analysis tools development. Communication protocol conformance testing: Techniques for automatic generation of tests, test suites coverage analysis, distributed architecture and results analysis techniques. Components test (tests on context).
Network Project and Data Security