Certifiable Evidences & Justification Engineering
Focus:
Co-engineering of security and safety life-cycles for engineering security-informed safety-critical automotive systems in compliance with SAE J3061 and ISO 26262 (Jun 2019) Barbara Gallina, Muhammad Atif Javed, Helmut Martin, Robert Bramberger 24th International Conference on Reliable Software Technologies (Ada-Europe-2019)
A Tool-supported Model-based Method for Facilitating the EN50129-compliant Safety Approval Process (Jun 2019) Faiz UL Muram , Barbara Gallina, Samina Kanwal 3rd International Conference Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification (RSS-Rail-2019)
Constructing Product-Line Safety Cases from Contract-Based Specifications (Apr 2019) Damir Nesic , Mattias Nyberg , Barbara Gallina The 34th ACM/SIGAPP Symposium On Applied Computing (SAC'19)
Towards Variant Management and Change Impact Analysis in Safety-oriented Process-Product Lines (Apr 2019) Muhammad Atif Javed, Barbara Gallina, Anna Carlsson The 34th ACM/SIGAPP Symposium On Applied Computing (SAC'19)
ConcertoFLA-based Multi-concern Assurance for Space Systems (Mar 2019) Zulqarnain Haider, Barbara Gallina, Anna Carlsson , Silvia Mazzini , Stefano Puri Ada User Journal (AUJ-40 (1))
The AMASS Approach for Assurance and Certification of Critical Systems (Feb 2019) Jose Luis de la Vara , Alejandra Ruiz Lopez , Barbara Gallina, Gaël Blondelle , Elena Alaña , Javier Herrero , Fredrik Warg , Martin Skoglund , Robert Bramberger embedded world 2019 (ewC-2019)
Barbara Gallina, Associate Professor
Email: barbara.gallina@mdh.seRoom: U1-068
Phone: +46(0)21-101631