PragmaDev Studio on Raspberry Pi

PragmaDev Studio V5.4 runs natively on Raspbian, the official Linux distribution for all models of the Raspberry Pi. Connect a keyboard, a mouse, and a screen to your Raspberry and it is a small and cheap computer at your hands. You can now model directly on the Raspberry with PragmaDev Studio V5.4 and the built in model simulator interacts with the physical GPIO.

Incoming messages in the model called GPIO_IN_XY will be triggered by GPIO #XY and output messages named GPIO_OUT_XY will set GPIO #XY, it is as simple as that.

The model executor is connected to the real GPIO.

The target triggers the events in the model.

---

ASN.1 tab completion

The tab completion feature now includes the types defined in an external ASN.1 file.

Multiple find

It is now possible to launch several finds in different tabs in the search window and navigate back in the different search results.

---

Improved test traces

In order to get a synthetic and clear execution trace, it is now possible to only trace what is exchanged between the SUT (could be the SDL system) and the test cases.

The resulting trace is as follow:

---

Simulation of Cyber Physical Systems with FMI 2.0 on macOS

Cyber Physical Models combine event driven and clock driven elements, critical parts and non critical parts. For that purpose PragmaDev Studio V5.3 introduced Functionnal Mockup Interface FMI V2.0 on Windows and Linux. V5.4 now supports FMI on macOS as well. The tool imports a Functionnal Mockup Unit (FMU) and analyzes its inputs and outputs. A mapping between the SDL model and the FMU is then defined through a specific interface. Both co-simulation and model exchange modes are supported. PragmaDev Studio acts as a "master" / "importing" tool.

An example of an FMI integration with Ansys Scade cruise control model: