Search

Ferroptosis is a regulated cell death process characterized by iron ion catalysis and reactive oxygen species, leading to lipid peroxidation. This mechanism plays a crucial role in age-related diseases, including cancer and cardiovascular and neurological disorders. To better mimic iron-induced cell death, predict the effects of various elements, and identify drugs capable of regulating ferroptosis, it is essential to develop precise models of this process. Such drugs can be tested on cellular models. Systems biology offers a powerful approach to studying biological processes through modeling, which involves accumulating and analyzing comprehensive research data. Once a model is created, it allows for examining the system's response to various stimuli. Our goal is to develop a modular framework for ferroptosis, enabling the prediction and screening of compounds with geroprotective and antiferroptotic effects. For modeling and analysis, we utilized BioUML (Biological Universal Modeling Language), which supports key standards in systems biology, modular and visual modeling, rapid simulation, parameter estimation, and a variety of numerical methods. This combination fulfills the requirements for modeling complex biological systems. The integrated modular model was validated on diverse datasets, including original experimental data. This framework encompasses essential molecular genetic processes such as the Fenton reaction, iron metabolism, lipid synthesis, and the antioxidant system. We identified structural relationships between molecular agents within each module and compared them to our proposed system for regulating the initiation and progression of ferroptosis. Our research highlights that no current models comprehensively cover all regulatory mechanisms of ferroptosis. By integrating data on ferroptosis modules into an integrated modular model, we can enhance our understanding of its mechanisms and assist in the discovery of new treatment targets for age-related diseases. A computational model of ferroptosis was developed based on a modular modeling approach and included 73 differential equations and 93 species. [ABSTRACT FROM AUTHOR]

Compartmentalization is vital for cell biological processes. The field of rule-based stochastic simulation has acknowledged this, and many tools and methods have capabilities for compartmentalization. However, mostly, this is limited to a static compartmental hierarchy and does not integrate compartmental changes. Integrating compartmental dynamics is challenging for the design of the modeling language and the simulation engine. The language should support a concise yet flexible modeling of compartmental dynamics. Our work is based on ML-Rules, a rule-based language for multi-level cell biological modeling that supports a wide variety of compartmental dynamics, whose syntax we slightly adapt. To develop an efficient simulation engine for compartmental dynamics, we combine specific data structures and new and existing algorithms and implement them in the Rust programming language. We evaluate the concept and implementation using two case studies from existing cell-biological models. The execution of these models outperforms previous simulations of ML-Rules by two orders of magnitude. Finally, we present a prototype of a WebAssembly-based implementation to allow for a low barrier of entry when exploring the language and associated models without the need for local installation. [ABSTRACT FROM AUTHOR]

Writing declarative models has numerous benefits, ranging from automated reasoning and correction of design-level properties before systems are built, to automated testing and debugging of their implementations after they are built. Alloy is a declarative modeling language that is well-suited for verifying system designs. A key strength of Alloy is its scenario-finding toolset, the Analyzer, which allows users to explore all valid scenarios that adhere to the model’s constraints up to a user-provided scope. Despite the Analyzer, writing correct Alloy models remains a difficult task, partly due to Alloy’s expressive operators, which allow for succinct formulations of complex properties but can be difficult to reason over manually. To further add to the complexity, Alloy’s grammar was recently expanded to support linear temporal logic, increasing both the expressibility of Alloy and the burden for accurately expressing properties. To address this, this paper presents μ\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$\mu $$\end{document}Alloyτ\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$\tau $$\end{document}, an extension to Alloy’s mutation testing framework that accounts for the newly introduced temporal logic, including updating μ\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$\mu $$\end{document}Alloyτ\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$\tau $$\end{document}’s test generation capability to produce temporal test cases. Experimental results reveal μ\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$\mu $$\end{document}Alloyτ\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$\tau $$\end{document} is efficient at generating and checking mutations and μ\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$\mu $$\end{document}Alloyτ\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$\tau $$\end{document}’s automatically generated tests are effective at detecting faulty temporal models. [ABSTRACT FROM AUTHOR]

Background: In Jordan, the confluence of traffic congestion and overcrowding in public hospitals poses a significant challenge for patients to collect their medications timely. This challenge was further intensified during the COVID-19 pandemic. Recognizing this issue, the Ministry of Health (MOH) and Electronic Health Solutions (EHS) intend to establish a Medication Delivery System (MDS), designed to provide patients with home delivery of medications and ensure proper treatment. This paper outlines a comprehensive framework to guide requirements engineers in devising an effective MDS framework, with a focus on expediting the development and testing processes and mitigating the risks associated with constructing such a system. Method: The proposed methodology entails a robust, structured approach to requirements development for an MDS that integrates an electronic health record system, billing system, pharmacy application, the patient-oriented My Hakeem app, and a delivery tracking system. The requirements elicitation and analysis processes were undertaken by a multidisciplinary committee from MOH and EHS teams, ensuring a diverse understanding of stakeholder needs and expectations. The requirement specifications were meticulously documented via a data dictionary, unified modeling language (UML), and context diagrams. The quality and accuracy of the requirements were verified through an extensive validation process, involving thorough review by various EHS teams and the MOH committee. Results: The MDS was implemented across numerous MOH facilities within a timeline that was a third of the original projection, leveraging the same level of resources and expertise. Post the requirements development phase, there were no changes requested by any stakeholders, indicating a high level of requirement accuracy and satisfaction. Conclusion: The study illustrates that our proposed methodology significantly results in a comprehensive, well-documented, and validated set of requirements, which streamlines the development and testing phases of the project and effectively eliminates requirement errors at an early stage of the requirements development process. [ABSTRACT FROM AUTHOR]

The paper proposes universal conceptual modeling, conceptual modeling that strives to be as general-purpose as possible and accessible to anyone, professionals and non-experts alike. The idea of universal conceptual modeling is meant to catalyze new thinking in conceptual modeling and be used to evaluate and develop conceptual modeling solutions, such as modeling languages, approaches for requirements elicitation, or modeling tools. These modeling solutions should be usable by as many people and design agents as possible and for as many purposes as possible, aspiring to the ideals of universal conceptual modeling. We propose foundations of universal conceptual modeling in the form of six principles: flexibility, accessibility, ubiquity, minimalism, primitivism, and modularity. We then demonstrate the utility of these principles to evaluate existing conceptual modeling languages and understand conceptual modeling practices. Finally, we propose future research opportunities meant to realize the ideals of universal conceptual modeling. [ABSTRACT FROM AUTHOR]

