Debugging Simulink models presents a significant challenge in the embedded industry. In this work, we propose SimFL, a fault localization approach for Simulink models by combining statistical debugging and dynamic model slicing. Simulink models, being visual and hierarchical, have multiple outputs at different hierarchy levels. Given a set of outputs to observe for localizing faults, we generat...

MATLAB/Simulink and its state machine design toolbox State ̄ow are widely-used industrial tools for the development of complex embedded systems. Due to the dynamic as well as heterogeneous nature of models that contain both Simulink and State ̄ow components, their analysis poses a dif®cult challenge. This paper outlines an approach to relate the semantics of both Simulink and State ̄ow and how to ...

Simulink is a de-facto industrial standard for the design of embedded systems. In previous work, we developed a compositional analysis framework for Simulink models in Isabelle – the Refinement Calculus of Reactive Systems (RCRS), which allows checking compatibility and substitutability of components. However, standard type checking was not considered in that work. In this paper we present a me...

This article describes one of the possibilities of simulating the flight parameters of the aircraft L 410 UVP E20 with the help of Matlab/Simulink. The article focuses on the definition of basic algorithms and the possibility of applying these algorithms using software such as Matlab/Simulink. Keywords—simulation, aircraft, L410, model

This paper introduces a Simulink model design for modified fountain code. The code is new version of the traditional Luby transform (LT) codes. constructs blocks required generation generator matrix limited-degree-hopping-segment (LDHS-LT) especially designed short length data files which have assigned great interest wireless sensor networks. It generates degrees in predetermined sequence but r...