A SysML Profile for the Standardized Description of Processes during System Development

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Beers, Lasse, Nabizada, Hamied, Weigand, Maximilian, Gehlhoff, Felix, Fay, Alexander
Format:	Preprint
Published:	2024
Subjects:	Software Engineering Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Integrating AI Planning Semantics into SysML System Models for Automated PDDL File Generation
by: Nabizada, Hamied, et al.
Published: (2025)

Model-based Workflow for the Automated Generation of PDDL Descriptions
by: Nabizada, Hamied, et al.
Published: (2024)

Digital requirements engineering with an INCOSE-derived SysML meta-model
by: Wheaton, James S., et al.
Published: (2024)

SHIA: A Direct SysML-Hardware Interface Architecture for Model-Centric Verification
by: Lewis, Charles, et al.
Published: (2026)

Automating Physics-Based Reasoning for SysML Model Validation
by: Chambers, Candice, et al.
Published: (2025)

Exploring LLMs for Verifying Technical System Specifications Against Requirements
by: Reinpold, Lasse M., et al.
Published: (2024)

LLM-Assisted Semantic Alignment and Integration in Collaborative Model-Based Systems Engineering Using SysML v2
by: Li, Zirui, et al.
Published: (2025)

A SysML-based language for evaluating the integrity of simulation and physical embodiments of Cyber-Physical systems
by: Dudek, Wojciech, et al.
Published: (2023)

Uncertainty Modeling for SysML v2
by: Zhang, Man, et al.
Published: (2026)

Multi-Robot System Architecture design in SysML and BPMN
by: Sadik, Ahmed R., et al.
Published: (2024)

Towards Formalising Stakeholder Context using SysML v2
by: Harrison, Matthew, et al.
Published: (2026)

DarTwin made precise by SysMLv2 -- An Experiment
by: Haugen, Øystein, et al.
Published: (2025)

Bridging Engineering and AI Planning through Model-Based Knowledge Transformation for the Validation of Automated Production System Variants
by: Nabizada, Hamied, et al.
Published: (2025)

Bacterial chemotaxis control process analysis with SysML
by: James D. Johansen
Published: (2024)

Beyond Formal Semantics for Capabilities and Skills: Model Context Protocol in Manufacturing
by: da Silva, Luis Miguel Vieira, et al.
Published: (2025)

Implementation of Formal Standard for Interoperability in M&S/System of Systems Integration with DEVS/SOA
by: Mittal, Saurabh, et al.
Published: (2024)

Semantic Capability Model for the Simulation of Manufacturing Processes
by: Reif, Jonathan, et al.
Published: (2024)

Enhancing Holonic Architecture with Natural Language Processing for System of Systems
by: Ashfaq, Muhammad, et al.
Published: (2024)

Digital requirements engineering with an INCOSE-derived SysML meta-model
by: Wheaton, James S., et al.
Published: (2024)

Paving the Way for SysML v2: An ESA MBSE Methodology Implementation Review
by: Matteo Duroy, et al.
Published: (2026)

A Formal Model for Artificial Intelligence Applications in Automation Systems
by: Schieseck, Marvin, et al.
Published: (2024)

On Simulation of Power Systems and Microgrid Components with SystemC-AMS
by: Bhadani, Rahul, et al.
Published: (2024)

Consistency Verification in Ontology-Based Process Models with Parameter Interdependencies
by: Jeleniewski, Tom, et al.
Published: (2025)

Code Generation for Machine Learning using Model-Driven Engineering and SysML
by: Raedler, Simon, et al.
Published: (2023)

APIKS: A Modular ROS2 Framework for Rapid Prototyping and Validation of Automated Driving Systems
by: Zacchi, João-Vitor, et al.
Published: (2025)

Streamlined Airborne Software Development for Large UAVs: From Unified Data Collection to Automated Code Generation
by: Sinitsyn, Viktor, et al.
Published: (2025)

Reasonable Experiments in Model-Based Systems Engineering
by: Cederbladh, Johan, et al.
Published: (2025)

Automation Configuration in Smart Home Systems: Challenges and Opportunities
by: Anik, Sheik Murad Hassan, et al.
Published: (2024)

Quantifying and combining uncertainty for improving the behavior of Digital Twin Systems
by: Deantoni, Julien, et al.
Published: (2024)

Cyber-physical WebAssembly: Secure Hardware Interfaces and Pluggable Drivers
by: Van Kenhove, Michiel, et al.
Published: (2024)

ProOPF: Benchmarking and Improving LLMs for Professional-Grade Power Systems Optimization Modeling
by: Shen, Chao, et al.
Published: (2026)

Asset Administration Shell-Based OCL Validation Framework for Model-Based System Engineering
by: Parkash, Om, et al.
Published: (2026)

Remote Assistance or Remote Driving: The Impact of Operational Design Domains on ADS-Supporting Systems Selection
by: Hans, Ole, et al.
Published: (2025)

Simulation-Based Application of Safety of The Intended Functionality to Mitigate Foreseeable Misuse in Automated Driving Systems
by: Patel, Milin, et al.
Published: (2025)

Coordinating Stakeholders in the Consideration of Performance Indicators and Respective Interface Requirements for Automated Vehicles
by: Schubert, Richard, et al.
Published: (2026)

Extending Resource Constrained Project Scheduling to Mega-Projects with Model-Based Systems Engineering & Hetero-functional Graph Theory
by: Hosseini, Amirreza, et al.
Published: (2025)

EmbedGenius: Towards Automated Software Development for Generic Embedded IoT Systems
by: Yang, Huanqi, et al.
Published: (2024)

A Theory-driven Interpretation and Elaboration of Verification and Validation
by: Kannan, Hanumanthrao, et al.
Published: (2025)

A Model-Based Approach to Automated Digital Twin Generation in Manufacturing
by: Alexopoulos, Angelos, et al.
Published: (2025)

A Container-based Approach For Proactive Asset Administration Shell Digital Twins
by: Ellwein, Carsten, et al.
Published: (2025)