Results 111 to 120 of about 4,840 (216)

Conceptual modelling for life sciences based on systemist foundations. [PDF]

BMC Bioinformatics, 2023
Lukyanenko R, Storey VC, Pastor O.
europepmc   +1 more source

A Systems Engineering Methodology for Analyzing Systems of Systems Using the Systems Modeling Language (SysML)

, 2006
A systems engineering methodology for analyzing a system of systems (SoS) elucidated in this paper involves the use of process modeling, modeling of the SoS with the systems modeling language (SysML), and subsequent conversion of the resulting SySML model into an end-to-end system of systems executable object-oriented simulation model.
Huynh, Thomas V., Osmundson, John S.
openaire   +1 more source

Model Based Mission Assurance: NASA's Assurance Future [PDF]

Model Based Systems Engineering (MBSE) is seeing increased application in planning and design of NASAs missions. This suggests the question: what will be the corresponding practice of Model Based Mission Assurance (MBMA)?
Cornford, Steven, Evans, John, Feather, Martin S.   +2 more
core   +1 more source

Text to model via SysML: Automated generation of dynamical system computational models from unstructured natural language text via enhanced System Modeling Language diagrams

v2 - typos and imprecisions ...
Hendricks, Matthew Anderson, Cicirello, Alice   +1 more
openaire   +2 more sources

Guest editorial to the theme section on Multi-Paradigm Modeling for Cyber-Physical Systems. [PDF]

Softw Syst Model, 2021
Syriani E, Wimmer M.
europepmc   +1 more source

Enabling Assurance in the MBSE Environment [PDF]

A number of specific benefits that fit within the hallmarks of effective development are realized with implementation of model-based approaches to systems and assurance. Model Based Systems Engineering (MBSE) enabled by standardized modeling languages (e.
Cornford, Steven L., Crumbley, Robert T., Evans, John W., Feather, Martin S., Kotsifakis, David   +4 more
core   +1 more source

A Model-Driven Platform for Dynamic Partially Reconfigurable Architectures: A Case Study of a Watermarking System. [PDF]

Micromachines (Basel), 2023
Dalbouchi R, Trabelsi C, Elhajji M, Zitouni A.   +3 more
europepmc   +1 more source

SysML Models for Discrete Event Logistics Systems. [PDF]

J Res Natl Inst Stand Technol, 2020
Sprock T, Bock C.
europepmc   +1 more source

A Formal Verification of a Reputation Multi-Factor Authentication Mechanism for Constrained Devices and Low-Power Wide-Area Network Using Temporal Logic. [PDF]

Sensors (Basel), 2023
Bezerra WR, Martina JE, Westphall CB.
europepmc   +1 more source

Basisdefinition einer gemeinsamen Sprache der Produktentwicklung im Kontext der Modellbildung technischer Systeme und einer Modellierungstechnik für Zielsystem und Objektsystem technischer Systeme in SysML auf Grundlage des ZHO-Prinzips = Basis definition of a common language of product engineering in the context of modeling of technical systems and a modeling technique for the systems of objectives and objects of technical systems on the basis of the ZHO-principle

, 2013
Die Arbeit begegnet den Herausforderungen einer erfolgreichen Kommunikation in der fachdisziplinübergreifenden Zusammenarbeit durch eine Basisdefinition einer gemeinsamen Sprache der Produktentwicklung für den Kontext der Modellbildung technischer Systeme.
openaire   +3 more sources