Currently, digital technologies for modeling buildings and infrastructure are successfully used in international and national practice for the implementation of complex construction projects and large-scale programmes. At the same time, the transition to machine-readable standards, implemented in many countries to improve the quality of design documentation and automate its verification, faces serious methodological and technical challenges. First of all, these challenges are due to the complexity of digital models, as well as the variety of requirements formulated in natural languages and imposed on these models at the state, regional, departmental, and corporate levels. Attempts to create catalogs of requirements and software tools for their management and use generally have specific purposes and do not provide necessary completeness, normalization, consistency, interconnectedness, unambiguity, traceability, and validability of requirements description. In this regard, it seems reasonable to use formal methods for specification and verification of requirements that have proven themselves in system and software engineering. This paper provides a comparative analysis of software tools for automated verification of regulatory requirements in the construction domain. There is a growing interest in tools focused on international standards, such as Industry Foundation Classes (IFC) and Information Delivery Specification (IDS), that allow one to control the completeness of the object and attribute composition of models, as well as the clarification of acceptable domains of values values. However, the IDS standard is not formalized and does not enable the specification of requirements expressed in terms of arbitrary algebraic conditions. The EXPRESS object-oriented data modeling language, in which the IFC data schema is specified, seems promising for the formal specification and verification of requirements for digital models used in the construction industry. As a substantiation, it is shown that IDS specifications can be represented by logical expressions and EXPRESS functions, as well as that arbitrary algebraic conditions can be specified as EXPRESS declarative rules. To illustrate the proposed approach, we consider some examples of the formalization of requirements from national construction standards and sets of rules concerning the safety of buildings, structures, and processes. The possibility of harmonizing the proposed formal approach with the IDS standard by defining new facets for the representation of local, uniqueness, and global EXPRESS rules is also discussed. [ABSTRACT FROM AUTHOR]

Copyright of Systems Engineering & Electronics is the property of Journal of Systems Engineering & Electronics Editorial Department and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)

Formal requirements modeling and traceability management are essential for effectively implementing Model-Based Systems Engineering (MBSE). However, few studies have explored the integration of requirement modeling, traceability management, and verification within MBSE-based systems engineering methodologies. Moreover, the predominant modeling language for MBSE, SysML, lacks sufficient capabilities for requirement description and traceability management and for depicting physical attributes and executable capabilities, making it challenging to verify functional and non-functional requirements collaboratively. This paper proposes an integrated approach for requirement modeling, traceability management, and verification, building on the previously proposed integrated modeling and the simulation language called X language. Our contributions primarily include defining the ReqXL specification for MBSE-oriented requirement modeling based on X language, proposing an algorithm for automatically generating requirement traces, and an integrated framework for requirements modeling, traceability management, and verification was developed by combining the X language with ReqXL. These functionalities were customized on the self-developed integrated modeling and simulation platform, XLab, which is specifically tailored for the X language. Furthermore, we showcase the efficacy and promise of our approach through a case study involving the design of an aircraft electrical system. [ABSTRACT FROM AUTHOR]

Accessible tourism has become relevant, generating significant economic and social impacts. Even though the accessible tourism market is rising and presents an excellent business opportunity, this market is largely ignored, as it is challenging to stimulate the flow of accessibility information. Accessible technologies, such as tourism information systems, can be a potential solution, increasing accessibility through communication. However, these solutions are few and tend to fail the integration of users upon development processes. This research aims to present a technological platform to improve accessibility in the tourism industry. The name of this accessible and adaptable technological solution is access@tour by action, and it was created following a user-centered design methodology. This development involved a requirement engineering process based on three crucial stakeholders in accessible tourism: educational institutions, supply agents, and demand agents. The design phase was achieved with the help of a conceptual model based on a unified modeling language. The initial prototype of the solution, created in Adobe XD, implements a wide range of informational and accessibility requirements. Some access@tour by action interfaces outline the design, content, and primary functionalities. By linking technological development, tourism, and social inclusion components, this study highlights the relevance and interdisciplinarity of processes in developing accessible information systems. [ABSTRACT FROM AUTHOR]

The development of big data and real-time data warehouse (RTDW) technologies has transformed traditional business intelligence (BI) into realtime business intelligence (RTBI). The RTBI framework is developed in this study by incorporating machine learning-based real-time prediction features. The complexity of layer integration in the RTBI framework is a challenge in building RTBI. The development of RTBI was carried out in business areas that did not have RTBI from the beginning, such as the dairy goat milk business in Probolinggo, East Java. Another main reason is that the dairy goat milk business is a food alternative to cow's milk in Indonesia. The results of this study can contribute to increasing the potential value of the goat milk business. The research method was developed by adapting to the Kimball method and unified modeling language (UML). The real-time prediction feature with the long short-term memory (LSTM) algorithm is the main feature in the RTBI framework developed in the research. The calculation results of real-time predictive analysis latency successfully approached 0 milliseconds (ms), namely 9.35×10-5 ms. The application of RTBI in the dairy goat milk business was successfully built but the real data is very limited, so RTBI is less able to describe the movement of the business. [ABSTRACT FROM AUTHOR]

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 in improving software and systems design processes. Though NLP effectively extracts and analyzes raw text data, such as text-based requirement documents, to assist in design specification, natural language, inherent complexity, and variability pose challenges in accurately interpreting the data. In this paper, we explore the integration of NLP with SysML to automate the generation of system models from input textual requirements. We propose a model generation framework leveraging Python and the spaCy NLP library to process text input and generate class/block definition diagrams using PlantUML for visual representation. The intent of this framework is to aid in reducing the manual effort in creating SysML v1.6 diagrams—class/block definition diagrams in this case. We evaluate the effectiveness of the framework using precision and recall measures. The contribution of this paper to the systems modeling domain is two-fold. First, a review and analysis of natural language processing techniques for the automated generation of SysML diagrams are provided. Second, a framework to automatically extract textual relationships tailored for generating a class diagram/block diagram that contains the classes/blocks, their relationships, methods, and attributes is presented. [ABSTRACT FROM AUTHOR]

