Results 61 to 70 of about 4,434 (204)

Extending SysML v2 for Safety ‐ Open‐Source Library for the System‐Theoretic Process Analysis

Systems Engineering, Volume 29, Issue 5, Page 870-884, September 2026.
ABSTRACT Safety challenges in automated transport systems create the need for a strong design and safety coupling. In this regard, the second version of the Systems Modeling Language (SysML v2) offers new integration opportunities with extensibility features such as libraries.
Alexander Ahlbrecht, Florian Wagner, Umut Durak   +2 more
wiley   +1 more source

Combining SysML and AADL for the design, validation and implementation of critical systems [PDF]

, 2012
The realization of critical systems goes through multiple phases of specification, design, integration, validation, and testing. It starts from high-level sketches down to the final product.
Hugues, Jérôme, de Saqui-Sannes, Pierre, Saqui-Sannes, Pierre de   +2 more
core  

Text-to-Model Transformation: Natural Language-Based Model Generation Framework

Systems
System modeling language (SysML) diagrams generated manually by system modelers can sometimes be prone to errors, which are time-consuming and introduce subjectivity. Natural language processing (NLP) techniques and tools to create SysML diagrams can aid
Aditya Akundi, Joshua Ontiveros, Sergio Luna   +2 more
doaj   +1 more source

Balancing Accuracy and Cost: Trade‐Offs in Large Language Model Quantization for the Systems Engineering Domain

Systems Engineering, Volume 29, Issue 5, Page 807-822, September 2026.
ABSTRACT As Large Language Models (LLMs) are increasingly deployed within the systems engineering domain, optimizing these models to balance performance accuracy and cost for given computational resources becomes essential. One process for finding the right balance is quantization, a process that involves converting model parameters from higher ...
Ryan Bell, Raymond Madachy, Ryan Longshore   +2 more
wiley   +1 more source

Aspectos da modelagem em SYSML ligados à seleção de processador para sistema embutido [PDF]

, 2006
Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia Elétrica.Existe atualmente uma enorme variedade de equipamentos específicos cujo controlador microprocessado está embutido nos ...
Silva, Alexandre José da
core  

Model‐Based Cybersecurity: Automating Common Vulnerabilities Reporting

Systems Engineering, Volume 29, Issue 5, Page 936-948, September 2026.
ABSTRACT The Common Vulnerabilities and Exposures (CVE) Program's mission is to identify, define, and catalog publicly disclosed cybersecurity vulnerabilities. A cybersecurity practitioner who suspects a software, hardware, or service vulnerability, can initiate a CVE‐ID Requesting process, as defined by MITRE.
Ahmad Jbara, Dov Dori
wiley   +1 more source

Diagnosing Institutional Design‐Implementation Gaps: A Dual‐Layer Systems Modeling Language Protocol for Visualizing Institutional Change Mechanisms

Policy Studies Journal, Volume 54, Issue 3, August 2026.
ABSTRACT This study introduces a dual‐layer protocol for diagnosing how formal institutional designs are implemented in practice in complex governance systems. The protocol builds two linked process maps; one for the formal rules and procedures (rules‐in‐form) and one for the routines actors actually follow in practice (rules‐in‐use).
Sina Jangjoo, Tian Tang, Laura Arpan, Emily Lapan, D. G. Webster, Patrick Bitterman, John C. Little, Amro M. Farid   +7 more
wiley   +1 more source

Contested Rule Formation Under Institutional Mismatch: A Framework for Early‐Phase Governance of Disruptive Innovations

Policy Studies Journal, Volume 54, Issue 3, August 2026.
ABSTRACT Disruptive innovations often diffuse faster than inherited policy institutions can classify, assign jurisdiction, and govern them. In these early phases, the central struggle is often not yet about the stringency of substantive standards, but about prior questions of what the innovation is (its legal and administrative classification), who is ...
Sina Jangjoo
wiley   +1 more source

Timing requirement description diagrams for real-time system verification [PDF]

, 2008
TURTLE is a real-time UML profile introduced a few years ago to address the analysis, design and deployment of time-constrained systems. The profile has a formal semantics. Further, it is supported by an open source toolkit: TTool.
Fontan, B, Apvrille, L., Saqui-Sannes, Pierre de, De Saqui-Sannes, P, Apvrille, Ludovic, Fontan, Benjamin   +5 more
core  

A Bibliometric Review of the INCOSE's Model‐Based Systems Engineering Roadmap

Systems Engineering, Volume 29, Issue 3, Page 567-588, May 2026.
ABSTRACT Over the past decade, model‐based systems engineering (MBSE) has gained attention as an approach for managing system complexity, offering a shift from a document‐based to a model‐based approach. The International Council on Systems Engineering (INCOSE) sparked increasing interest when it introduced MBSE and its roadmap as part of its systems ...
Marjolein Antoinette Jannyne Velthuizen, Erwin Hofman, Marcus Vinicius Pereira Pessôa   +2 more
wiley   +1 more source