Workshop
2nd Workshop on Model-based System Engineering and Artificial Intelligence -
MBSE-AI Integration
2025
26 - 28 February, 2025 - Porto, Portugal
In conjunction with the 13th International Conference on Model-Based Software and Systems Engineering - MODELSWARD 2025
* CANCELLED *
CO-CHAIRS
|
Afef Awadid
Technological Research Institute SystemX
France
|
|
Brief Bio
Afef Awadid is a researcher in systems and process engineering at the Technological Research Institute SystemX, where she has contributed to several joint R&D projects. As one impact of the digital transformation on industry is an increasing automation of business processes and the accompanying need for understanding their complexity, her research activities in these projects have largely focused on how to master such complexity using model-centric approaches. In 2019, she received a PhD in computer science from the University of Paris 1 Pantheon-Sorbonne, where she served as a teaching assistant for two years. Her research interests include systems engineering, system architecture, Artificial Intelligence (AI)-based systems, decision-making, model-based approaches, and process engineering.
|
|
Olivia Penas
Technological Research Institute SystemX
France
|
|
Brief Bio
Dr. Olivia Penas received in 1999 the M.Sc. degree in Material Science Engineering, in 2002 the Ph.D. degree in Physics of Materials (Smart Space composites), from INSA Lyon (France), and in 2019 the HDR degree (French habilitation to supervise PhD). She was head of the research technical support teams of Supmeca in 2006, then Deputy Director of LISMMA Laboratory in 2013 and Research Deputy Director of ISAE-Supmeca (Paris) since 2015. From 2023, she is in charge of the Systems Engineering scientific axis at the IRT SystemX. Her main research topics are model-based systems engineering (MBSE), agility, mechatronic conceptual design, knowledge management and ontology, Agility, MBSE data consistency, formalization and interoperability.
|
|
André Philippe Meyer-Vitali
Deutsches Forschungszentrum für Künstliche Intelligenz GmbH (DFKI), Stuhlsatzenhausweg 3, Saarland Informatics Campus D32, 66123 Saarbrücken, Germany
Germany
|
|
Brief Bio
Dr. André Meyer-Vitali is a computer scientist who got his Ph.D. in software engineering, ubiquitous computing and distributed AI from the University of Zürich. He worked on many applied research projects on Ambient Intelligence and multi-agent systems at Philips Research and TNO (The Netherlands) and contributed to AgentLink. He also worked at the European Patent Office. Currently, he is a senior researcher at DFKI (Germany) focused on engineering and promoting Trusted AI and is active in the AI networks TAILOR and CLAIRE. He is the scientific leader (principal investigator) of the Centre for European Research in Trusted Artificial Intelligence (CERTAIN). His research interests include Software und Knowledge Engineering, Design Patterns, Neuro-Symbolic AI, Causality, Human-Agent Interaction, and Agent-based Social Simulation (ABSS) with the aim to create Trust by Design.
|
SCOPE
"AI-empowered MBSE" is increasingly advocated as a promising approach to overcome MBSE challenges and to promote high-quality systems. At the same time, recent research projects advocate an MBSE-empowered AI as a way to build trustworthy AI systems.
This workshop will be the opportunity to discuss how to choose, apply, evaluate and adapt AI techniques, including generative AI techniques, to support MBSE, and how to adopt an MBSE approach to produce high-quality and reliable AI systems. Thus, “AI for MBSE” and “MBSE for AI” are both in the scope of the proposed workshop.
TOPICS OF INTEREST
Topics of interest include, but are not limited to:
- MBSE-based testing/analysis of AI components
- MBSE approaches for reliability analysis of AI components
- MBSE approaches for explainable and fair AI
- MBSE approaches for robust AI
- MBSE languages and tools for robustness evaluation processes of AI components
- MBSE-based guidelines for AI trustworthiness
- Design Patterns for Trustworthy AI
- Testing, Metrics for Evaluation
- AI-supported modelling (e.g., bots, recommenders, UI adaptation, etc.)
- AI techniques for traceability, consistency, and completeness of system engineering information
- Automation and AI-support of MBSE activities
- AI techniques to support the automated translation of NL requirements into semi-machine-readable requirements
- AI-supported requirements modeling
- Application of (meta-heuristic) search and machine learning to system modeling problems
- Natural language processing applied to modelling, including Large Language Models (LLM) and Generative AI
- Reinforcement learning for modelling tasks optimization
- Data quality and privacy issues in AI for MBSE
- Trust and trustworthiness in AI ethics for MBSE
- AI trustworthiness assessment for MBSE of critical systems
- LLMs-assisted Model Development
- Generation of Code from Models (E.G., UML, Semantic/Ontological (RDF/OWL), Causal, Physical)
- LLMs for Model-based Testing
- LLMs for MBSE Education
- Requirements Engineering Using LLMs
IMPORTANT DATES
Paper Submission:
December 18, 2024
Authors Notification:
January 14, 2025
Camera Ready and Registration:
January 22, 2025
WORKSHOP PROGRAM COMMITTEE
Available soon.
PAPER SUBMISSION
Prospective authors are invited to submit papers in any of the topics listed above.
Instructions for preparing the manuscript (in Word and Latex formats) are available at: Paper Templates
Please also check the Guidelines.
Papers must be submitted electronically via the web-based submission system using the appropriated button on this page.
PUBLICATIONS
After thorough reviewing by the workshop program committee, all accepted papers will be published in a special section of the conference proceedings book - under an ISBN reference and on digital support.
All papers presented at the conference venue will be available at the SCITEPRESS Digital Library (http://www.scitepress.org/DigitalLibrary/).
SCITEPRESS is a member of CrossRef (http://www.crossref.org/) and every paper is given a DOI (Digital Object Identifier).