Project Page

17-654: Analysis of Software Artifacts
18-846: Dependability Analysis of Middleware

 

GEO

[Final Presentation]

Team Members:

Ÿ          Younbok Lee                yoonboklee@cmu.edu

Ÿ          Junghee Jo                     jungj@andrew.cmu.edu 

Ÿ          Kwangchun Lee             kwangl@andrew.cmu.edu 

Ÿ          Soyoung Kim                 sokim@andrew.cmu.edu 

Ÿ          Junsuk Oh                     junsuko@andrew.cmu.edu

Team Roles:

Ÿ          Development : Soyoung Kim

Ÿ          Documentation :             Junghee Jo

Ÿ          Testing & Modeling :      Kwangchun Lee

Ÿ          Database :                     Younbok Lee

Ÿ          Server :                          Junsuk Oh

Project Title: Box Office

Baseline Application Description:

A system allowing users to search movie tickets and seats available and reserve tickets

Configuration:

Third-party software, if any (databases):

Baseline Application Features:

             ( up to 3 movies, up to 100 tickets )

Reliability Requirements:

Real-Time Requirements:

Performance Requirements:

Ÿ          The system will be able to serve up to 50 login users.

Ÿ          The system will be able to handle up to 10 concurrent transactions.

Ÿ          The system can support 10 transactions in 30 seconds.

 


 

Baseline Application

System Architecture

 

Interfaces

Method

Description

login( )

login in order to make a reservation

getMovies( )

get information of available movies.

getSeats( )

get seat information of a movie. This is for showing available seats.

reserve( )

make a reservation(userid, movieid, date, time)

payWithCard( )

make a payment with a card(user information, card information)

cancelPayment( )

cancel a payment

getReservation( )

get reservation information made by a specific user.

cancelReservation( )

cancel the reservation

 

Type Model

Exceptional cases

Cases

Description

seat is not available

When a user tries to reserve and the selected seat becomes unavailable

tickets are sold out

When ticket are sold out during reservation steps

invalid card information

When inserted card information is not valid

invalid user

When invalid user tries to login

server unavailable

When server is failed

 

DB Schema DB Script(txt format)

Scenarios/Interactions Use Case

Current Status

Downloads Demo version


 

Fault-Tolerant Baseline Application

Download Fault-Injector and Replication Manager

-         Linux Version

-         Windows Version

Design

Scenarios/Interactions

Current Status

Downloads Server Client

Measurement and Analysis


 

Real-Time Fault-Tolerant Baseline Application

Scenarios/Interactions

Current Status

Downloads

Measurement and Analysis


 

High-Performance Real-Time Fault-Tolerant Baseline Application

Scenarios/Interactions

Current Status

Downloads

Measurement and Analysis