Although Unified Modeling Language (UML) state machines constitute a convenient modeling formalism that is widely used in many applications, the lack of formal semantics impedes carrying out automatic processing, such as formal verification. In this article, we aim to achieve a proven translation from a subset of UML state machines to timed automata. A generic abstract syntax is defined for state machines that allows us to specify state machines as a tree-like structure, explicitly illustrating the hierarchical relationships within the model. Based on this syntax, a formal asynchronous semantics for state machines and systems of state machines is established. Additionally, the semantics of timed automata is specified. Then, a translation relation from the considered set of state machines to timed automata is defined and a strong equivalence relation — namely, a timed bisimulation between the source and target models — is formally proven. The proof is carried out inductively while considering continuous (time) and discrete transitions separately. This proof allows us to demonstrate a strong similitude between these models. [ABSTRACT FROM AUTHOR]

The whole train design of an Electric Multiple Unit (EMU) involves multiple domains and scenarios, thus requiring comprehensive consideration of various factors during the design process. Traditional design methods often utilize text-based approaches to model systems; however, such documentation-based designs often suffer from semantic heterogeneity, inconsistent data sources, and also struggle to provide a more intuitive overview of the overall design process. To address these issues, this paper proposes a method based on ontology–knowledge collaborative drive to achieve integration of the overall EMU design. Firstly, we employ the System Modeling Language (SysML) to construct the Model-Based Systems Engineering (MBSE) model of the EMU, establishing functional and physical architecture element models, with the EMU MBSE model serving as input. Subsequently, in the requirement model, architecture model, and traceability model, we utilize top-level ontology to construct the EMU ontology framework in a top-down manner. Lastly, leveraging the Neo4j database, we employ a knowledge graph (KG) approach to fill domain knowledge into each model in a bottom-up manner, thereby realizing the ontology–knowledge collaborative drive for the overall EMU design construction. The effectiveness of the proposed method is validated using the EMU Passenger Information System (PIS) and Traction transformer System (TS) as examples. [ABSTRACT FROM AUTHOR]

Despite the increase in the efficiency of energy consumption in information and communication technology, software execution and its constraints are responsible for how energy is consumed in hardware hosts. Consequently, researchers have promoted the development of sustainable software with new development methods and tools to lessen its hardware demands. However, the approaches developed so far lack cohesiveness along the stages of the software development life cycle (SDLC) and exist outside of a holistic method for green software development (GSD). In addition, there is a severe lack of approaches that target the analysis and design stages of the SDLC, leaving software architects and designers unsupported. In this article, we introduce our behavior-based consumption profile (BBCP) external Domain-Specific Language (DSL), aimed at assisting software architects and designers in modeling the behavior of software. The models generated with our external DSL contain multiple sets of properties that characterize features of the software's behavior. In contrast to other modeling languages, our BBCP emphasizes how time and probability are involved in software execution and its evolution over time, helping its users to gather an expectation of software usage and hardware consumption from the initial stages of software development. To illustrate the feasibility and benefits of our proposal, we conclude with an analysis of the model of a software service created using the BBCP, which is simulated using Insight Maker to obtain an estimation of hardware consumption and later translated to energy consumption. [ABSTRACT FROM AUTHOR]

This systematic literature review examines the effectiveness of automated test case generation, optimization, and prioritization methods based on Unified Modeling Language (UML) diagrams. The review summarizes the methods, main contributions, and limitations, and suggests areas for future research. This paper examines various optimization algorithms, model-based testing methods, and UML diagram validation methods to determine how well they perform. The review highlights some issues with the current situation, such as the fact that it only examines a few types of UML diagrams and does not go into great detail about how they work or compare to other diagrams. However, it also suggests ways in which these issues could be addressed in future research. Some of the suggested directions include researching different modeling languages and devising solutions to handle the complexity of system models. Model-based testing should also be combined with optimization and prioritization methods to increase the flexibility and usefulness of research in this field. This article makes no direct comparisons to UML diagrams, but it does provide a thorough discussion of the current state of the art and a list of strategic priorities to advance the field of automated test case generation, optimization, and prioritization. These reviews are useful for both researchers and practitioners because they demonstrate how things are currently done and how they should be done in the future. [ABSTRACT FROM AUTHOR]

Market trends in the space sector suggest a notable increase in satellite operations and market value for the coming decade. In parallel, there has been a shift in the industrial and academic sectors from traditional Document-Based System Engineering to Model-based systems engineering (MBSE) combined with Concurrent engineering (CE) practices. Due to growing demands, the drivers behind this change have been the need for quicker and more cost-effective design processes. A key challenge in this transition remains to determine how to effectively formalize and exchange data during all design stages and across all discipline-specific tools; as representing systems through models can be a complex endeavor. For instance, during the Preliminary design (PD) phase, the integration of system models with external mathematical models for simulations, analyses, and system budgeting is crucial. The introduction of CubeSats and their standard has partly addressed the question of standardization and has aided in reducing overall development time and costs in the space sector. Nevertheless, questions about how to successfully exchange data endure. This paper focuses on formalizing a CubeSat model for use across various stages of the PD phase. The entire process is conducted with the exclusive use of open-source tools, to facilitate the transparency of data integration across the PD phases, and the overall life cycle of a CubeSat. The paper has two primary outcomes: (i) developing a generic CubeSat model using Systems modeling language (SysML) that includes data storage and visualization through the application of Unified modeling language (UML) stereotypes, streamlining in parallel information exchange for integration with various simulation and analysis tools; (ii) creating an end-to-end use case scenario within the Nanostar software suite (NSS), an open-source framework designed to streamline data exchange across different software during CE sessions. A case study from a theoretical academic space mission concept is presented as the illustration of how to utilize the proposed formalization, and it serves as well as a preliminary validation of the proposed formalization. The proposed formalization positions the CubeSat SysML model as the central data source throughout the design process. It also supports automated trade-off analyses by combining the benefits of SysML with effective data instantiating across all PD study phases. [ABSTRACT FROM AUTHOR]

QUBO (quadratic unconstrained binary optimization) has become the modeling language for quantum annealing and quantum‐inspired annealing solvers. We present different approaches in QUBO for the magic square problem and the quadratic assignment problem (QAP), which can be modeled by linear equations and a permutation constraint over integer variables. Different ways of encoding integers by Booleans in QUBO amount to models, the implementation of which could have very different performance. Experiments performed on the Fixstars Amplify Annealer Engine, a quantum‐inspired annealing solver, show that, compared to the classical one‐hot encoding, using unary encoding for integers performs slightly better for the QAP and much better for magic square. [ABSTRACT FROM AUTHOR]

