• Studies
• Courses
• • INF5150

INF5150 - Unassailable IT-systems

Course content

The techniques presented have for several years been used in design of real time systems and other parallel programs. We concentrate on systems of interacting actors and model such systems in UML 2.0 (Unified Modeling Language). Sequence Diagrams of UML are the core notation for intuitive and formal description of interaction patterns. Topics of the course include: theoretic foundation for UML, refinement concepts in a UML context, modularity through contract-oriented specification, modular security analysis.

Learning outcomes

The course INF5150 aims to teach the students how software can be made unassailable. By unassailable we mean that the software is easy to analyze with respect to reliability and still easy to maintain. The overall goal is to explain how practical software development can benefit from theories about state machines, refinement, formal reasoning and modularity.

Admission

Students at UiO must apply for courses in StudentWeb.

International applicants, if you are not already enrolled as a student at UiO, please see our information about admission requirements and procedures for international applicants.

Prerequisites

Recommended prior knowledge

The student would benefit from experience with modeling and knowledge of formal techniques, but such experience is not considered necessary.

Overlap

9 credits INF-UIT

Teaching

There will be 3 hours lectures per week during the fall semester. There are obligatory exercises to be carried out in groups. The obligatory exercise will consist of modeling, implementing and validating a simple distributed system. The exercise will have several drops with separate deadlines during the semester. Rules for mandatory assignments.

Exam information

Written exam will be given if the number of candidates is high, otherwise the exam is oral. General information about the examination.

Exam resources

All printed and written exam resources are allowed.

Language of examination

The exam will be written in English only when the language of instruction is English.

Assessment and grading

Course grades are awarded on a descending scale using alphabetic grades from A to E for passes and F for fail. Read more about the grading system .

The Course Auditor is Jan Ø. Aagedal.

An external auditor regularly evaluates the academic quality of the course, including the form of exam used on the course.

Possibility of make-up exams and re-takes

This subject does not offer new examination in the beginning of the subsequent term for candidates who withdraw during an ordinary examination or fail an ordinary examination. For general information about new examination, see http://www.mn.uio.no/studier/admin/eksamen/utsatt-og-ny-eksamen/index.html and http://www.mn.uio.no/english/studies/admin/examination/retaking-examinations/

Withdrawing from exams and limits on re-takes

The subject is regarded equal to INF-UIT when practicing exam regulations.

A student can sit for this exam up to 3 times. If a student wishes to withdraw from the exam, s/he must do this in StudentWeb at least two weeks prior to the first day of the exam. Failure to do so will be counted as one of the three opportunities to sit for the exam.

Other information

It is strongly recommended to attend the first lecture since it will be given important information.

Contact us