INF5150 – 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 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.
Students who are admitted to study programmes at UiO must each semester register which courses and exams they wish to sign up for in Studentweb.
If you are not already enrolled as a student at UiO, please see our information about admission requirements and procedures.
Recommended previous knowledge
The student would benefit from experience with modeling and knowledge of formal techniques, but such experience is not considered necessary.
9 credits 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. Rules for mandatory assignments.
This course has digital examination. Written exam will be given if the number of candidates is high, otherwise the exam is oral.
Examination support material
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.
Grades are awarded on a scale from A to F, where A is the best grade and F is a fail. 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.
Withdrawal from an examination
It is possible to take the exam up to 3 times. If you withdraw from the exam after the deadline or during the exam, this will be counted as an examination attempt.
It will also be counted as one of your three attempts to sit the exam for this course, if you sit the exam for one of the following courses: INF-UIT
It is strongly recommended to attend the first lecture since it will be given important information.