Title:

Project Practice 1 (in English)

Code:IP1e
Ac.Year:2018/2019
Sem:Winter
Language of Instruction:English
Credits:5
Completion:classified credit
Type of
instruction:
Hour/semLecturesSeminar
Exercises
Laboratory
Exercises
Computer
Exercises
Other
Hours:000052
 ExamsTestsExercisesLaboratoriesOther
Points:0000100
Guarantor:Hruška Tomáš, prof. Ing., CSc. (DIFS)
Deputy guarantor:Burget Radek, Ing., Ph.D. (DIFS)
Instructor:Bidlo Michal, Ing., Ph.D. (DCSY)
Černocký Jan, doc. Dr. Ing. (DCGM)
Janoušek Vladimír, doc. Ing., Ph.D. (DITS)
Kolář Dušan, doc. Dr. Ing. (DIFS)
Faculty:Faculty of Information Technology BUT
Department:Department of Information Systems FIT BUT
Prerequisites: 
Digital Systems Design (INCe), DCSY
Electronics for Information Technology (IELe), DITS
Follow-ups:
Project Practice 2 (IP2e), DIFS
 
Learning objectives:
  To make talented bachelor students familiar with the basis of research work by participating in different projects conducted by research and development groups under the expert lead of a project supervisor.
Description:
  
  • Instructors appointed by the head of department present their projects and certain goals to be achieved by the students in advance before enrolment.
  • Students enrol in projects in the similar way as in the bachelor's thesis. A supervisor has the final right to choose. His/her choice will be justified in the written form briefly (e.g. previous practice, achieved grade average).
  • The supervisor is responsible for the regular check of a student's activity.
Why is the course taught:
  There is an elective course. It allows already during study in the frame of  a tution to take part in a real project solution which are usually directed to academical workers and doctoral students. The course is teaching because it allows for talented students to work with top technologies and solutions already during the study. Further it allows students to write reports of their work and to defend them.
Syllabus - others, projects and individual work of students:
 
  1. An individual project according to assignments and instructions of a supervisor.
List of available topics:
 
SupervisorDeptTitle
Beran Vítězslav, Ing., Ph.D.UPGMCrowd Movement and Size Estimation from Video
Beran Vítězslav, Ing., Ph.D.UPGMPeople Detection and Tracking in Video
Beran Vítězslav, Ing., Ph.D.UPGMPeople Movement Analysis in the Crowd in Video
Beran Vítězslav, Ing., Ph.D.UPGMPerson Identification in Video Based on Facial Features
Lengál Ondřej, Ing., Ph.D.UITSFormal Verification of Computer Programs
Smrčka Aleš, Ing., Ph.D.UITSExperimental Evaluation of ANaConDA Framework
Smrž Pavel, doc. RNDr., Ph.D.UPGMInformation Extraction from Text
Smrž Pavel, doc. RNDr., Ph.D.UPGMOpinion Extraction from Social Networks, Blogs and Discussions
Strnadel Josef, Ing., Ph.D.UPSYAdaptive Cruise Control in Cars
Strnadel Josef, Ing., Ph.D.UPSYDependability Issues of Operating Systems and Applications They Control
Strnadel Josef, Ing., Ph.D.UPSYEffect of ABS to Behavior of Vehicle
Strnadel Josef, Ing., Ph.D.UPSYFault Injection Based on QEMU
Strnadel Josef, Ing., Ph.D.UPSYManagement of Intelligent Traffic Lights
Strnadel Josef, Ing., Ph.D.UPSYModelling and Analysis of Fault-Tolerant Systems
Vojnar Tomáš, prof. Ing., Ph.D.UITSStatic Analysis in Facebook Infer
Vojnar Tomáš, prof. Ing., Ph.D.UITS

Static Analysis in FramaC

Topics:

  1. Get acquainted with basic principles of static analysis.
  2. Study the FramaC framework for static analysis.
  3. Evaluate various existing static analyses available within FramaC on suitable programs.
  4. Summarise and discuss the achieved results.

Admission Requirements:
Knowledge of the C/C++ programming languages, knowledge of basic principles of compilers, no fear of formal methods and approaches.

Controlled instruction:
  
  • Continuous consultations with student's supervisor.
  • A written report in the extent of at least 10 regular pages.
  • 15 minutes presentation and defence at the department seminar.
Progress assessment:
  A student works on the assigned task according to his/her supervisor's instructions. It is expected that the student will attend regular consultations with the supervisor.
Exam prerequisites:
  Before the end of teaching part of a semester, the student will hand in a written report in the form of a scientific article in the extent of at least 10 regular pages. Before the end of the examination period, the student presents his/her results for 15 minutes at the department seminar. The head of department determines the assessment in the range of 0-100 points on the supervisor's proposal based on the defence and the submitted report. In order to gain a credit it is necessary to get at least 50 points from 100. A student must gain at least 70 points or higher to be able to continue in the follow-up course "IP2e - Project practice 2".
 

Your IPv4 address: 34.229.24.100
Switch to https