Enterprise Risk Management involves the process of identification, evaluation, treatment, and communication regarding risks throughout the enterprise. To support the tasks associated with this process, several frameworks and modeling languages have been proposed, such as the Risk and Security Overlay (RSO) of ArchiMate. An ontological investigation of this artifact would reveal its adequacy, capabilities, and limitations w.r.t. the domain of risk and security. Based on that, a language redesign can be proposed as a refinement. Such analysis and redesign have been executed for the risk elements of the RSO grounded in the Common Ontology of Value and Risk. The next step along this line of research is to address the following research problems: What would be the outcome of an ontological analysis of security-related elements of the RSO? That is, can we identify other semantic deficiencies in the RSO through an ontological analysis? Once such an analysis is provided, can we redesign the security elements of the RSO accordingly, in order to produce an improved artifact? Here, with the aid of the Reference Ontology for Security Engineering (ROSE) and the ontological theory of prevention behind it, we address the remaining gap by proceeding with an ontological analysis of the security-related constructs of the RSO. The outcome of this assessment is an ontology-based redesign of the ArchiMate language regarding security modeling. In a nutshell, we report the following contributions: (1) an ontological analysis of the RSO that identifies six limitations concerning security modeling; (2) because of the key role of the notion of prevention in security modeling, the introduction of the ontological theory of prevention in ArchiMate; (3) a well-founded redesign of security elements of ArchiMate; and (4) ontology-based security modeling patterns that are logical consequences of our proposal of redesign due to its underlying ontology of security. As a form of evaluation, we show that our proposal can describe risk treatment options, according to ISO 31000. Finally, besides presenting multiple examples, we proceed with a real-world illustrative application taken from the cybersecurity domain. [ABSTRACT FROM AUTHOR]

Conceptual modeling plays a central role in planning, designing, developing and maintaining software-intensive systems. One of the goals of conceptual modeling is to enable clear communication among stakeholders involved in said activities. To achieve effective communication, conceptual models must be understood by different people in the same way. To support such shared understanding, conceptual modeling languages are defined, which introduce rules and constraints on how individual models can be built and how they are to be understood. A key component of a modeling language is an ontology, i.e., a set of concepts that modelers must use to describe world phenomena. Once the concepts are chosen, a visual and/or textual vocabulary is adopted for representing the concepts. However, the choices both of the concepts and of the vocabulary used to represent them may affect the quality of the language under consideration: some choices may promote shared understanding better than other choices. To allow evaluation and comparison of alternative choices, we present Peira, a framework for empirically measuring the domain and comprehensibility appropriateness of conceptual modeling language ontologies. Given a language ontology to be evaluated, the framework is based on observing how prospective language users classify domain content under the concepts put forth by said ontology. A set of metrics is then used to analyze the observations and identify and characterize possible issues that the choice of concepts or the way they are represented may have. The metrics are abstract in that they can be operationalized into concrete implementations tailored to specific data collection instruments or study objectives. We evaluate the framework by applying it to compare an existing language against an artificial one that is manufactured to exhibit specific issues. We then test if the metrics indeed detect these issues. We find that the framework does offer the expected indications, but that it also requires good understanding of the metrics prior to committing to interpretations of the observations. [ABSTRACT FROM AUTHOR]

DEPS (design problem specification) is a new modeling language designed to pose and solve system design problems. DEPS addresses problems of sizing, configuration, resource allocation and of architecture generation for systems. Unlike system modeling languages, which are dedicated to the representation of a defined system for evaluation or analysis, we propose a problem modeling language for representing the design problem with a view to its automatic resolution. Compared with other declarative problem modeling languages, DEPS is a declarative structured and property-based language that combines structural modeling features specific to object-oriented languages with problem specification features from constraint programming. The mathematical nature of the problems is described by formal properties encapsulated in models organized according to the architecture of the studied system. The main features of the language are presented in details and are illustrated with examples in different domains. An integrated modeling and solving environment called DEPS Studio allows the designer to express its models in DEPS, to compile the models and to compute automatically the solutions. The validation of the approach is done through two case studies. Finally, we will conclude with the studies and developments in progress which will be integrated into the next version of DEPS Studio. [ABSTRACT FROM AUTHOR]

This article introduces a new design pattern that provides an optimal solution for the systematic development of AUV controllers. In this study, a hybrid control model is designed on the basis of the OOSEM (Object-Oriented Systems Engineering Method), combined with MDA (Model-Driven Architecture) concepts, real-time UML/SysML (Unified Modeling Language/Systems Modeling Language), and the UKF (unscented Kalman filter) algorithm. This hybrid model enables the implementation of the control elements of autonomous underwater vehicles (AUVs), which are considered HDSs (hybrid dynamic systems), and it can be adapted for reuse for most standard AUV platforms. To achieve this goal, a dynamic AUV model is integrated with the specializations of the OOSEM/MDA, in which an analysis model is clarified via a use-case model definition and then combined with HA (hybrid automata) to precisely define the control requirements. Next, the designed model is tailored via real-time UML/SysML to obtain the core control blocks, which describe the behaviors and structures of the control parts in detail. This design model is then transformed into an implementation model with the assistance of round-trip engineering to conveniently realize a controller for AUVs. Based on this new model, a feasible AUV controller for low-cost, turtle-shaped AUVs is implemented, and it is utilized to perform planar trajectory tracking. [ABSTRACT FROM AUTHOR]

For addressing the challenges of decreased attitude and trajectory tracking accuracy and a delayed response in the flight control operations of quadcopter unmanned aerial vehicles (UAVs) under the uncertainties of model parameters and external disturbances, this study leverages the advantages of the non-causal declarative modeling language Modelica in system modeling and simulation. In addition, it incorporates the nonlinear Active Disturbance Rejection Control (ADRC) framework for disturbance observation, estimation, and compensation. A state observer is designed to mitigate the impact of external disturbances and model uncertainties through feed-forward compensation, and stability analysis is conducted. Numerical simulations for hover resistance demonstrate that, compared to the cascade proportional integral differential (PID) control strategy, PID-NLADRC reduces the maximum deviation induced by wind disturbances by ∼50% and shortens the disturbance influence time by around 40%. Simulations for different trajectories, such as planar or spatial, smooth or abrupt changes, indicate that under the PID-NLADRC control strategy, the real-time spatial distance deviation mean is reduced by 69.5%, and the peak time is shortened by 75.7%. Validation through multi-objective applications and physical experiments highlights the advantages of PID-NLADRC in terms of positioning accuracy, rapid tracking, and disturbance suppression, aligning well with the fast, precise, and robust flight control requirements of quadcopter UAVs. [ABSTRACT FROM AUTHOR]

