Für die Erstellung von cyberphysikalischen Systemen ist die modellbasierte Entwicklung ein Standardwerkzeug, da es die Erstellung komplexer Systeme vereinfacht und übersichtlich ermöglicht. Durch die Simulation lassen sich Verifikationen bereits in sehr frühen Entwicklungsstadien durchführen. Eines der am häufigsten eingesetzten Werkzeuge in diesem Bereich ist MATLAB/Simulink. In Simulink könne...

ion and partitioning can be regarded from three dimensions: Software The key for software specification and development is a target group specific presentation of the realised functions and their connections and distribution for all roles involved along the development process. The partitioning represents the mapping between functional specification from a user’s point of view and the functiona...

The paper first presents the integration options of what we call the Timing Description Language (TDL) with MathWorks' Simulink tools. Based on the paradigm of logical execution time (LET) as introduced by Giotto [2], TDL enhances Giotto towards a component architecture for real-time control applications [9]. The challenge is to provide appropriate visual and interactive modeling capabilities s...

Circuits having various combinations of R, L and C are the building blocks for many important areas of study in electrical engineering and also used extensively in communication systems for design and development of filters and oscillators. Hence, effective simulation (or prediction) of such systems is imperative. This paper explores the ability of MATLAB/Simulink®1 to achieve this feat with re...

A MATLAB Simulink-based simulator for an antenna system has been developed at Chalmers, followed by the implementation of a WCDMA system in it. Naturally, 3GPP LongTerm Evolution (LTE) as a new standard for communication system should be considered next. Therefore, a Simulink-based LTE system simulator connected to the existing antenna blocks and WINNER channel is presented in this master thesi...

This report presents the approach experimented by a railway signaling manufacturer for the development of applications through Simulink/Stateflow in a standard–regulated industrial framework. The General Electric Transportation Systems (GETS) railway signaling division of Florence, inside a long-term effort of introducing formal methods to enforce product safety, decided to adopt the Simulink/S...

Suppose that you have developed a Simulink model of a virtual world, such as a wall or spring-mass system. We have seen how to choose the parameters of the virtual world so that it has desired properties. For example, we have seen how to choose the spring constant and inertia of the virtual spring-mass system so that it has a desired frequency of oscillation and satisfies a maximum torque limit...

This paper presents an application of the mode-automata based design method to Stateflow/Simulink. The observation we make is two fold. First, we realized that modeautomata, being one of the most convincing proposition made recently to separate control from signal processing, is only starting to be applied to industrial tools. Second, although the separation of control and signal processing is ...