Cover Image

A SysML-based language for evaluating the integrity of simulation and physical embodiments of Cyber-Physical systems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Dudek, Wojciech, Miguel, Narcis, Winiarski, Tomasz
Format:	Preprint
Published:	2023
Subjects:	Software Engineering Hardware Architecture Multiagent Systems Robotics Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

UCAgent: An End-to-End Agent for Block-Level Functional Verification
by: Wang, Junyue, et al.
Published: (2026)

BonnBot-I: A Precise Weed Management and Crop Monitoring Platform
by: Ahmadi, Alireza, et al.
Published: (2023)

CRADLE: Conversational RTL Design Space Exploration with LLM-based Multi-Agent Systems
by: Krupp, Lukas, et al.
Published: (2025)

MCP4EDA: LLM-Powered Model Context Protocol RTL-to-GDSII Automation with Backend Aware Synthesis Optimization
by: Wang, Yiting, et al.
Published: (2025)

CPU-Based Layout Design for Picker-to-Parts Pallet Warehouses
by: Looms, Timo, et al.
Published: (2025)

OneDSE: A Unified Microprocessor Metric Prediction and Design Space Exploration Framework
by: Raj, Ritik, et al.
Published: (2025)

ChatModel: Automating Reference Model Design and Verification with LLMs
by: Ye, Jianmin, et al.
Published: (2025)

AnalogTester: A Large Language Model-Based Framework for Automatic Testbench Generation in Analog Circuit Design
by: Chen, Weiyu, et al.
Published: (2025)

VFlow: Discovering Optimal Agentic Workflows for Verilog Generation
by: Wei, Yangbo, et al.
Published: (2025)

SEPE-SQED: Symbolic Quick Error Detection by Semantically Equivalent Program Execution
by: Li, Yufeng, et al.
Published: (2024)

ChatNeuroSim: An LLM Agent Framework for Automated Compute-in-Memory Accelerator Deployment and Optimization
by: Lee, Ming-Yen, et al.
Published: (2026)

Application Management in C-ITS: Orchestrating Demand-Driven Deployments and Reconfigurations
by: Zanger, Lukas, et al.
Published: (2025)

Assuring Safety of Vision-Based Swarm Formation Control
by: Hsieh, Chiao, et al.
Published: (2022)

Model Checking and Verification of Synchronisation Properties of Cobot Welding
by: Murray, Yvonne, et al.
Published: (2024)

Event-Driven Simulation for Rapid Iterative Development of Distributed Space Flight Software
by: Bell, Toby, et al.
Published: (2025)

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

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

Proxics: an efficient programming model for far memory accelerators
by: Liu, Zikai, et al.
Published: (2026)

Multi-Agent Memory from a Computer Architecture Perspective: Visions and Challenges Ahead
by: Yu, Zhongming, et al.
Published: (2026)

VLM-CAD: VLM-Optimized Collaborative Agent Design Workflow for Analog Circuit Sizing
by: Pan, Guanyuan, et al.
Published: (2026)

MAHL: Multi-Agent LLM-Guided Hierarchical Chiplet Design with Adaptive Debugging
by: Tang, Jinwei, et al.
Published: (2025)

Bridging the Last Mile of Circuit Design: PostEDA-Bench, a Hierarchical Benchmark for PPA Convergence and DRC Fixing
by: Liu, Pengju, et al.
Published: (2026)

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

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

ReLMXEL: Adaptive RL-Based Memory Controller with Explainable Energy and Latency Optimization
by: Sai, Panuganti Chirag, et al.
Published: (2026)

ChipMATE: Multi-Agent Training via Reinforcement Learning for Enhanced RTL Generation
by: Yu, Zhongkai, et al.
Published: (2026)

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

The Magnificent Seven Challenges and Opportunities in Domain-Specific Accelerator Design for Autonomous Systems
by: Neuman, Sabrina M., et al.
Published: (2024)

Design and Implementation of an Efficient Onboard Computer System for CanSat Atmosphere Monitoring
by: Gadekar, Abhijit
Published: (2023)

karl. - A Research Vehicle for Automated and Connected Driving
by: Busch, Jean-Pierre, et al.
Published: (2026)

OpenConvoy: Universal Platform for Real-World Testing of Cooperative Driving Systems
by: Burns, Owen, et al.
Published: (2024)

From Neural Sensing to Stimulation: An Interdisciplinary Roadmap for Neurotechnology
by: Serrano, Ruben Ruiz-Mateos, et al.
Published: (2025)

AgenticCyOps: Securing Multi-Agentic AI Integration in Enterprise Cyber Operations
by: Mitra, Shaswata, et al.
Published: (2026)

FLAG: Formal and LLM-assisted SVA Generation for Formal Specifications of On-Chip Communication Protocols
by: Shih, Yu-An, et al.
Published: (2025)

ITHICA: Intra-Thread Instruction Checking Approach for Defect-Induced Silent Data Corruptions
by: Vavelidou, Ioanna, et al.
Published: (2026)

Using LLMs to Facilitate Formal Verification of RTL
by: Orenes-Vera, Marcelo, et al.
Published: (2023)

Offloading Data Center Tax
by: Revankar, Akshay, et al.
Published: (2025)

EquivFusion: Unifying Hardware Equivalence Checking from Algorithms to Netlists via MLIR
by: Zhu, Jiaying, et al.
Published: (2026)

UVMarvel: an Automated LLM-aided UVM Machine for Subsystem-level RTL Verification
by: Ye, Junhao, et al.
Published: (2026)

MEIC: Re-thinking RTL Debug Automation using LLMs
by: Xu, Ke, et al.
Published: (2024)