Logo
User Name

Irfan Sljivo

I am currently employed by KBR to work as a computer scientist in the Robust Software Engineering Group at the NASA Ames Research Center.

Društvene mreže:

Polje Istraživanja: Computer science

Institucija

NASA Ames Research Center
Computer Scientist

I am currently employed by KBR to work as a computer scientist in the Robust Software Engineering Group at the NASA Ames Research Center. In my work I focus on safety assurance challenges in various industries, with particular focus on space, avionics and automotive domains.

I have finished my undergraduate studies at University of Sarajevo where I have defended my Bachelors and Masters degree on the subject of, respectively, "The Assignment problem" in the field of Operations Research and "Usage of multiple Neural Networks in process of voice recognition" in the field of Artificial Intelligence.

I have started my PhD studies at Mälardalen University in 2012. 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 in safety argumentation to allow for reuse of parts of the safety case.

In 2015 I have finished the Licentiate part of my PhD studies when I defended my Licentiate degree on the subject of “Facilitating Reuse of Safety Case Artefacts Using Safety Contracts”.

In 2018 I have defended my PhD thesis titled "Assurance Aware Contract-Based Design of Safety-critical Systems".

Currently, I am doing research in model-based safety cases, integration of formal methods in safety cases as well as safety cases for autonomous systems.

My research interests include:

• Safety-critical systems engineering
• Safety case assurance
• Application of AI/ML in safety-critical application
• Autonomous systems
• Component-based software engineering for safety-critical systems
• Contract-based approaches for safety-critical systems

Omar Jaradat, Irfan Šljivo, I. Habli, R. Hawkins

The Internet-of-Things (IoT) has enabled Industry 4.0 as a new manufacturing paradigm. The envisioned future of Industry 4.0 and Smart Factories is to be highly configurable and composed mainly of the `things' that are expected to come with some, often partial, assurance guarantees. However, many factories are categorised as safety-critical, e.g. due to the use of heavy machinery or hazardous substances. As such, some of the guarantees provided by the `things', e.g. related to performance and availability, are deemed as necessary in order to ensure the safety of the manufacturing processes and the resulting products. In this paper, we explore key safety challenges posed by Industry 4.0 and identify the characteristics that its safety assurance should exhibit. We propose a set of safety assurance responsibilities, e.g. system integrators, cloud service providers and `things' suppliers. Finally, we reflect on the desirable modularity of such a safety assurance approach as a basis for cooperative, on-demand and continuous reasoning for Industry 4.0 architectures and services.

Omar Jaradat, Irfan Šljivo, R. Hawkins, I. Habli

The Internet-of-Things (IoT) has enabled Industry 4.0 as a new manufacturing paradigm. The envisioned future of Industry 4.0 and Smart Factories is to be highly configurable and composed mainly of ...

Latest technological trends lead toward systems connected to public networks even in critical domains. Bringing together safety and security work is becoming imperative, as a connected safety-critical system is not safe if it is not secure. The main objective of this study is to investigate the current status of safety and security co-analysis in system engineering by conducting a systematic literature review. The steps of the review are the following: the research questions identification; agreement upon a search string; applying the search string to chosen databases; a selection criterion formulation for the relevant publications filtering; selected papers categorization and analysis. We focused on the early system development stages and identified 33 relevant publications categorized as follows: combined safety and security approaches that consider the mutual influence of safety and security; safety-informed security approaches that consider influence of safety on security; and security-informed safety approaches that consider influence of security on safety. The results showed that a number of identified approaches are driven by needs in fast developing application areas, e.g., automotive, while works focusing on combined analysis are mostly application area independent. Overall, the study shows that safety and security co-analysis is still a developing domain.

Hamza Bourbouh, M. Farrell, Anastasia Mavridou, Irfan Šljivo, G. Brat, Louise Dennis, M. Fisher

...
...
...

Pretplatite se na novosti o BH Akademskom Imeniku

Ova stranica koristi kolačiće da bi vam pružila najbolje iskustvo

Saznaj više