| Kursusnavn (dansk): | Critical Systems Seminar |
| Kursusnavn (engelsk): | Critical Systems Seminar |
| Semester: | Efterår 2016 |
| Udbydes under: | cand.it., softwareudvikling og -teknologi (sdt) |
| Omfang i ECTS: | 7,50 |
| Kursussprog: | Engelsk |
| Kursushjemmeside: | https://learnit.itu.dk |
| Min. antal deltagere: | 1 |
| Forventet antal deltagere: | 0 |
| Maks. antal deltagere: | 30 |
| Formelle forudsætninger: | System architecture and Security (Course), Discrete Mathematics and Distributed Systems in Java |
| Læringsmål: | The student should after the seminar be able to
• Explain technologies for formally modelling, designing and analysing reliable and secure critical systems, and apply tools for formal specification and analysis.
• Explain the use of compliance rules and selected current industrial standards, and specify rules informally and formally.
• Explain the principles of formal analysis and verification (term-rewriting, run-time verification and model-checking) and use tools for formal analysis and verification. |
| Fagligt indhold: | The seminar introduce the student to key techniques and concepts related to the production of software for critical systems.
The seminar will cover lectures and hand on lab exercises on
• technologies for formal modelling and design of reliable and secure critical systems
• compliance rules and selected current industrial standards, and specification of compliance rules informally and formally
• principles and tools of formal verification (model-checking) and run time verification.
This seminar prepare the student to do a project in the second half of the term, followed by a MSc thesis preparing to take software developer and software/enterprise architect jobs in software houses and consultancies taking part in development of distributed, service-oriented and process-aware information systems for which correctness and security plays a critical role (such as electronic patient records and other healthcare software, financial software, e-voting, aministrative systems, embedded software in safety-critical devices such transportation etc), as well as it serves as a potential entry point to research in model-based security by design, process-aware information systems, formal methods, programming, logic and semantics. |
| Læringsaktiviteter: | The seminar will cover lectures and hand on lab exercises on
• technologies for formal modelling and design of reliable and secure critical systems
• compliance rules and selected current industrial standards, and specification of compliance rules informally and formally
• principles and tools of formal verification: term-rewriting, model-checking and run time verification. |
| Obligatoriske aktivititer: | Der er ingen obligatoriske aktiviteter. Vær venlig KUN at ændre denne tekst når der er obligatoriske aktiviteter.
There are no mandatory activities. Please, change this text ONLY when there are mandatory activities |
| Eksamensform og -beskrivelse: | C: Skriftlige arbejder uden mundtlig eksamen., (7-scale, external exam) Submission of one assignement covering the two key topics.
The submission are to be made individually.
|
| Litteratur udover forskningsartikler: | TBD |
| | |
Kursusoversigt