Publications All | Darwin | Lively | Rye | Sulava | AMOEBA | Archimedes | ART | ATOS | EEWES | Fred & JavaFrames | INARI | MBT-MOSE | MoDES | MoMupe | MuSA | Ohjelmaturva | SERIOUS | Sulake | TEMA | UML++ | Wesahmi |Safety-critical software in machineryConferences & WorkshopsSafety Process Patterns: Demystifying Safety Standards
Johannes Koskinen, Matti Vuori, and Mika Katara : "Safety Process Patterns: Demystifying Safety Standards", Proceedings of the IEEE CS International Conference on Software Science, Technology, and Engineering (SwSTE 2012), IEEE CS, Herzlia, Israel, June 2012.
bibtex Agile/Lean & Safety: Perfect Match or Impossible Combination
Mika Katara : "Agile/Lean & Safety: Perfect Match or Impossible Combination", Presentation at the Seminar on Functional Safety, VTT, Espoo, Finland, April 2011, .
 download (PDF) :: bibtex Agile Development of Safety-Critical Software for Machinery: A View on the Change Management in IEC-61508-3 ed2.0
Jani Paalijärvi and Mika Katara : "Agile Development of Safety-Critical Software for Machinery: A View on the Change Management in IEC-61508-3 ed2.0", Presentation at the ASAF seminar 'Uusi IEC61508 standardi, Teemapäivä 3, IEC 61508 standardin osat 3, 7', Automaatioseura, Helsinki, December 2010.
download (PDF) :: bibtex Standardin IEC 61508-3 testaustekniikoista - V-malli vai ketterämpi prosessi?
Mika Katara : "Standardin IEC 61508-3 testaustekniikoista - V-malli vai ketterämpi prosessi?", Presentation at the ASAF seminar 'Uusi IEC61508 standardi, Teemapäivä 3, IEC 61508 standardin osat 3, 7', Automaatioseura, Helsinki, December 2010.
download (PDF) :: bibtex Agile development of safety-critical software
Matti Vuori : "Agile development of safety-critical software ", Presentation at the Ohjelmaturva closing seminar, Tampere University of Technology, November 2011.
download :: bibtex IEC 61508-3 sisältö ja rakenne
Matti Vuori : "IEC 61508-3 sisältö ja rakenne", Presentation at the ASAF seminar Toiminnallisen turvallisuuden teemapäivä 2, Automaatioseura, Helsinki, November 2011.
download (PDF) :: bibtex Model-Based Testing and Formal Verification in IEC 61508-3 ed2.0
Mika Katara : "Model-Based Testing and Formal Verification in IEC 61508-3 ed2.0", Presentation at a Seminar on Testing Embedded Systems, Tampere University of Technology, August 2011.
download (PDF) :: bibtex Verification of Safety-Critical Systems: A Case Study Report on Using Modern Model Checking Tools
Antti Jääskeläinen, Mika Katara, Shmuel Katz, and Heikki Virtanen : "Verification of Safety-Critical Systems: A Case Study Report on Using Modern Model Checking Tools", Proc. 6th International Workshop on Systems Software Verification (SSV 2011) , Nijmegen, The Netherlands, August 2011.
download (PDF) :: bibtex Safety requirements for software of machinery – The weakest link in design
Timo Malm, Marita Hietikko, and Mika Katara : "Safety requirements for software of machinery – The weakest link in design ", AutomaatioXIX 2011 seminar, Finnish Society of Automation, Helsinki, Finland, March 2011.
bibtex Agile development of safety-critical software for machinery: A view on the change management in IEC-61508-3
Jani Paalijärvi, Mika Katara, Mika Karaila, and Teemu Parkkinen : "Agile development of safety-critical software for machinery: A view on the change management in IEC-61508-3", Proc. the 6th International Conference on Safety of Industrial Automated Systems (SIAS 2010), Finnish Society of Automation, Tampere, Finland, June 2010.
bibtex ThesisDevelopment of Safety-Critical Software using Agile Methods
Jani Paalijärvi : "Development of Safety-Critical Software using Agile Methods", Master of Science Thesis, Tampere University of Technology, May 2010.
bibtex Technical reportsSafety-critical software in machinery applications
Timo Malm, Matti Vuori, Jari Rauhamäki, Timo Vepsäläinen, Johannes Koskinen, Jari Seppälä, Heikki Virtanen, Marita Hietikko & Mika Katara : "Safety-critical software in machinery applications", VTT, vol. VTT Tiedotteita - Meddelanden - Research Notes, no. 2601, pp. 111 p. + app. 10 p., Espoo, 2011.
download (PDF) :: bibtex Safety Process Patterns in the Context of IEC 61508-3
Matti Vuori, Heikki Virtanen, Johannes Koskinen & Mika Katara : "Safety Process Patterns in the Context of IEC 61508-3", Tampere University of Technology, Department of Software Systems, Report 15, pp. 128, Tampere, 2011.
 download :: bibtex Agile Development of Safety-Critical Software
Matti Vuori : "Agile Development of Safety-Critical Software", Tampere University of Technology, Department of Software Systems, Report 14, pp. 95, Tampere, 2011.
download :: bibtex
|
