This program is tentative and subject to change.

Mon 6 Oct 2025 14:30 - 15:00 at SAM Room 1 [Remote] - Session 3: Systems Engineering

Modern logistics systems aim to leverage digital technologies and may integrate autonomous components to increase efficiency and flexibility. In so-called mixed-fleet systems human workers, manually operated machines, and autonomous machines collaboratively work towards a common goal. The subsystems are loosely coupled and can be reconfigured flexibly, leading to a change in behavior. Addressing this behavior requires flexible architectures for model-driven systems engineering. Service-oriented architectures help focus on the expected behavior, independent of the involved actors. Additionally, event-based communication mechanisms can describe expected interactions between subsystems. This paper explores the use of SysML~v2 for modeling a service-oriented architecture of mixed-fleet systems. Based on an available set of requirements, suitable SysML~v2 modeling elements are identified that can describe services, events, and service choreographies. We use the described concepts to create a SysML~v2 model of a mixed-fleet harbor logistics use case. Based on this model, we demonstrate how business processes can be composed from reusable service and how requirements and verification can be integrated to ensure correctness of behavior. The results show that SysML v2 fulfills key modeling requirements for service-oriented architectures, separating service definitions, actors and verification. Reusable modeling patterns were applied to support scalability and traceability across actors and services withn the model. Furthermore, domain-specific constraints and requirements were composed into modeling elements using formal mechanisms to ensure that they are not only documented but actively connected to the model.

This program is tentative and subject to change.

Mon 6 Oct

Displayed time zone: Eastern Time (US & Canada) change

13:30 - 15:00
Session 3: Systems EngineeringSAM Conference at SAM Room 1 [Remote]

Online

13:30
30m
Talk
DarTwin made precise by SysML v2 – An ExperimentRemote
SAM Conference
Øystein Haugen Østfold University College, Stefan Klikovits Johannes Kepler University, Linz, Martin Arthur Andersen Østfold University College, Jonathan Beaulieu École de technologie supérieure (ÉTS), Francis Bordeleau École de Technologie Supérieure (ETS), Joachim Denil University of Antwerp, Belgium, Joost Mertens University of Antwerp, Antwerp, Belgium
14:00
30m
Talk
Model-Based Systems Engineering Perspectives: A Survey of Practitioner Experiences and ChallengesRemote
SAM Conference
Maged Elaasar Jet Propulsion Laboratory (NASA), Abdelwahab Hamou-Lhadj ECE Concordia Unversity, Bentley Oakes Polytechnique Montréal, Mohammad Hamdaqa Polytechnique Montreal
14:30
30m
Talk
Service-oriented Modeling of Mixed-Fleet Systems in SysML v2 in a Harbor Logistics ScenarioRemote
SAM Conference
Hamza Haoui Tampere university, Bianca Wiesmayr LIT CPS Lab, Johannes Kepler University Linz, David Hastbacka Tampere University, Kari Systa Tampere University