Results 61 to 70 of about 8,831 (214)
Better abstractions for reusable components & architectures [PDF]
, 2009 Software architecture (SA) is a crucial component of Model Driven Engineering (MDE), since it eases the communication and reuse of designs and components. However, existing languages (e.g., UML, AADL, SysML) are lacking many needed features.
Kloukinas, C.
core +1 more source
Identification of Missing Knowledge in MBSE System Models Using Graph‐Based Machine Learning
Systems Engineering, Volume 29, Issue 2, Page 133-149, March 2026.ABSTRACT The design and development of complex aerospace systems pose significant challenges due to their growing complexity. Iterative design processes, guided by formal specifications, strive to refine initially vague characteristics through multiple stages.
Esma Karagoz +2 more
wiley +1 more source
AADLib, A Library of Reusable AADL Models [PDF]
, 2013 The SAE Architecture Analysis and Design Language is now a well-established language for the description of critical embedded systems, but also cyber-physical ones.
Hugues, Jérôme
core +1 more source
Mission Aware Cyber‐Physical Security
Systems Engineering, Volume 29, Issue 2, Page 354-367, March 2026.ABSTRACT Perimeter cybersecurity, while essential, has proven insufficient against sophisticated, coordinated, and cyber‐physical attacks. In contrast, mission‐centric cybersecurity emphasizes finding evidence of attack impact on mission success, allowing for targeted resource allocation to mitigate vulnerabilities and protect critical assets.
Georgios Bakirtzis +3 more
wiley +1 more source
Multidisciplinary Reliability Design Optimization Modeling Based on SysML
Applied SciencesModel-Based Systems Engineering (MBSE) supports the system-level design of complex products effectively. Currently, system design and optimization for complex products are two distinct processes that must be executed using different software or platforms,
Qiang Zhang, Jihong Liu, Xu Chen
doaj +1 more source
Making formal verification amenable to real-time UML practitioners [PDF]
, 2009 TTool, a real-time UML toolkit, offers user-friendly interfaces to formal verification techniques such as reachability analysis, observer-based analysis and automatic generation of traceability matrices.
Apvrille, Ludovic +1 more
core +1 more source
Advancing Model‐Based Systems Engineering in the Development of Naval Vessel Systems Architecture
Systems Engineering, Volume 29, Issue 2, Page 241-263, March 2026.ABSTRACT The increasing complexity of modern naval vessels due to technological advancements poses challenges for early‐stage ship design (ESSD). Developing well‐defined system architectures and adopting systems engineering approaches are essential to address these challenges.
Vasileios Sideris +3 more
wiley +1 more source
Text-to-Model Transformation: Natural Language-Based Model Generation Framework
SystemsSystem 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 +2 more
doaj +1 more source
Contracts and Behavioral Patterns for SoS: The EU IP DANSE approach
, 2013 This paper presents some of the results of the first year of DANSE, one of the first EU IP projects dedicated to SoS. Concretely, we offer a tool chain that allows to specify SoS and SoS requirements at high level, and analyse them using powerful ...
Arnold, Alexandre +2 more
core +2 more sources
A Systems Engineering Methodology for System of Autonomous Systems: Architecture and Integration
Systems Engineering, Volume 29, Issue 2, Page 169-194, March 2026.ABSTRACT Artificial intelligence and machine learning (AI/ML) rapidly transform systems by providing autonomous capabilities. This new class of systems can become a constituent system in a system of systems (SoS) to evolve it into a system of autonomous systems (SoAS).
Mohammadreza Torkjazi, Ali K. Raz
wiley +1 more source