Aida Causevic is a senior lecturer in Computer Science and Software Engineering division at School of Innovation, Design and Engineering. 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 2018 she participated in Science@MDH, an event that aims at presenting research conducted at MDH to high school students in Sörmland och Västmanland. In her presentation she talked about the need for a systematic and structured way of addressing both functional safety and cybersecurity.
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.
On-Off Attack on a Blockchain-based IoT System (Sep 2019) Fereidoun Moradi, Ali Sedaghatbaf, Sara Abbaspour Asadollah, Aida Causevic, Marjan Sirjani First Workshop on Secure and Trustable Wirelessly Connected Industrial IoT (ETFA - WS01)
Cybersecurity Challenges in Large Industrial IoT Systems (Sep 2019) Björn Leander, Aida Causevic, Hans Hansson The 24th IEEE Conference on Emerging Technologies and Factory Automation (ETFA2019)
Applicability of the IEC 62443 standard in Industry 4.0 / IIoT (Aug 2019) Björn Leander, Aida Causevic, Hans Hansson 14th International Conference on Availability, Reliability and Security (ARES 2019)
Towards a Framework for Safe and Secure Adaptive Collaborative Systems (Jul 2019) Aida Causevic, Alessandro Papadopoulos, Marjan Sirjani The 9th IEEE International Workshop on Industrial Experience in Embedded Systems Design (IEESD 2019)
Investigating Attack Propagation in a SoS via a Service Decomposition (Jul 2019) Elena Lisova, Jamal El Hachem , Aida Causevic IEEE SERVICES Workshop on Cyber Security and Resilience in the Internet of Things (CSR 2019)
On Incorporating Security Parameters in Service Level Agreements (May 2019) Aida Causevic, Elena Lisova, Mohammad Ashjaei, Syed Usman Ashgar The 9th International Conference on Cloud Computing and Services Science (CLOSER2019)
|ARRAY - Automation Region Research Academy||active|
|Closing the safety-security gap in software intensive systems||finished|
|ESS-H - Embedded Sensor Systems for Health Research Profile||finished|
|Q-ImPreSS - Quality Impact Prediction for Evolving Service-oriented Software||finished|
|SafeCOP - Safe Cooperating Cyber-Physical Systems using Wireless Communication||active|
|SAFSEC-CPS -- Securing the safety of autonomous cyber-physical systems||active|
|SeCRA - Security Case Run-Time Adaptation||finished|
|Serendipity - Secure and dependable platforms for autonomy||active|
|Extending Service Level Agreements (SLAs) with security constructs||available|
|Use of service choreography principles in the context of systems of systems with focus on safety and security - a mapping study||available|
|Incorporating Security in Service Level Agreements||in progress|
|Modeling and analysis of security implications in safety-critical systems using the Rebeca tool||in progress|
|A Design Framework for Service-oriented Systems||finished|
|Connecting a Design Framework for Service-oriented Systems with UPPAAL model-checker||finished|
|Developing a type-inferencing mechanism for automatically detecting variable types in system requirements specifications||finished|
|Implementing data analysis and visualization into a SOA based architecture for AddTrack Enterprise 4G||finished|
|Towards attack models of autonomous Systems of Systems||finished|