Service-oriented Modeling of Mixed-Fleet Systems in SysML v2 in a Harbor Logistics Scenario
This program is tentative and subject to change.
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 OctDisplayed time zone: Eastern Time (US & Canada) change
13:30 - 15:00 | |||
13:30 30mTalk | DarTwin made precise by SysML v2 – An Experiment 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 30mTalk | Model-Based Systems Engineering Perspectives: A Survey of Practitioner Experiences and Challenges 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 30mTalk | Service-oriented Modeling of Mixed-Fleet Systems in SysML v2 in a Harbor Logistics Scenario SAM Conference Hamza Haoui Tampere university, Bianca Wiesmayr LIT CPS Lab, Johannes Kepler University Linz, David Hastbacka Tampere University, Kari Systa Tampere University |