The visual modeling language UML embodies object-oriented design principles. It provides a standard way to visualize the design of a system. It exploits a rich set of well-defined graphical notations for creating abstract models. However, the power of UML is lessened through partially specified formal semantics. Indeed, UML notations are semi-formal and do not lead to fully formalized and executable semantics. Fortunately, UML diagrams are prone to early formalization. Formal methods are a valuable tool that can help overcome the UML constructs' shortage of firm semantics. It is a powerful way to ascribe precise semantics to the graphical notations used in UML diagrams and models. Our work aims to support the semantics of the UML Interaction Overview Diagram. It introduces an approach to leveraging the strengths of the Maude Rewriting Logic language as a formal specification language. The proposal relies on a model-driven engineering approach. It aims to automate the UML Interaction Overview Diagram's mapping to a Maude language specification. The Maude language and its linked tools, including the Maude Model Checker, are used to analyze and verify the resulting Maude specification. Finally, an application example shows the feasibility and benefits of the proposed approach. [ABSTRACT FROM AUTHOR]

Systems and Software Engineers often have an uneasy relationship. The job of the systems engineer is to work with the stakeholders to define a set of requirements that meet their needs. These are then allocated to various solution spaces such as electronic hardware, mechanical, procedural, and software among others. For many systems, the functional requirements are almost exclusively software requirements. Correspondingly, as an increasing amount of project manpower, schedule time, and budget are allocated to software, it becomes increasingly important that systems and software engineers communicate effectively. The Systems Modeling Language (SysML) has helped in this regard in that it can provide executable behavioral models with precise semantics to express software requirements in a model. These models define "What is required" without overly constraining the implementation. In addition, SysML can be used to define performance constraints, required concurrency, hardware memory and processor budgets, interfaces, safety critical requirements, etc. These aspects are essential for software engineers to understand the constraints and limitations of their environment. At the System of Systems (SoS)/Enterprise level, defining software/systems employs a similar pattern, but at a higher level of abstraction. In the Unified Architecture Framework, capabilities are defined for the enterprise, with systems and software allocated to realize the capabilities. In the same way that capabilities depend on one another, the implementing systems and software interact to support each other. In the past, enterprise software would be modeled as residing in mainframes in a federated software pattern. Modern software can be modeled throughout the enterprise in a distributed network that can adapt to the changing needs of the enterprise to do load leveling, dynamic and late binding, reconfiguration, and reallocation of hardware resources as necessary. If the domain includes the Industrial Internet of Things (IIOT), then deployment could include edge devices, embedded software, Programmable Logic Controllers (PLC), PCs, servers, cloud computing, and of course mainframes. The Object management Group (OMG) Data Distribution Services (DDS) standard enables these capabilities across these devices in a universal format implemented by multiple vendors. However, before this complex system of systems can be implemented, it must first be architected and designed to ensure that it will be fit for purpose both now and as the complex system of systems expands and evolves. This paper will examine the aspects of modeling software in the UAF, and how it can help guide enterprise and system and software architecture. [ABSTRACT FROM AUTHOR]

Although Model‐Based Systems Engineering (MBSE) might be understood and applied across diverse communities and industries differently, its fundamental principles and practices described in INCOSE Systems Engineering Handbook, are common. It is known that successful application of MBSE is impossible without a tool, language, and method as well as harmony among these three. The de‐facto standard modeling language for MBSE is Systems Modeling Language (SysML). However, SysML is only a language, and it is not aligned with terminology systems engineers use daily in their work. This paper studies SysML as the standard language to model systems, and MagicGrid as the framework to bridge the gap between Systems Engineering (SE) terminology described in the INCOSE Systems Engineering Handbook and SysML specification. It proposes a new systems engineering meta‐model to describe a common SE terminology and bind it to the SysML concepts. [ABSTRACT FROM AUTHOR]

These days, systems engineers use advanced software tools and standardized modeling methods to break down complex systems into simpler, less complicated parts that are easier to understand. This includes CATIA Magic that allows for systems architecture, as well as more in‐depth Systems Modeling Language (SysML) modeling and simulation. The goal of this paper is to explore the capabilities of SysML to model and control hardware in the loop (HIL). The model of a weapon system was created using several different diagrams commonly used in SysML. When these diagrams are used together with the CATIA Magic simulation toolkit (Magic Model Analyzer), they can be made executable and used for simulation purposes. While CATIA Magic was selected to provide a digital model of the weapon system, a LEGO Mindstorms EV3 development kit was selected to create a mockup of a physical system. The CATIA Magic model reacts to the inputs received from the LEGO sensors and sends control signals to motors built into the LEGO model. In general, the integration between the LEGO Mindstorms and CATIA Magic can be done successfully, however, this study revealed certain limitations pertinent to the current capability of CATIA Magic to make connections between the SysML model and LEGO hardware. While these limitations did not allow for a full integration and in‐depth testing of the created dynamic model, as intended, the paper presents the current state of the project discussing what is involved in integrating CATIA Magic and LEGO Mindstorms kits and what functionality could be achieved by doing this. The paper pursues both the educational aspect that allows a deeper exploration of the modern system modeling tools, and the practical aspect, showing how a SysML model can be integrated with HIL to provide opportunities to better understand the design space at earlier stages of system development. [ABSTRACT FROM AUTHOR]

This paper describes a Reliability Block Diagram (RBD) Library that has been added to the Risk Analysis and Assessment Modeling Language (RAAML) version 1.1, the Object Management Group (OMG) standard for safety and reliability extensions for SysML. A discussion of relevant reliability concepts is provided followed by a description of the RBD library. An example of the library using an example system is described, followed by plans for further reliability enhancements in future versions of RAAML. [ABSTRACT FROM AUTHOR]

With the release of the OMG Systems Modeling Language (SysML) (Object Management Group, 2007) there was a surge of enthusiasm for model‐based systems engineering (MBSE). Expectations were high. Cumbersome, fragmented documents would be completely replaced by coherent, fully integrated models. The models would serve as the "Single Version of the Truth" (later transitioning to models being part of the "Authoratative Source of Truth"). While progress has been made, this utopian vision has largely failed to materialize. Certainly tool and language limitations have been a factor. However, the bigger factor in many communities has been human factors challenges. In our enthusiasm to propagate the MBSE vision, we forgot to perform the most basic systems engineering task: stakeholder analysis. This paper will introduce some of the basic human factors issues that were overlooked. The paper will then discuss three concrete cases in which a community was struggling with the abstract, radical change approach and how the teams involved have modified this approach and tooling to make it more practical and successful for those communities. Finally, the paper will conclude with some recommendations to consider when undertaking the introduction of MBSE methods in a new community. [ABSTRACT FROM AUTHOR]

