Aida Causevic, Senior Lecturer


Aida Causevic is a researcher in Safety-Critical Engineering group since april 2015. She received her PhD title at the Mälardalen University in January 2014 defending her thesis entitled: "Formal Approaches for Behavioral Modeling and Analysis of Design-time Services and Service Negotiations" (LINK).

She has defended her licentiate thesis with the title "Formal Approaches to Service-oriented Design: From Behavioral Modeling to Service Analysis", in June 2011 (LINK).

Aida obtained her master degree from University of Sarajevo and Faculty of Electrical Engineering in 2007. The thesis entitled as "Program Evaluation Using Fuzzy Logic with Bad Smells as Inputs" has been done under DAAD-BiHSP scholarship program and in cooperation of University Sarajevo (B&H) and University Paderborn (GER). Link to the conference paper publication that resulted from the theis.

Her current research includes work on addressing the challenges of security informed autonomous cyber-physical systems. This work is done through The Knowledge Foundation funded project SAFSEC-CPS, Process Industrial IT and Automation funded project RAASS (Risk Analysis of Autonomous System of Systems) and ECSEL JU SafeCop (Safe Cooperating Cyber-Physical Systems using Wireless Communication) in close collaboration with industry, with companies such as Volvo Construction Equippment, ABB Robotics and Knightec AB.

She also serves as a program committee member for Embedded Conference Scandinavia since 2016.

In her post doc period she has been involved in research on addressing security challenges in wireless sensor networks for health within ESS-H profile (LINK).

During her PhD studies Aida has been working on developing adequate methods and tools for specification, modeling, and formal analysis of services and service compositions in Service-Oriented Systems (SOS). First part of the doctoral studies has been conducted under FP7 Q-ImPreSS (Quality Impact Prediction for Evolving Service-Oriented Software) project, with aim at bringing service orientation to critical software systems, such as industrial production control, telecommunication, and critical enterprise applications.

The second part of her PhD studies has been carried out within the "Contract-Based Components for Embedded Software - CONTESSE" project. The aim of the project has been to advance state of the art in component- and model-based software development by improving prerequisites for efficient reuse of components via well defined contracts.

[Show all publications]

[Google Scholar author page]

Latest publications:

Towards Security Case Run-time Adaptation by System Decomposition into Services (Oct 2018)
Elena Lisova, Aida Causevic
44th Annual Conference of the IEEE Industrial Electronics Society (IECON'18)

Incorporating Attacks Modeling into Safety Process (Sep 2018)
Amer Surkovic, Dzana Hanic, Elena Lisova, Aida Causevic, Kristina Lundqvist, David Wenslandt , Carl Falk
6th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2018)

A Systematic Way to Incorporate Security in Safety Analysis (Jun 2018)
Elena Lisova, Aida Causevic, Kaj Hänninen, Henrik Thane, Hans Hansson
3rd Workshop on Security and Dependability of Critical Embedded Real-Time Systems (CERTS'18)

Towards Attack Models in Autonomous Systems of Systems (May 2018)
Amer Surkovic, Dzana Hanic, Elena Lisova, Aida Causevic, David Wenslandt , Carl Falk
System of Systems Engineering Conference (SoSE 2018)

Survey on Data Security and Privacy in Wireless Sensor Systems for Health (Nov 2017)
Aida Causevic, Hossein Fotouhi, Kristina Lundqvist
Security and Privacy in Cyber-Physical Systems: Foundations, Principles and Applications (Wiley)

Clock Synchronization Considerations in Security Informed Safety Assurance of Autonomous Systems of Systems (Oct 2017)
Elena Lisova, Aida Causevic, Elisabeth Uhlemann, Mats Björkman
43rd Annual Conference of the IEEE Industrial Electronics Society (IECON 2017)