In this work we develop, demonstrate, and distribute the code for a new Simulink block that models the dynamic evolution of the population density function for a physical system which can be modeled by a population balance equation. The name of the block is PCSS, for population balance modeling using the conservation element/solution element method in Simulink. The block interfaces with an auxi...

The approach towards system engineering compliant to Model-Driven Architecture (MDA) implies an increased need for research on the automation of the model-based test generation. This applies especially to embedded real-time system development where safety critical requirements must be met by a system. The following paper presents a methodology to derive basic Simulink test models from Simulink ...

An integrated neuromusculoskeletal (NMS) modeling tool has been developed to facilitate the study of the control of movement in humans and animals. Blocks representing the skeletal linkage, sensors, muscles, and neural controllers are developed using separate software tools and integrated in the powerful simulation environment of Simulink (Mathworks Inc., USA). Musculoskeletal Modeling in Simul...

In early stages of engineering design, pen-and-paper sketches are often used to quickly convey concepts and ideas. Free-form drawing is often preferable to using computer interfaces due to its ease of use, fluidity and lack of constraints. The objective of this project is to create a trainable sketched Simulink component recognizer and classifying the individual Simulink components from the inp...

The evolution of automotive systems has been rapid. Nowadays, electronic brains control dozens of functions in vehicles, like braking, cruising, etc. Model-based design approaches, in environments such as MATLAB Simulink, seem to help in addressing the ever-increasing need to enhance quality, and manage complexity, by supporting functional design from predefined block libraries, which can be si...

The Matlab/Simulink language has become the standard formalism for modeling and implementing control software in areas like avionics, automotive, railway, and process automation. Such software is often safety critical, and bugs have potentially disastrous consequences for people and material involved. We define a verification methodology to assess the correctness of Simulink programs by means o...

Model Based Development (MBD) using Mathworks tools like Simulink, Stateflow etc. is being pursued in Honeywell for the development of safety critical avionics software. Formal verification techniques are well-known to identify design errors of safety critical systems reducing development cost and time. As of now, formal verification of Simulink design models is being carried out manually resul...

Matlab/Simulink provides developer with model-based development environments for various applications. Real-Time Workshop in Simulink toolkits automatically generates C/C++ programs, which enables user to build real-time systems easily. However, the generated program code is only for single process so that it is difficult to build highperformance real-time systems. In this paper, we propose an ...

We discuss aspects of development of a low-cost realtime mobile-robot platform – ArEduBot for educational experiments. Our framework leverages ease-ofprogramming in block-diagrammatic form within the MATLAB/Simulink environment, together with several special-blocks developed within our Arduino-Simulink Toolbox 1 . The executable, compiled using the Real-Time-Workshop toolchain, can be downloade...

In this paper the modeling of motion control system with Variable Structure System (VSS) theory using Matlab/Simulink and Caspoc is elaborated. The control is modeled in Simulink, while the power converter is modeled in Caspoc. This has advantages on both sides. Powerful toolboxes existing for Simulink can be used and the power electronics can be modeled in detail in the dedicated power electro...