This paper applies Unified Architecture Framework (UAF) to a case study which defines the global copper market as an enterprise comprising a diverse set of stakeholders and independently operating businesses and industries, with the goal to understand how they might evaluate, execute, or modify their behaviors in response to the diminishing global copper supply. Specifically, we sought to determine if the framework viewpoints, modeling language, and workflow guidance provided in the UAF specification could support the analysis. In a true System of Systems (SoS), the solution (or any improvement) relies on the cooperation of a multitude of independent and unrelated businesses and industries. Several viewpoints of UAF were evaluated to model the SoS, which reveal how certain entities may be motivated to implement solutions, and how those decisions may impact others within the SoS. We also provide observations from the analysis which may serve to improve the utility of UAF in other applications. [ABSTRACT FROM AUTHOR]

Data Element Mapping and Analysis (DEMA) represents a new and systematic methodology for the standardized capture, mapping, and analysis of data threads essential for comprehending digital systems and their architecture. This research studies the synergies between DEMA and Systems Modeling Language (SysML). The study aims to enable the systematic creation of digital artifacts using SysML. The results show that DEMA can serve as a complementary tool, enhancing the creation of SysML models by improving knowledge capture and verification processes. The prototype DEMA to SysML framework presented in this work provides the foundation for a systematic methodology to enable the systematic creation of models using SysML. [ABSTRACT FROM AUTHOR]

This paper examines the potential integration of Large Language Models (LLMs) with the Systems Modeling Language version 2 (SysML v2), proposing a novel methodology for systems engineering by capitalizing on the enhanced readability and human‐friendly syntax of SysML v2. Given the emergent sophistication of LLMs and the coincidental development of SysML v2—‐an endeavor that presents a pivot toward naturally articulated model interaction—‐we explore the possibilities and implications of such an intersection. Our investigation posits that LLMs can serve not only as an interpretive layer, allowing for the syntactically simplified manipulation of system models, but also as a catalyst for a knowledge‐driven design approach. We highlight the efficiencies gained by deploying LLMs for SysML v2 interactions, which reduce the dependency on technical expertise traditionally needed for API navigation and model management. Through case studies and analysis, we demonstrate that the conversational engagement with system models facilitated by LLMs can lead to a democratized and accelerated design process. However, this advent is tempered by a critical awareness of potential pitfalls, such as automation bias and overreliance on automated systems—‐underscoring the need for continued human oversight and the examination of ethical considerations. Emphasizing the chance of SysML v2 being inherently English‐based and the parallel maturation of LLMs, this paper suggests that the collaborative utilization of these concurrent advancements may offer an opportune fusion, potentially revolutionizing the way systems are modeled and managed. Future work involves the empirical validation of these approaches and a deeper investigation into interoperability with existing and future systems engineering ecosystems. The ultimate goal is to ensure that this fusion not only complements human expertise but also propels systems engineering into a new era of innovation and holistic design. [ABSTRACT FROM AUTHOR]

The ongoing transformation in the industry from a document‐based systems engineering to a model‐based systems engineering approach reveals gaps in existing modeling standards. Evolution of standards is inevitable. A de facto standard modeling language, SysML (Systems Modeling Language), is undergoing a major transformation in its evolution, with the introduction of SysML version 2, which is a complete redesign of the language architecture. With the major update of SysML, all related standards need to be redesigned. The Unified Architecture Framework (UAF) is not an exception. UAF version 2 is a future version of the standard to be based on SysML V2. Currently, the development of UAF based on SysML V2 is in the very early stages, and various organizations involved in its development are independently researching the way forward. This paper describes one of the research projects to test the feasibility of SysML V2 to address UAF community needs. [ABSTRACT FROM AUTHOR]

This paper aims to assess the impact of the next generation Systems Modeling Language, SysMLv2, on MagicGrid, an established framework for the model‐based systems engineering (MBSE). The research involves the parallel application of SysMLv1 and SysMLv2 to build two models of the problem domain definition by following the steps defined by the framework. The paper compares the modeling concepts of both languages used to create the model, discloses differences, and assesses advantages and disadvantages over each other. While SysMLv2 offers both textual and graphical notations, this study primarily focuses on the graphical representation. The paper concludes with a comprehensive summary of distinctions observed in the application of SysMLv2 versus SysMLv1. As anticipated, SysMLv2 was found a completely fresh modeling language. Significant alterations has been observed in the use case specification and functional analysis. Additionally, the absence of explicit guidelines on the utilization of definitions and usages was identified. [ABSTRACT FROM AUTHOR]

System modeling is an essential part of the systems engineering process, helping with the design, analysis, and communication of complex systems. The usage of modeling languages like SysML and UML has become increasingly prevalent in this domain. To ensure the "3C" of validation of these models (correctness, completeness and consistency), model checkers play an important aspect. This paper discusses the role of model checkers in the validation of system models, and their importance in adopting MBSE approach with a quick benefit to system engineers. Different possible implementations are presented including one based on an ontology able to take advantage of semantic analyses. Finally, in order to deal with the number of issues due to the complexity of our models, we suggest correcting them regarding the goal of the model and the project milestones. This last point implies the need of an issue acknowledgement feature making it possible to justify the temporary or definitive rejection of these issues. [ABSTRACT FROM AUTHOR]

When planning and conducting a Mission Engineering (ME) study, it is important to have a complete, correct, and coherent model of the mission architecture. The Unified Architecture Framework (UAF) has been found to be effective for this purpose. The OUSD (R&E) Mission Integration office is exploring how to use UAF for their ME architectures. This paper will explore some of the required modeling features and constructs that will enable this to occur. The paper "Implementing Mission Engineering with UAF" was presented at a previous conference and this paper will expand on that presentation and will discuss additional work that has been accomplished since then. This paper will also explore the proposed extensions for UAF to better support ME. We created a prototype model using the Battle of Hoth from Star Wars as a proof of concept for these modeling extensions and used the process and ME concepts defined in the Mission Engineering Guide (MEG). Since then there have been several concepts that were explored such as compatibility with the Model‐Based Acquisition (MBAcq) approach, recent initiatives from the Office of the Assistant Secretary of Defense for Mission Capabilities, Enterprise Systems Engineering (ESE) process and methods, detailed resource engagement, use of different modeling languages (e.g., Systems Modeling Language (SysML), SysML v2 and UAF v2), Effects and Outcomes, variety of measures, additional attributes/stereotypes such as differentiation between enemy/friendly/neutral ‐ Blue Force, Red Force, etc., provenance/confidence of enemy resources, and so forth. This paper will summarize the research and modeling done to date and explore these additional concepts as well as new ideas introduced in the MEG v2. [ABSTRACT FROM AUTHOR]

