note

From ViewModel Job cancellation to PagingSource + coroutineScope — A story about mixed results in parallel API fetching

On screens that combine multiple APIs, results sometimes get out of sync when Pull-to-Refresh is triggered repeatedly or when the initial load overlaps with other triggers. The results of an older ...
GitHub

HyST: A Source Transformation and Translation Tool for Hybrid Automaton Models:

HyST started during a 2014 Visiting Faculty Research Program visit by Taylor to AFRL, and is based on an initial project that provided a SpaceEx parser by Christopher Dillo and Sergiy Bogomolov. THIS ...
GitHub

Continuous Integration for Verification of Simulink® Models Using GitLab

This project is used in the explanation of the Technical Article 'Continuous Integration for Verification of Simulink® Models Using GitLab®' to describe a simple end-to-end example showing Model Based ...
EDN

Product how-to: Achieving STARC and DO-254 compliance using HDL Coder-generated code

HDL Coder generates target independent, synthesizable Verilog and VHDL code from MATLAB functions, Simulink models, and Stateflow charts. The generated HDL code is bit-true and cycle-accurate to ...
IEEE

Model transformation between MATLAB simulink and Function Blocks

Abstract: This paper presents a new approach to modelling automation systems based on the combination and mutual transformation of IEC61499 Function Blocks and MATLAB Simulink. The reason for such ...