Banner
Home      Log In      Contacts      FAQs      INSTICC Portal
 
Documents
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


CO-CHAIRS

Afef Awadid
IRT 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é Meyer-Vitali
Deutsches Forschungszentrum für Künstliche Intelligenz GmbH (DFKI)
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

KEYNOTE SPEAKERS

The Evolution of AI Architectures

Grady Booch
IBM Research
United States


Brief Bio
Grady Booch is Chief Scientist for Software Engineering at IBM Research where he leads IBM’s research and development for embodied cognition. Having originated the term and the practice of object-oriented design, he is best known for his work in advancing the fields of software engineering and software architecture. A co-author of the Unified Modeling Language (UML), a founding member of the Agile Alliance, and a founding member of the Hillside Group, Grady has published six books and several hundred technical articles, including an ongoing column for IEEE Software and IEEE Spectrum. Grady was also a trustee for the Computer History Museum. He is an IBM Fellow, an ACM and IEEE Fellow, has been awarded the Lovelace Medal and has given the Turing Lecture for the BCS, and was named an IEEE Computer Pioneer for his work in software architecture. He is currently developing a major trans-media documentary for public broadcast on the intersection of computing and the human experience.
His primary work encompasses three area: helping architect a large complex system for national strategic defense, bringing IBM back to space, and working with a team of neuroscientists to better understand the architecture and the design patterns of the mind.
Grady has served as an architect or architectural mentor for a variety of complex software-intensive systems across many domains, including shipping (OOCL), finance (CitiGroup and Visa), transportation (the Canadian Air Traffic Control System and the London Underground), defense (THAAD, AEGIS, SBIRS, and others), commerce (eBay), productivity (Photoshop), governmental (IRS and USPTO), medical (Medtronic), software development (Rational Rose), artificial intelligence (Watson), and many others.


Abstract
One sign of the maturation of the domain of artificial intelligence is the emergence of design patterns and architectural styles, which represent common solutions to common problems. Every domain of computing has experienced brief explosive breakthroughs of such patterns and styles, followed by periods of equilibrium as those ideas are made manifest and move from research to production. In this talk, we will survey the history of punctuated equilibrium in the engineering of AI systems, examine the forces that shaped each period, and project where contemporary forces are leading us.

 

Human Systems Integration: A Discussion on Artificial Intelligence

Guy A. Boy
ESTIA)
France


Brief Bio
Prof. Guy A. Boy, Ph.D., is an Air and Space Academy Fellow, an INCOSE Fellow (Human-Systems Integration [HSI] Working Group Chair), and a Fellow of the International Academy of Astronautics. He is a Professor and Scientific Council Chairman at ESTIA Institute of Technology. From 2019 to 2024, he was FlexTech Chair Holder and Professor at CentraleSupélec (Paris Saclay University) and ESTIA. He is the FlexTech-2 Chair Holder. He is a Visiting Scholar at ISAE-SUPAERO (the French Aerospace Institute of Technology). He is very active in the development of HSI worldwide. He was Professor and Dean of the Florida Institute of Technology Human-Centered Design Institute (HCDi) and HCD Doctoral School, Senior Research Scientist at the Florida Institute for Human and Machine Cognition (IHMC), and IPA Chief Scientist for HCD at NASA Kennedy Space Center. He was a member of the Scientific Committee of the Single European Sky for Air Traffic Management Research (SESAR) program from 2013 to 2016. He was Chairman of the Organizing Committee of the ISU (International Space University) SSP (Space Studies Program) FIT/NASA-KSC 2012 (SSP12). He has been an adjunct professor at the École Polytechnique de Paris (Comasic Master). He was a member of the Board of Professors of the Master in Complex Systems Engineering of Paris Saclay University. He was President and CEO of the European Institute of Cognitive Sciences and Engineering (EURISCO, a research institute of Airbus and Thales). He co-founded EURISCO in 1992 and led it from its creation until its closure in 2008. Between 1980 and 1991, he worked in artificial intelligence and cognitive sciences at ONERA (French Aerospace Lab) as a researcher and group leader and at NASA Ames Research Center in California as the Advanced Interaction Media Group Lead. Engineer and researcher in cognitive sciences, he obtained his engineering degrees (including a Master’s in 1977 and a Doctorate in 1980) from ISAE-SUPAERO, his Research Professor Habilitation (HDR) from Sorbonne University (Pierre and Marie Curie University) in 1992, and his Qualifications of University Professor in Computer Science and Psychology in 1994.
He actively introduced Cognitive Engineering and Human Systems Integration in France and its development worldwide, notably within the ACM (Association for Computing Machinery), the IEA (International Ergonomics Association), and INCOSE. He co-founded the French Cognitive Engineering School (École Nationale Supérieure de Cognitique or ENSC) in Bordeaux in 2004. He co-founded the HCI-Aero conference series (1986-2016) that led to INCOSE HSI Conferences and Workshops. He is the author of more than 200 refereed scientific and technical papers and several university textbooks, such as Intelligent Assistant Systems (Academic Press, USA, 1991), Cognitive Function Analysis (Praeger, USA, 1998), the Cognitive Engineering volume of the French “Traité de Sciences Cognitives” (Lavoisier, France, 2003), the Handbook of Human-Machine Interaction (CRC, USA, 2011), Orchestrating Human-Centered Design (Springer, UK, 2013), Tangible Interactive Systems (Springer, UK, 2016), Human Systems Integration (CRC, USA, 2020), Design for Flexibility (Springer, UK, 2021), and Risk Taking, Prevention and Design (CRC, USA, 2022). He was elected Senior Member of ACM in 2009 (Executive Vice-Chair of ACM-SIGCHI from 1995 to 1999) and Chair of the International Ergonomics Association (IEA) Aerospace Technical Committee (2008-2022). He has been the Ambassador of the INCOSE-IEA partnership worldwide since 2021.