A critical enabler for Model‐Based Systems Engineering (MBSE) and Digital Engineering (DE) is the generation of coherent and consistent views of a system‐of‐interest based on information within a system model. In practice, system model development is facilitated through domain‐specific profiles, style guides, reference models, and low‐fidelity meta‐models to create coherent and consistent system information. Each of these approaches are useful but are insufficient for robust and automated verification of system models to an ideal. Furthermore, the expression of domain‐specific concepts and semantics relies on the proliferation of non‐standard, domain‐specific profiles as standard system modeling languages like the Systems Modeling Language (SysML) are general purpose. This paper proposes a novel approach to creating precise, machine‐interpretable metamodels implemented as a lightweight Unified Modeling Language (UML) profile. The profile includes numerous features that allow model architects to quickly specify context and domain‐specific modeling constructs without creating non‐standard stereotypes to apply domain‐specific meaning and usage rules. Three kinds of constraints can be inferred based on the relationships between meta‐model elements: type, multiplicity, and default value. Applications of well‐formed metamodels include a shared understanding of the intended model format and structure, as well as the one‐time programmatic generation of an encompassing suite of validation rules to evaluate a system model against the inferred constraints, thus ensuring consistency. Additional applications include programmatic generation of model analysis metrics, system models from metamodels, metamodels from reference models and element finding queries, and the ability to update a system model based upon the updated metamodel automatically. Use of the approach results in reduced time in system model development and analysis and ensures coherency and consistency of information thus increasing stakeholder use and confidence in the system model. [ABSTRACT FROM AUTHOR]

Among other benefits, the adoption of Model‐Based Systems Engineering (MBSE) or Digital Engineering (DE) is expected to decrease the number of escaped errors in a project by enabling early error detection within the modeling environment. This contributes to reducing the costs associated with corrective activities, which are generally greater in later phases of development. This paper provides an empirical insight into error detection through a study of models developed by students in a graduate MBSE course, where they leveraged the use of automated rule checking within the modeling tool. The dataset covers 10 editions of the course, spanning 2016‐2023, and contains 601 models. The study shows that the term project models resulted in nearly zero latent errors when non‐stylistic rules are concerned, with most of the latent errors categorized as stylistic rather than fundamental violations. [ABSTRACT FROM AUTHOR]

The INCOSE Systems Engineering Competency Framework (SECF) and INCOSE Systems Engineering Competency Assessment Guide (SECAG), published in 2018 and 2023 respectively, provide a requirement definition for 37 systems engineering competencies each with knowledge, skill, ability, and behavior (KSAB) indicators across 5 different proficiency levels along with sample evidence against each of these indicator requirements. These publications form a static representation of the framework structure and associated database. This paper describes the development of a Systems Modeling Language (SysML) model that provides a digital representation of the architecture framework and associated requirement and evidence entry databases. A description of the metamodel and data structure is presented as well as a tailoring approaches for use and a series of evolving model use cases. [ABSTRACT FROM AUTHOR]

This study presents the results from rapid review of how model‐based systems engineering (MBSE) is utilized in healthcare systems (HSs). We conduct a review of the last twelve years and find that MBSE adoption in HSs is accelerating, with use of various MBSE languages and tools, as well as their integration with other simulation and modeling techniques. We find that similar to engineered systems, the most common MBSE language is systems modeling language (SysML), followed by unified modeling language (UML) and others. Additionally, we observe that MBSE methods are frequently used in conjunction with other analytical techniques, such as simulation and co‐simulations, to analyze and enhance various HS operations, or to assist with making tradeoffs between HS attributes such as quality and cost. Moreover, we provide a non‐exhaustive classification of current research based on two dimensions: healthcare applications and MBSE use cases. Notably, MBSE is being implemented generally with patient‐centric objectives in various HS domains, including IoT‐enabled smart healthcare, clinical medicine, medical device development, healthcare process enhancement, and healthcare facilities management. While the primary MBSE use case involves modeling different aspects of healthcare operations, there is a significant number of studies that pursue requirements engineering, systems analysis, integration, verification and validation, as well as risk analysis and management. Furthermore, we identify two promising research gaps. First, there is a need for the integration of MBSE with state‐of‐the‐art data‐driven analytical methodologies such as hybrid simulation and artificial intelligence techniques. Second, HSs could greatly benefit from representing the cognitive functions and processes of human decision‐makers in the loop, such as healthcare providers (e.g., doctors and nurses), who are instrumental in sustaining the HS performance and functionality. We contend that MBSE and other SE methods and techniques could improve HSs design, operations, and management; while fostering resilience and long‐term sustainability. [ABSTRACT FROM AUTHOR]

In industry, the advancement of digital engineering and the digital thread aims to reduce the impact of knowledge 'siloes' by providing a way to integrate data across the entire system lifecycle and across multiple domains. In a typical engineering curriculum, however, courses are still treated as 'siloes', and students often do not have the opportunity to experience this industrially relevant approach to engineering. The Digital Engineering Factory (DEF) is a digital engineering environment under development at the University of Arizona to support engineering students. The DEF supports students by providing access to multiple engineering tools and is structured using a 'hub‐and‐spoke' approach to consolidate data from these tools. Through this connected architecture, students can transfer data generated in a particular course to tools for use in other courses. Connecting course activities in this way enables students to experience a complete end‐to‐end system lifecycle. At its 'hub', the DEF uses Violet to integrate data from multiple sources, create a digital thread, and generate a graph representation of the dataset. This knowledge graph, written in the Ontological Modeling Language (OML), can be viewed in OML Rosetta and is structured according to the University of Arizona Ontology Stack (UAOS). The use of the UAOS and OML Rosetta allows instructors to leverage semantic web technologies to support teaching activities such as grading. In this paper, the authors review the objectives of the DEF, discuss the status of the project, and highlight current limitations and lessons learned with regards to its deployment. These may be useful to inform similar developments in industrial settings. [ABSTRACT FROM AUTHOR]

