NOTICE These materials are prepared only for the

NOTICE! • These materials are prepared only for the students enrolled in the course Distributed Software Development (DSD) at the Department of Computer Science and Engineering, University of Mälardalen, Västerås, Sweden and at the Faculty of Electrical Engineering and Computing, University of Zagreb, Croatia (year 2010/2011). • For all other purposes, authors’ written permission is needed! • The purpose of these materials is to help students in better understanding of lectures in DSD and not their replacement! 1 2010 -12 -14

Distributed Software Development 2010 -12 -14

Release Candidate An intelligent public transportation manager 2010 -12 -14

Overview § § § § About Ez. Fare Current status Problems Working Hours Iterative process Formal Methods Demo 2010 -12 -14

About Ez. Fare • Ez. Fare is an intelligent public transportation system that allows the passengers to travel via using mobile phone. • Ez. Fare system supports multiple payment methods. • Alerts are sent to passengers on various occasions like change route, insufficient balance, ticket purchased etc. 2010 -12 -14

Current Status of Project • • • 75% of the Project work is completed. Graphical user interface is 100% completed. Website part is 70% completed. Mobile part is 80% completed. Vehicle part is 85% completed. Documentation is 85% completed. 2021 -10 -17

Problems & Solutions § N-hibernate. § Integration. § Unavailability. § Christmas Holidays. 2010 -12 -14

Working Hours of team members Until W 45 W 46 W 47 W 48 W 49 Total 142 17 16 22 18 215 131. 5 22 16 26 34 229. 5 Shamsul 113 22 15 21 21 192 Vice 217 26 15 09 15 282 Mislav 123 15 15 09 16 178 Kaushik 128 28 15 15 20 206 854. 5 130 92 102 124 1302. 5 Faiz Ul Lidia 2010 -12 -14

Process Related Information § Fourth iteration § Alpha integration § Beta integration § Release candidates 2010 -12 -14

Plan for Next Iteration § Complete remaining functionalities of Web and mobile part. § Integration. § Finish project. § Final Presentation. 2010 -12 -14

Formal Methods § Working on Uppaal § Verifying ticket validity, issuance of new ticket on expiry of existing one § Valuable help from experts (3 meeting with Paul Pettersson) § Contacted Nico Plat (Score FM representative) 2010 -12 -14

Formal Methods 2010 -12 -14

Formal Methods

Formal Methods

Ez. Fare GUI: Front End

Ez. Fare GUI: Front End

Ez. Fare GUI: Back End

Ez. Fare GUI: Back End

Demo Presentation 2021 -10 -17

Any Questions 2010 -12 -14

2010 -12 -14