Jussi Lahtinen
Jussi Lahtinen
Fortum Power and Heat Oyj
Email verificata su fortum.com
Titolo
Citata da
Citata da
Anno
Model checking of safety-critical software in the nuclear engineering domain
J Lahtinen, J Valkonen, K Björkman, J Frits, I Niemelä, K Heljanko
Reliability Engineering & System Safety 105, 104-113, 2012
782012
A toolset for model checking of PLC software
A Pakonen, T Mätäsniemi, J Lahtinen, T Karhela
2013 IEEE 18th Conference on Emerging Technologies & Factory Automation …, 2013
352013
Comparison between IEC 60880 and IEC 61508 for certification purposes in the nuclear domain
J Lahtinen, M Johansson, J Ranta, H Harju, R Nevalainen
International Conference on Computer Safety, Reliability, and Security, 55-67, 2010
172010
Verification of safety logic designs by model checking
K Björkman, J Frits, J Valkonen, J Lahtinen, K Heljanko, I Niemelä, ...
Sixth American Nuclear Society International Topical Meeting on Nuclear …, 2009
172009
Model checking timed safety instrumented systems
J Lahtinen
Helsinki University of Technology, 2008
122008
Automatic test set generation for function block based systems using model checking
J Lahtinen
2014 9th International Conference on the Quality of Information and …, 2014
102014
Hardware failure modelling methodology for model checking
J Lahtinen
VTT Technical Research Centre of Finland, 2014
102014
Model checking methodology for supporting safety critical software development and verification
J Lahtinen, J Valkonen, K Björkman, J Frits, I Niemelä
ESREL 2010 Annual Conf, 2010
92010
Application of the perspective-based reading technique in the nuclear I&C context
J Lahtinen, VTT Technical Research Centre of Finland
VTT Technical Research Centre of Finland (Ed.), CORSICA Work Report, 2011
62011
Analysis of an emergency diesel generator control system by compositional model checking
J Lahtinen, K Björkman, J Valkonen, J Frits, I Niemelä
VTTWorking Papers 156, 2010
52010
Integrating model checking and PRA: a novel safety assessment approach for digital I&C systems
J Lahtinen, K Björkman
26th European Safety and Reliability Conference, ESREL 2016, 383, 2016
42016
Model checking large nuclear power plant safety system designs
J Lahtinen
Aalto University, 2016
42016
Verifying large modular systems using iterative abstraction refinement
J Lahtinen, T Kuismin, K Heljanko
Reliability Engineering & System Safety 139, 120-130, 2015
42015
Software safety standards for the basis of certification in the nuclear domain
H Harju, J Lahtinen, J Ranta, R Nevalainen, M Johansson
2010 Seventh International Conference on the Quality of Information and …, 2010
42010
Verification of fault-tolerant system architectures using model checking
J Lahtinen
International Conference on Computer Safety, Reliability, and Security, 195-206, 2014
32014
CORSICA 2013 work report: Test set generation, FPGA model checking, and fault injection
J Lahtinen, J Ranta, L Lötjönen
VTT Technical Research Centre of Finland, Espoo, Finland, Research report VTT, 2014
32014
Emergency diesel generator control system verification by model checking and compositional minimization
J Lahtinen, K Björkman, J Valkonen, I Niemelä
8th Doctoral Workshop on Mathematical and Engineering Methods in Computer …, 2012
32012
Analysis of an emergency diesel generator control system by compositional model checking. MODSAFE 2010 work report
J Lahtinen, K Bjoerkman, J Valkonen, J Frits, I Niemelae
VTT Technical Research Centre of Finland, 2010
32010
Model checking methodology for large systems, faults and asynchronous behaviour: SARANA 2011 work report
J Lahtinen, T Launiainen, K Heljanko, J Ropponen
VTT Technical Research Centre of Finland, 2012
22012
Model checking methodology for large systems, faults and asynchronous behaviour
J Lahtinen, T Launiainen, K Heljanko, J Ropponen
SARANA, 2011
22011
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20