Syllabus/achievement requirements

Mandatory requirements STAIRS

Haugen, Husa, Runde, Stølen: STAIRS towards formal design with sequence diagrams, 2005. SoSyM, Springer Online. STAIRS article.

Runde, Haugen, Stølen: The Pragmatics of STAIRS, 2006. Springer-Verlag. LNCS 4111. STAIRS tutorial.

Mandatory requirements CORAS

Mass Soldal Lund, Bjørnar Solhaug, Ketil Stølen: Chapter 3 "A Guided Tour of the CORAS Method" in the book "Model-Driven Risk Analysis: The CORAS Approach", 2011. Springer. The chapter can be downloaded freely from the Springer webpage.

Mass Soldal Lund, Bjørnar Solhaug, Ketil Stølen: Risk Analysis of Changing and Evolving Systems Using CORAS, 2011. LNCS 6858, Springer. Pages 231-274. CORAS tutorial.

ONLY FOR INF9150: Le Minh Sang Tran, Bjørnar Solhaug, Ketil Stølen. An approach to select cost-effective risk countermeasures exemplified in CORAS. SINTEF A24343, SINTEF ICT, July 2013. /studier/emner/matnat/ifi/INF5150/h13/

Mandatory requirements modeling

Pilone, Dan: UML 2.0 in a Nutshell, 2005. O'Reilly Media. ISBN: 0-596-00795-7. Read it on Safari (free with IFI IP address).

Haugen, Møller-Pedersen, Weigert: Structural Modeling with UML 2.0, 2003. Kluwer. ISBN: 1-4020-7501-4. We have picked out one chapter, but also other chapters are interesting. chapter in pdf.

ONLY FOR INF9150: The Common Variabiliy Language revised submission to the OMG, found here.

ONLY FOR INF9150: Haugen and Øgård: BVR - Better Variability Results (D. Amyot et al. (Eds.): SAM 2014, LNCS 8769, pp. 1–15, 2014.)

All lecture notes and group notes are mandatory requirements

Obligatory exercise with solutions

All material from obligatory exercises is mandatory curriculum. This comprises the exercise, the solutions and any lectures given to explain the exercise.

Background material (not mandatory)

Solhaug, Elgesem, Stølen: Why Trust is not proportional to Risk, 2007. Second International Conference on Availability, Reliability and Security (ARES'07).

Solhaug, Stølen: Uncertainty, subjectivity, trust and risk – how it all fits together, Proc. 7th International Workshop on Security and Trust Management (STM'11).

Edward A. Lee and Sanjit A. Seshia, Introduction to Embedded Systems, A Cyber-Physical Systems Approach, Second Edition,, ISBN 978-1-312-42740-2, 2015.

Rumbaugh, Jacobson, Booch: UML Reference Manual, Second Edition, 2004. Addison-Wesley. ISBN: 0321245628. Link to Addison-Wesley on this book.

The UML standard version 2.5 can be found here.

Baker, Dai, Grabowski, Haugen, Schieferdecker, Williams: Model-driven Testing, 2007. Springer. ISBN: 978-3-540-72562-6. Link to Springer on this book.

Publisert 9. sep. 2015 11:50 - Sist endret 8. nov. 2015 18:17