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 +2 more
core +1 more source
A Model-Driven Platform for Dynamic Partially Reconfigurable Architectures: A Case Study of a Watermarking System. [PDF]
Dalbouchi R +3 more
europepmc +1 more source
SysML Models for Discrete Event Logistics Systems. [PDF]
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]
Bezerra WR, Martina JE, Westphall CB.
europepmc +1 more source
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
Visualized shared mental modeling: an adapted practical framework for interdisciplinary teams solving complex problems in healthcare. [PDF]
Satcher MF +4 more
europepmc +1 more source
Dynamic Fault Tree Generation and Quantitative Analysis of System Reliability for Embedded Systems Based on SysML Models. [PDF]
Chu C, Yang W, Chen Y.
europepmc +1 more source
Report from MDE practice: An interview-based evaluation of model-driven engineering uses. [PDF]
Alfraihi H, Lano K.
europepmc +1 more source
A Framework for Cybersecurity Requirements Management in the Automotive Domain. [PDF]
Luo F, Jiang Y, Wang J, Li Z, Zhang X.
europepmc +1 more source
Automated building energy modeling for energy retrofits using a large language model-based multi-agent framework. [PDF]
Lu J +9 more
europepmc +1 more source

