Tansini, Lucas Augusto (2021) [Work completion of graduation]
Modern embedded safety-critical applications are utilizing tools to help the software development deal with safety-critical guidelines. Simulink and Scade are examples of these tools, often used to design flight control, ...