Methodologies for the safety analysis of innovative nuclear systems