HabSim: A Modular-Coupled Virtual Testbed for Simulating Extraterrestrial Habitat Systems

M Azimi, A Lund, Y Fu, H Montoya, L Vaccino… - AIAA Journal, 2025 - arc.aiaa.org
Extraterrestrial habitats involve a tightly coupled combination of hardware, software, and
humans while operating in an unforgiving environment that poses many risks, both …

A proposed validation framework for the system theoretic process analysis (STPA) technique

R Sadeghi, F Goerlandt - Safety science, 2023 - Elsevier
Validation is a prominent challenge in the domain of risk management in general, and
hazard analysis in particular. Practitioners have highlighted a lack of clear guidance on how …

Testing in the incremental design and development of complex products

K Tahera, DC Wynn, C Earl, CM Eckert - Research in Engineering Design, 2019 - Springer
Testing is an important aspect of design and development which consumes significant time
and resource in many companies. However, it has received less research attention than …

Validation of system safety hazard analysis in safety-critical industries: an interview study with industry practitioners

R Sadeghi, F Goerlandt - Safety science, 2023 - Elsevier
While many hazard analysis techniques exist, little empirical research has been dedicated to
their use in industrial contexts, in particular concerning how practitioners validate hazard …

A mathematical model of verification strategies

A Salado, H Kannan - Systems Engineering, 2018 - Wiley Online Library
The field of systems engineering has recently experienced a new push for unveiling its
scientific foundations and using them to inform better practice. The majority of the research …

Battery second use: a framework for evaluating the combination of two value chains

M Bowler - 2014 - search.proquest.com
Abstract A Battery Second Use (B2U) strategy is the design and development of a battery
system with the intention of having it serve two purposes:(1) the initial use in the vehicle and …

Uncertainty in building inspection and diagnosis: A probabilistic model quantification

C Pereira, A Silva, C Ferreira, J de Brito, I Flores-Colen… - Infrastructures, 2021 - mdpi.com
In the field of building inspection and diagnosis, uncertainty is common and surveyors are
aware of it, although it is not easily measured. This research proposes a model to quantify …

Elemental patterns of verification strategies

A Salado, H Kannan - Systems Engineering, 2019 - Wiley Online Library
This paper proposes a set of seven elemental patterns of verification strategies. These
patterns can be useful in modeling verification strategies in a wide range of engineered …

An incremental V-model process for automotive development

B Liu, H Zhang, S Zhu - 2016 23rd Asia-Pacific Software …, 2016 - ieeexplore.ieee.org
V-model and its variants have become the most common process models adopted in
automotive industry guiding the development of systems on a variety of refinement levels …

A parallel tempering approach for efficient exploration of the verification tradespace in engineered systems

P Xu, A Salado, X Deng - IEEE Transactions on Systems, Man …, 2022 - ieeexplore.ieee.org
Verification is a critical process in the development of engineered systems. Through
verification, engineers gain confidence in the correct functionality of the system before it is …