Model-Based Systems Engineering
No mentions found
This entity hasn't been tracked yet, or Iris is still building its knowledge base.
Related Articles from SNS
IDDMBSE: Integrating Data-Driven and Model-Based Systems Engineering for Trusted Autonomous Cyber-Physical Systems
arXiv:2606.06727v1 Announce Type: new Abstract: Autonomous cyber-physical systems (CPS) sit at the intersection of Model-Based Systems Engineering (MBSE) and data-driven Machine Learning and Artificial Intelligence (ML/AI), yet no integrated Systems Engineering (SE) methodology natively spans both. We address this gap with IDDMBSE, an Integrated Data-Driven and Model-Based Systems Engineering methodology that extends the rigorous MBSE V-process with a data-driven loop at every step, anchored...
Vibe-driven model-based engineering
arXiv:2604.10645v2 Announce Type: replace Abstract: There is a pressing need for better development methods and tools to keep up with the growing demand and increasing complexity of new software systems. New types of user interfaces, the need for intelligent components, sustainability concerns, etc. bring new challenges that we need to handle. In the last years, model-driven engineering (MDE), including its latest incarnation, i.e. low/no-code development, has been key to improving the...
FASR: Automated Identification of Unsafe Control Actions in STPA
new Abstract: The System-Theoretic Process Analysis (STPA) is a well-established hazard analysis technique that has been applied to a wide range of safety-critical systems. Despite its popularity, there is relatively little automation support for STPA, and most of its steps are carried out manually by a human analyst, which can be time consuming and error prone. This paper investigates the potential use of model-based engineering and formal methods to assist human analysts in efficiently and...
Expanding LUME to Support Virtual Accelerators and Digital Twins
arXiv:2606.07250v1 Announce Type: new Abstract: Virtual accelerators and digital twins are increasingly essential tools for accelerator operations, controls development and verification, and model-based optimization. However, current implementations are often tightly coupled to specific simulation codes, facilities, and applications, resulting in fragmented, ad hoc solutions that are difficult to reuse or extend. To address this, we expand the LUME Python package to include standardized...
Agentic Generation and Evolution of Knowledge Models
Announce Type: new Abstract: Complex software systems such as autonomous vehicles, robotics increasingly interact with dynamic physical, cyber, and social environments. Reasoning about their behavior, maintaining them under continuous change, and evolving them safely require trustworthy knowledge about the system, its assumptions, and its operating context. Knowledge models (KMs) provide a practical basis for such reasoning, but they may themselves become incomplete, inconsistent, or...
Show HN: Nucleus – A security-hardened, Nix-native container runtime
Extremely lightweight, security-hardened, declarative container runtime for agents and production services Nucleus is a minimalist container runtime for Linux. It provides isolated execution environments using Linux kernel primitives without the overhead of traditional container runtimes. For production services, it is designed around a fully declarative model: Nix builds the root filesystem, the NixOS module declares the service, and Nucleus mounts a pinned, reproducible closure at runtime.
Agentic Generation and Evolution of Knowledge Models
arXiv:2606.03662v2 Announce Type: replace Abstract: Complex software systems such as autonomous vehicles, robotics increasingly interact with dynamic physical, cyber, and social environments. Reasoning about their behavior, maintaining them under continuous change, and evolving them safely require trustworthy knowledge about the system, its assumptions, and its operating context. Knowledge models (KMs) provide a practical basis for such reasoning, but they may themselves become incomplete,...
India may have lost a key sixth-gen fighter option as China races ahead with flying prototypes
India may have lost a key sixth-generation fighter option as China races ahead with flying prototypes India's options for acquiring a sixth-generation fighter aircraft may have taken a step back. One of the two European programmes that New Delhi has been closely watching for future requirements now faces uncertainty. The two leading European sixth-generation fighter projects are the Franco-German-Spanish Future Combat Air System (FCAS) and the UK-Japan-Italy Global Combat Air Programme (GCAP).
Decoupling T Cell Cytotoxicity: A CCL21+ICAM1-Based Synthetic Immune Niche Enhances Tumor Elimination by Accelerating Lytic Hit Delivery
Preserving T cell cytotoxic function during ex vivo expansion remains a major challenge for adoptive cancer immunotherapy. A synthetic immune niche (SIN) composed of immobilized CCL21 and ICAM1 was shown to improve T cell expansion while preserving cytotoxicity; however, it remains unclear which specific step of the T cell killing process is enhanced by the SIN stimulation. Here, we combined advanced imaging based on time-lapse microscopy with a mean-field model to analyze the distinct...
Floquet Nonadiabatic Dynamics for Light-Matter Interactions: Recent Advances and Emerging Opportunities
Announce Type: new Abstract: Light-matter interactions provide versatile routes for probing and controlling chemical reactivity, charge transport, and material properties. Time-periodic external fields can reshape electronic states and open new dynamical pathways beyond the field-free Born-Oppenheimer (BO) picture. Floquet nonadiabatic dynamics has consequently emerged as an important framework for describing coupled electron-nuclear dynamics under periodic driving.