Promoting MBA in the rail sector by deriving process-related evidence via MDSafeCer
作者： Barbara Gallina , Elena Gómez-Martínez , Clara Benac-Earle
DOI: 10.1016/J.CSI.2016.11.007
关键词: Computer security 、 Process management 、 Process (engineering) 、 Safety case 、 Quality (business) 、 Computer science 、 Process assessment 、 Hardware and Architecture 、 Software 、 Law
摘要: An EN 50129-compliant safety case should include process-related evidence in terms of quality as well management. Potentially innovative engi- neering methods developed academic settin ...
elsevier.com
sci-hub.se 参考文章(28)
John Rushby, Logic and Epistemology in Safety Cases international conference on computer safety reliability and security. pp. 1- 7 ,(2013) , 10.1007/978-3-642-40793-2_1
Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson, Generation of Safety Case Argument-Fragments from Safety Contracts Lecture Notes in Computer Science. pp. 170- 185 ,(2014) , 10.1007/978-3-319-10506-2_12
Barbara Gallina, Karthik Raja Pitchai, Kristina Lundqvist, S-TunExSPEM: Towards an Extension of SPEM 2.0 to Model and Exchange Tunable Safety-Oriented Processes SERA (selected papers). pp. 215- 230 ,(2014) , 10.1007/978-3-319-00948-3_14
Elena Gómez-Martínez, Ricardo J. Rodríguez, Leire Etxeberria Elorza, Miren Illarramendi Rezabal, Clara Benac Earle, Model-Based Verification of Safety Contracts international conference on software engineering. pp. 101- 115 ,(2014) , 10.1007/978-3-319-15201-1_7
Barbara Gallina, Luciana Provenzano, Deriving Reusable Process-based Arguments from Process Models in the Context of Railway Safety Standards international conference on reliable software technologies. ,vol. 36, pp. 237- 241 ,(2015)
Odd Nordland, Presenting a Safety Case - A Case Study international conference on computer safety reliability and security. pp. 56- 65 ,(2001) , 10.1007/3-540-45416-0_6
Robin Bloomfield, Peter Bishop, Safety and Assurance Cases: Past, Present and Possible Future – an Adelard Perspective SSS. pp. 51- 67 ,(2010) , 10.1007/978-1-84996-086-1_4
Elena Gómez-Martínez, José Merseguer, ArgoSPE: model-based software performance engineering applications and theory of petri nets. pp. 401- 410 ,(2006) , 10.1007/11767589_23
Barbara Gallina, Laurent Fabre, Benefits of security-informed safety-oriented process line engineering ieee aiaa digital avionics systems conference. pp. 1- 24 ,(2015) , 10.1109/DASC.2015.7311473
S. Donatelli, M. Ajmone Marsan, G. Balbo, G. Franceschinis, G. Conte, Modelling with Generalized Stochastic Petri Nets ,(1995)