Irfan has moved to NASA Ames Research Centre in 2019. His new contact email is firstname.lastname@example.org.
Irfan got his bachelor degree in Computer Science at Faculty of Electrical Engineering, University of Sarajevo, Bosnia and Herzegovina. In 2011 he graduated as M.Sc. in Artificial Intelligence from University of Sarajevo. After graduation he has started his PhD studies at Mälardalen University in 2012. In 2015 he defended his Licentiate thesis at Mälardalen University with the title "Facilitating Reuse of Safety Case Artefacts Using Safety Contracts". In 2018 he defended his PhD thesis at Mälardalen University titled "Assurance Aware Contract-based Design for Safety-critical Systems".
Irfan participated in teaching within the following courses at Mälardalen University:
Irfan acted as reviewer in the following conferences and journals:
He also acts as a pc committee member in SASSUR – International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems
Irfan participated in organisation of the following conferences/workshops:
My PhD research focused on developing a notion of safety contracts and related reasoning that supports the reuse of software components in and across safety- critical systems. Most of the safety-critical systems need to be certified according to a domain-specific standard (e.g., ISO26262 for automotive, DO178C for avionics etc.). One part of the certification is a safety case in form of an explained and well-founded structured argument showing that the system is acceptably safe to operate. Since certification is becoming more expensive and time-consuming, we aim at supporting reuse of certification related information together with components by using the contract reasoning.
Currently, I am doing research in safety-critical systems assurance in several European and National research projects.
My research interests include:
• Safety-relevant embedded systems
• Component-based software engineering for embedded systems
• Contract-based approaches for embedded systems
• Safety assurance
• Artificial Intelligence
• Autonomous systems.
Guiding assurance of architectural design patterns for critical applications (Mar 2020) Irfan Sljivo, Garazi Juez Uriagereka , Stefano Puri , Barbara Gallina Journal of Systems Architecture, 2021 (JSA)
Modular Safety Cases for the Assurance of Industry 4.0 (Feb 2020) Omar Jaradat, Irfan Sljivo, Richard Hawkins , Ibrahim Habli 28th Safety-Critical Systems Symposium (SCSS'20)
A Fault-Tolerant Controller Manager for Platooning Simulation (Jan 2020) Shahriar Hasan, Muhammed Abdullah Al Ahad , Irfan Sljivo, Ali Balador, Svetlana Girs, Elena Lisova The 8th IEEE International Conference on Connected Vehicles and Expo (ICCVE 19)
Safety and Security Co-Analyses: A Systematic Literature Review (Dec 2018) Elena Lisova, Irfan Sljivo, Aida Causevic IEEE Systems Journal 2018 (ISJ-2018)
Assurance Aware Contract-Based Design for Safety-Critical Systems (Sep 2018) Irfan Sljivo
Tool-Supported Safety-Relevant Component Reuse: From Specification to Argumentation (Jun 2018) Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson, Stefano Puri 23rd International Conference on Reliable Software Technologies - Ada-Europe 2018 (Ada-Europe-2018 )
|AMASS - Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems||finished|
|Future factories in the Cloud||active|
|SafeCer - Safety Certification of Software-Intensive Systems with Reusable Components||finished|
|SafeCOP - Safe Cooperating Cyber-Physical Systems using Wireless Communication||active|
|SYNOPSIS - Safety Analysis for Predictable Software Intensive Systems||finished|
|A comparative study of responsive web design frameworks in security vulnerability||finished|
|CMS for making interactive quiz-homepages with responsive design for smartphones||on-hold|