Zur Webseite der Informatik


Selected Topics in Software Engineering: Software Quality Verification and Forecasting


Software quality is a term which describes how well a software conforms to its requirements and {users' expectation}, such as, performance, safety, security, reliability, availability, and usability.
With the increasing pervasiveness of software in business- and safety-critical applications, ensuring the quality of a software is gaining considerable importance.
Examples of its applications are online banking, e-commerce, online booking and reservation, car and airplane control systems, remote surgery, high availability systems, such as e-mail servers, or adaptive systems, such as cloud computing controllers.

Software quality verification and forecasting are branches of software engineering concerned with the assurance of requirements satisfaction during both development and operation stages.
A broad range of techniques is involved in verification and forecasting, including measurements, modeling, simulation, and formal methods.

In the last decade, cloud technologies (e.g., Amazon Web Services, Google Compute Engine, Microsoft Azure) have emerged as an established platform for operating scalable, elastic, and reliable services.
The theme of the seminar in this semester is simulation tools for quality evaluation of cloud-based systems.
Each participant will investigate one specific quality attribute of cloud systems using one or more simulation tools.
In addition to studying and summarizing the research literature, it is a mandatory part of this seminar to
gather and share hands-on experience with the available simulation tools.

Bachelor students who would like to attend this seminar should be interested in model-based software
engineering, distributed systems, software quality, probability theory, and simulation techniques.

Important dates

First meeting 24.10.2017, 17:30 - 19:00, Room 0.363
Seminar guideline 07.11.2017, 17:30 - 19:00, Room 0.363
Structure and list of literature* 10.11.2017
Submission* 15.12.2017
Peer-Reviews* 12.01.2018
Presentation slides* 12.01.2018
Supervisor feedback on slides 16.01.2018
Camera-ready* 26.01.2018
Supervisor feedback on thesis 02.02.2018
Final submission* 09.02.2018

See below for details

*= The document needs to be submitted via the seminar submission site: https://easychair.org/conferences/?conf=rsssqvfws17.

List of topics

A complete list of topics will be presented on the first meeting. Participants are required to attend for topic selection.

Please check the list of topics before registration to be sure that the seminar is interesting for you. If you are interested in specific topics, you can contact the supervisor directly before the first meeting.

(*=name omitted for privacy reasons)





1 Reliability Teerat Pitakrat  
2 Security

Thomas Düllmann

3 Energy efficiency Markus Frank  
4 Cost efficiency Markus Frank  
5 Resilience André van Hoorn  
6 Elasticity Steffen Becker  
7 Scalability Dušan Okanović  
8 Maintainability Steffen Becker  
9 Migration into cloud André van Hoorn    
10 Multi-cloud Teerat Pitakrat  

Presentation schedule

Room: 0.363
Time: 17:30 - 19:00




1  23.01.2018  
 4 30.01.2018  
7 06.02.2018  

Seminar Guideline

Paper structure
Review process
  • Each student reviews and writes reports for 2 seminar papers of other students.
  • The reports should comply with the review guideline (to be provided).
Revising paper
  • The students should revise their own paper based on the comments given by the supervisors and the reviewers.
  • A response to the review reports should be provided according to the response template (to be provided) and submitted along with the revised version of the paper.
  • The presentation should be 15 minutes long followed by 5 minutes for questions/discussion.
  • It is highly encouraged to give the presentation in English.

Seminar Registration


Additional information

M.Sc. Teerat Pitakrat, pitakrat@informatik.uni-stuttgart.de
M.Sc. Markus Frank, markus.frank@informatik.uni-stuttgart.de
Reliable Software Systems (RSS) Group
Institute for Software Technology (ISTE), University of Stuttgart