INF9150 - Unassailable IT-systems
Schedule, syllabus and examination date
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.
The course INF9150 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.
In addition, each PhD student will be given an extended curriculum within the field/research area of the course. The syllabus must be approved by the lecturer so that the student can be admitted to the final exam.
PhD candidates from the University of Oslo should apply for classes and register for examinations through Studentweb.
If a course has limited intake capacity, priority will be given to PhD candidates who follow an individual education plan where this particular course is included. Some national researchers’ schools may have specific rules for ranking applicants for courses with limited intake capacity.
PhD candidates who have been admitted to another higher education institution must apply for a position as a visiting student within a given deadline.
Recommended previous knowledge
The student would benefit from experience with modeling and knowledge of formal techniques, but such experience is not considered necessary.
- 10 credits overlap with INF5150 - Unassailable IT-systems
- 9 credits overlap with INF-UIT
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.
Written digital exam will be given if the number of candidates is high, otherwise the exam is oral.
Grades are awarded on a pass/fail scale. Read more about the grading system.
Explanations and appeals
Resit an examination
Students who can document a valid reason for absence from the regular examination are offered a postponed examination at the beginning of the next semester.
Re-scheduled examinations are not offered to students who withdraw during, or did not pass the original examination.
Note that the first lecture is compulsory. The subject is regarded equal to INF-UIT when practicing exam regulations.