Results 31 to 40 of about 8,831 (214)
EAI Endorsed Transactions on Pervasive Health and Technology, 2016 The aim of this paper is to provide a consistent development path enabling the re-usability of in house legacy systems or architectures towards their re-design, in order to ensure compliance with evolving standards, by using the new features of SysML for
Sofia Meacham +2 more
doaj +1 more source
Research on Satellite Communication System’s Design and Verifi cation Based on SysML
天地一体化信息网络, 2021 As an important part of the space-integrated-ground information network, the satellite communication system has become a research hotspot.The system modeling language (SysML), which is the most popular digital design language, was adopted to analyzing ...
Can LIAO +3 more
doaj +2 more sources
An approach for system analysis with model-based systems engineering and graph data engineering
Data-Centric Engineering, 2022 Model-based systems engineering (MBSE) aims at creating a model of a system under development, covering the complete system with a level of detail that allows to define and understand its behavior and enables to define any interface and work package ...
Florian Schummer, Maximillian Hyba
doaj +1 more source
Treo: Textual Syntax for Reo Connectors [PDF]
, 2018 Reo is an interaction-centric model of concurrency for compositional specification of communication and coordination protocols. Formal verification tools exist to ensure correctness and compliance of protocols specified in Reo, which can readily be (re ...
Arbab, Farhad, Dokter, Kasper
core +3 more sources
In-plant logistics systems modeling with SysML [PDF]
, 2010 Up till now Systems Modeling Language (SysML) has mostly been used to model physical systems of interest. This paper shows how SysML can also be used to represent an abstract model.
Balachandran, Sarath +3 more
core
A Model-Based Approach to Security Analysis for Cyber-Physical Systems
, 2018 Evaluating the security of cyber-physical systems throughout their life cycle is necessary to assure that they can be deployed and operated in safety-critical applications, such as infrastructure, military, and transportation.
Bakirtzis, Georgios +3 more
core +1 more source
Extending SysML v2 for Safety ‐ Open‐Source Library for the System‐Theoretic Process Analysis
Systems Engineering, EarlyView.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 +2 more
wiley +1 more source
Systems Engineering, EarlyView.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 +2 more
wiley +1 more source
A conceptual framework for the modelling and simulation of social systems
Dyna, 2020 This paper presents a conceptual framework for the modelling and simulation of properties, interactions and processes of social systems based on computational templates using discrete event system specification (DEVS) formalism and OMG Systems Modelling
Gabriel Awad +1 more
doaj +1 more source
Traçabilité d'exigences temporelles dans l'outil UML/SysML TTool [PDF]
, 2009 La démonstration proposée concerne la traçabilité d'exigences tout au long du cycle de développement d'un système temps-réel, potentiellement distribué.
Apvrille, Ludovic +1 more
core