Abstract
We now live in a digital and virtual world where we increasingly seek tangibility. What's more, artificial intelligence (AI) has invaded our lives. The relationship between humans and AI should be explored further from the point of view of human systems integration (HSI), especially when we use models to assess what is tangible physically (making virtual objects concrete) and figuratively (understanding what is going on). We talk more and more about autonomous machines, but what about autonomous people? How can technologies help solve problems in unexpected situations? The concept of autonomy requires closer examination and a more formal physical and cognitive systemic representation to enable a more detailed and meaningful analysis, particularly about situational awareness, decision-making, and risk-taking. Integrating humans into increasingly autonomous systems raises new issues such as trust, collaboration, and multi-agent performance. We will address these questions, leading us to ask ourselves a new problem: To what extent should the machine be considered a tool or a partner? Examples will be taken from aeronautics and other industrial sectors.

References
NASEM (2021). Human-AI Teaming: State of the Art and Research Needs. National Academy of Sciences, Engineering, and Medicine, Washington D.C. The National Academy Press. https://doi.org/10.17226/26355.
Boy, G.A. (2023). An epistemological approach to human systems integration. https://doi.org/10.1016/j.techsoc.2023.102298. Technology in Society, 102298, Elsevier.
Boy, G.A. & Morel, C. (2022). The Machine as a Partner: Human-Machine Teaming Design using the PRODEC Method. WORK Journal. Vol. 73, no. S1, pp S15-S30. DOI: 10.3233/WOR-220268.
Boy, G.A. (2021). Design for Flexibility - A Human Systems Integration Approach. Springer Nature, Switzerland. ISBN: 978-3-030-76391-6.
Boy, G.A. (2020). Human Systems Integration: From Virtual to Tangible. CRC Press – Taylor & Francis Group, USA.

IMPORTANT DATES

Paper Submission: January 6, 2025 (expired)
Authors Notification: January 14, 2025 (expired)
Camera Ready and Registration: January 22, 2025

WORKSHOP PROGRAM COMMITTEE

Sonia Aycahi, Sousse University, Tunisia
Alessio Bucaioni, Malardalen university, Sweden
Mahmoud Efatmaneshnik, University of South Australia, Australia
Jean-Marie Gauthier, IRT Saint Exupéry, France
Juliette Mattioli, Thales, France
Johannes Norheim, University of Strathclyde, United Kingdom
Hervé Panetto, University of Lorraine, France
Thomas Paviot, meeDIA, France
Olivia Penas, IRT SystemX, France
Emilie Perreau, GSCOP, Grenoble INP, France
Romain Pinquié, Grenoble-INP / G-SCOP, Afghanistan
Maximilian Poretschkin, Lamarr Institute for Machine Learning and Artificial Intelligence, Germany

(list not yet complete)

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).

SECRETARIAT CONTACTS

MODELSWARD Workshops - MBSE-AI Integration 2025
e-mail: modelsward.secretariat@insticc.org
footer