MBSE · Automotive · Formal V&V

Faezeh
Siavashi, Ph.D.

Postdoctoral Research Fellow — Systems Engineering
McMaster University · Hamilton, ON

I'm an Engineer & Researcher with 12+ years across research, data engineering, automation, and software leadership roles. My core expertise is Model-Based Systems Engineering (MBSE) and formal verification & validation (V&V) for safety-critical, embedded, and distributed systems. I've worked on V&V for healthcare devices and automotive safety modeling, and I'm currently focused on privacy assurance for mHealth applications using AI and model-driven engineering.

↗ Google Scholar LinkedIn GitHub
Faezeh Siavashi
Areas of Expertise
🔐
Privacy Policy Modeling & LLMs
Schema-guided large language models for extracting and formalizing privacy policies, supporting privacy assurance for mHealth applications (ORF-funded project).
⚙️
Model Transformation & MBSE
SysML–AUTOSAR model transformation, interface traceability, and architecture consistency across system and software boundaries.
🛡️
Functional Safety (ISO 26262)
HARA, V-model lifecycle, requirements traceability, and system health & safety mechanism verification for embedded platforms.
🔍
Software Verification & Testing
Model-based and mutation testing for distributed systems, with a focus on robustness evaluation and reliability.
Experience
Jun 2022 – Present
Postdoctoral Research Fellow — Systems Engineering
McMaster University · Hamilton, ON
Currently leading an Ontario Research Fund (ORF)-funded project on privacy policy modeling for mHealth applications, developing a schema-guided LLM approach to extract and formalize privacy requirements. Earlier in this role, partnered with Stellantis on automotive software platform integration — leading SysML-based architecture model transformation and authoring verification artifacts aligned with ISO 26262, recognized with the TCSE Distinguished Synergy Award (2024).
Jan 2022 – Aug 2022
Data Engineer
CubiCasa · Helsinki, Finland
Designed sensor data annotation pipelines for perception model training datasets, and built APIs and web services for automated model benchmarking and performance evaluation across machine learning pipelines.
Aug 2020 – Jan 2022
Lead Software Engineer
Wishadish Oy · Espoo, Finland
Architected microservices and distributed system components for smart city mobility platforms, defining service interfaces and integration contracts. Set technical roadmaps, mentored junior engineers, and coordinated delivery across Agile sprints.
Mar 2019 – May 2020
Software Automation Engineer
GE Healthcare · Helsinki, Finland
Developed automated test frameworks for safety-critical embedded medical monitoring devices — alarm management, vital sign measurement, and blood pressure modules — with system-level test suites traceable to functional safety requirements under IEC 62304 and V-model lifecycle verification.
Jan 2014 – Apr 2020
Researcher / Ph.D. Candidate — Software Engineering
Åbo Akademi University · Turku, Finland
Developed model-based testing frameworks for distributed web services, including mutation testing and robustness evaluation techniques, with experimental validation published in peer-reviewed venues.
Education
🎓
Ph.D., Software Engineering
Åbo Akademi University · Finland
🎓
M.Sc., Embedded Computing
Åbo Akademi University · Finland
🎓
B.Sc., Software Engineering
Azad University of Tehran · Iran
Selected Publications
Journal · SoSyM 2026
Integrating SysML and AUTOSAR Model Transformation in Automotive MBSE
F. Siavashi et al. · Software and Systems Modeling
Latest
Conference · IEEE ISSREW 2024
Using Boundary Objects for Continuous Compliance in Automotive Development
F. Siavashi et al.
Conference · IEEE ISSREW 2023
Bridging System Architecture and Software Design Using Model Transformation
F. Siavashi et al.
Best Industrial Paper Runner-Up
Conference · IEEE QRS 2018
Vulnerability Assessment of Web Services with Model-Based Mutation Testing
F. Siavashi et al.
View all publications on Google Scholar ↗
Awards & Recognition
2024 TCSE Distinguished Synergy Award — for industry collaboration with Stellantis (McSCert).
2023 Best Industrial Paper Runner-Up — International Symposium on Software Reliability Engineering (ISSRE).
2016 Best Student Paper Award — International Conference on Software Engineering and Applications (ICSEA).
2016 Grace Hopper Scholarship — Women in Computing Conference.
2015 Research Excellence Award — Ulla Tuominen Research Foundation.
Technical Skills
Functional Safety & Systems Eng.
ISO 26262 HARA Safety-Critical Verification V-Model Lifecycle Requirements Traceability Interface Definitions Architecture Analysis Safety Mechanisms
Platform Domains
AUTOSAR Embedded / Real-Time Distributed Middleware Sensor/Data Pipelines SOA Microservices
MBSE & Modeling Tools
SysML IBM Rhapsody PREEvision DOORS Model-Based V&V Model Transformation Eclipse
Software & Programming
Python C/C++ JavaScript PowerShell Bash API Development
DevOps & Infrastructure
Git Docker CI/CD AWS
Development Practices
Agile Scrum Kanban
News
2026 Currently leading an Ontario Research Fund (ORF) project on mHealth privacy assurance, with a paper in progress on Privacy Policy Modeling using Schema-Guided LLMs.
May 2026 New journal paper published in Software and Systems Modeling (SoSyM).
2024 Our team at McSCert received the TCSE Distinguished Synergy Award for the Stellantis collaboration 🎉
2024 New paper published at IEEE ISSREW 2024: "Using Boundary Objects for Continuous Compliance in Automotive Development."
Contact

Open to roles and collaborations in systems engineering, MBSE, and functional safety for automotive and embedded platforms.

✉ fasiava@gmail.com in LinkedIn ⌥ GitHub scholar Google Scholar