Imagen de Portada

Asset Administration Shell-Based OCL Validation Framework for Model-Based System Engineering

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Parkash, Om, Bauer, Jannik, Schmitt, Vincent, Greiner, Thomas, Drath, Rainer
Formato:	Preprint
Publicado:	2026
Materias:	Software Engineering Systems and Control
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

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

The Necessity of a Holistic Safety Evaluation Framework for AI-Based Automation Features
por: Abbaspour, Alireza, et al.
Publicado: (2026)

Towards an Engineering Workflow Management System for Asset Administration Shells using BPMN
por: Grüner, Sten, et al.
Publicado: (2025)

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

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

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

Using Large Language Models for Black-Box Testing of FMU-Based Simulations
por: Mughees, Abdullah, et al.
Publicado: (2026)

Explainable AI for Engineering Design: A Unified Approach of Systems Engineering and Component- Based Deep Learning Demonstrated by Energy- Efficient Building Design
por: Geyer, Philipp, et al.
Publicado: (2021)

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

Circular Systems Engineering
por: David, Istvan, et al.
Publicado: (2023)

Testing CPS with Design Assumptions-Based Metamorphic Relations and Genetic Programming
por: Mandrioli, Claudio, et al.
Publicado: (2024)

Work in Progress: AI-Powered Engineering-Bridging Theory and Practice
por: Levy, Oz, et al.
Publicado: (2025)

Engineering a Digital Twin for the Monitoring and Control of Beer Fermentation Sampling
por: Goffi, Pierre-Emmanuel, et al.
Publicado: (2025)

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

Looking back and forward: A retrospective and future directions on Software Engineering for systems-of-systems
por: Cavalcante, Everton, et al.
Publicado: (2024)

GENAI WORKBENCH: AI-Assisted Analysis and Synthesis of Engineering Systems from Multimodal Engineering Data
por: Bank, H. Sinan, et al.
Publicado: (2026)

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

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

Skills Composition Framework for Reconfigurable Cyber-Physical Production Modules
por: Sidorenko, Aleksandr, et al.
Publicado: (2024)

ComplexVCoder: An LLM-Driven Framework for Systematic Generation of Complex Verilog Code
por: Zuo, Jian, et al.
Publicado: (2025)

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

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

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

Knowledge Boundary Probing and Demand-Guided Intervention for LLM-Based Power System Code Generation
por: Wu, Hui, et al.
Publicado: (2026)

Software-heavy Asset Administration Shells: Classification and Use Cases
por: Ellwein, Carsten, et al.
Publicado: (2026)

A SysML Profile for the Standardized Description of Processes during System Development
por: Beers, Lasse, et al.
Publicado: (2024)

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

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

PathOCL: Path-Based Prompt Augmentation for OCL Generation with GPT-4
por: Abukhalaf, Seif, et al.
Publicado: (2024)

Ladder Logic Translation using Large Language Models in Industrial Automation
por: Ogundare, Oluwatosin, et al.
Publicado: (2026)

Analysis of Asset Administration Shell-based Negotiation Processes for Scaling Applications
por: Dietrich, David, et al.
Publicado: (2026)

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

PCLA: A Framework for Testing Autonomous Agents in the CARLA Simulator
por: Tehrani, Masoud Jamshidiyan, et al.
Publicado: (2025)

NanoCockpit: Performance-optimized Application Framework for AI-based Autonomous Nanorobotics
por: Cereda, Elia, et al.
Publicado: (2026)

Multi-Agent Specification-based Metamorphic Testing of FMU-Based Simulations
por: Kulshreshtha, Ashir, et al.
Publicado: (2026)

SAFLITE: Fuzzing Autonomous Systems via Large Language Models
por: Zhu, Taohong, et al.
Publicado: (2024)