Date of Award

6-10-2025

Document Type

Thesis

Publisher

Santa Clara : Santa Clara University, 2025

Department

Computer Science and Engineering

Abstract

In safety critical industries, such as aerospace, verification and validation are crucial steps in system development. Validation begins with decomposing a system into its requirements. These requirements are used to create the high level model of the system. The low level system that is created from this must then be verified. Manually ensuring that the system being verified exactly matches the validated design is tedious, time consuming, and error prone. To solve this, we have created an open source tool that can automatically generate the code from UML models. This enables going from the high level model to the low level code without the risk of human error. This tool improves upon existing toolchains (namely MATLAB/Simulink) by being open source and therefore cheaper and more easily configuarable.

Download

Share

COinS