As Model‐Based Systems Engineering (MBSE) becomes prevalent in engineering practice, the Department of Defense (DoD) requires a consistent methodology to conduct and record system safety analyses in the system model. Systems Theoretic Process Analysis (STPA) is a relatively new safety and hazard analysis method that utilizes the principles of Systems Theory and abstraction to analyze today's complex systems. Systems Theoretic Process Analysis Extended for Coordination (STPA‐Coord) provides a framework to design safe coordination among a system‐of‐systems architecture, which is needed for next‐generation integrated military systems. This research presents results from conducting an STPA‐Coord in Systems Modeling Language (SysML) using Risk Analysis and Assessment Modeling Language (RAAML), a recent extension to SysML that provides tools and guidance for multiple safety analyses. Results describe deviations from the RAAML standard and suggest modifications to RAAML for STPA‐Coord. Results include qualitative and quantitative observations conducting an STPA‐Coord using SysML, including time required for the effort and observed benefit over document‐based methodologies. [ABSTRACT FROM AUTHOR]

The missions of complex systems, organizations, or groups can be identified through careful requirements and domain analysis. Mission architecture modeling is a crucial step for enterprise modeling and design. However, mission modeling is lacking from the Unified Architecture Framework (UAF), which system engineers must specify and model from sketch. This paper proposes a Mission Architecture Modeling Language (MissionML). This two‐layer architecture language generalizes the general common and special knowledge from four typical missions as a core layer and mission layer. The elements of the core layer are obtained through slight extensions of the operational layer elements in UAFML, and the elements of the mission layer are derived from the elements in the core layer. Moreover, MissionML is implemented as a UAF profile, incorporating numerous domain concepts in its syntax and semantics for mission modeling. Finally, we use five public case studies to demonstrate learnability and extensibility from the viewpoint of system engineers. [ABSTRACT FROM AUTHOR]

The use of systems engineering has proven effective in managing complexity and improving system design. Model based system engineering utilizing the Systems Modeling Language (SysML) especially helps in multidisciplinary environments where engineering data needs to be transformed and integrated between environments. Manufacturing is another discipline same as systems engineering is on active digitalization transformation. In the paper, we propose method and solution to apply Model based system engineering (MBSE) for improvement of process planning of assembly lines leveraging model based approach. SysML modeling and execution enable automation of analysis activities as trade‐off, where the behavior of various assembly scenarios of an assembly line can be captured using SysML behavioral diagrams and compared based on various evaluation criteria. However, relying solely on descriptive SysML system models without integrating the virtual representation of the assembly line is insufficient to verify all aspects of system behavior, such as ergonomics and collision avoidance. The main objective of this work is to present a concept for transforming SysML assembly scenarios into the process and resources models of the computer‐aided design and manufacturing (CAD/CAM) environment. This yields a holistic view that serves as a foundation for further production‐related simulations and analyses, enhancing efficiency, ergonomic design, factory layout, and material flow, ensuring effective assembly workstation design optimized at systems engineering level. [ABSTRACT FROM AUTHOR]

The maritime industry is undergoing a major transformation to achieve reduction of greenhouse gas emissions. Many new options, such as alternative propulsion systems and fuels, optimized routes, or auxiliary propulsion systems, including wind‐assistance devices, need to be integrated and aligned within a wide network of different stakeholders. New ways are necessary to work with and manage the increasing complexity in the maritime industry. Model‐based systems engineering approaches are a promising strategy to gain a better understanding of the as‐is situation and to develop advanced solutions. This paper shows the application of the ARCADIA method for the maritime industry, with the target of integrating wind‐assistance devices to vessels, using the ARCADIA modeling language and the Capella tool. [ABSTRACT FROM AUTHOR]

Test Case Generation (TCG) generates various types of tests, including functional tests, performance tests, security tests, and reliability tests to ensure software quality, while Test Case Prioritization (TCP) prioritizes the generated tests. However, the previous studies had challenges, including resource constraints, detecting crucial requirements, and automating the Test Case (TC) process efficiently. Additionally, the process is costlier and takes a maximum time duration that affects the effective performance. Therefore, an effective framework is proposed to overcome such issues by optimizing TCG and TCP processes effectively. The proposed work starts with the generation of a Unified Modeling Language (UML) diagram from historical project source code, which is then converted into a Comma-Separated Value (CSV) format. Then, the feature extraction is performed on this CSV file, followed by optimal TCG using the Entropy-based Locust Swarm Optimization Algorithm (Ent-LSOA). Additionally, factors are extracted and reduced from the historical project source code using Pearson Correlation Coefficient-Generalized Discriminant Analysis (PCC-GDA). Finally, the optimal TCs and selected factors are prioritized with the highest accuracy and recall of 96.89% and 96.92%, respectively using an Interpolated Multiple Time scale Recurrent Neural Network (IMTRNN). Thus, the proposed work outperformed the existing techniques by providing an efficient solution for TCG and TCP in software testing. [ABSTRACT FROM AUTHOR]

Smart homes are characterized by the integration of technology and services using home networking, with the goal of improving the overall quality of life. When designing these intricate systems, it is important to consider the experiences and needs of the occupants. Smart homes consist of various devices that offer comfort, security, convenience, energy efficiency, and promote intelligent living. These devices communicate and interact with each other, forming a connected ecosystem. In order to ensure prompt assistance during emergencies such as fires, medical emergencies, or distress calls, interactivity and technology within smart homes should enable emergency service providers to quickly respond. To achieve this, a modeling language that supports the semantic aspect is employed, allowing for modeling that closely aligns with end user requirements. This language typically utilizes the concept of ontology. However, the use of ontologies in smart home design is still limited in current research. As a result, this paper aims to enhance the EUPont ontology by integrating Arduino devices and implementing an algorithm that simplifies the analysis of detected alarm signals and user decision-making. The execution of this algorithm relies on the definition of several SWRL rules (Semantic Web Rule Language). [ABSTRACT FROM AUTHOR]

This article discusses the concept of model fidelity, underspecification, and uncertainty in the field of model-driven engineering (MDE). While there has been extensive research on conformity between models and metamodels, there is limited literature on how well a model represents the system it is intended to depict. The article introduces the concept of representativity, which refers to the level of refinement and accuracy of a model in relation to the system. It also explores the role of fidelity, underspecification, and uncertainty in modeling, highlighting the need for explicit consideration of these factors in order to improve the accuracy and effectiveness of models. The article concludes by emphasizing the importance of reasoning about representativity in various contexts, such as simulation, model composition, and system replacement. [Extracted from the article]