User Guide
 All Pages
Pop user guide

This document is a user manual for the Pop Platform, a component of the Polychrony Toolset (see next figure).

PolychronyToolsetPop.jpeg

It is a front-end to the Signal ToolBox in the Eclipse environment. It explains how to produce Signal or SSME (SSME stands for Signal Syntactic Model under Eclipse) models, transform them, verify them, and generate codes for simulations or for other tools. Morevover, it exists translators that produce SSME or Signal code from other formalisms. For more details consult the Polychrony Toolset web site.

Attention
To use the functionalities of the Signal ToolBox, the Signal ToolBox is supposed to be available in the Eclipse session:
  • the Signal tool box is installed in the user environment. To install it, consult the Polychrony site and select the waited version.
  • the setup of the Signal tool-box has been called before the Eclipse POP Session.

Pop constitutes a development environment for critical systems, from abstract specification until deployment on distributed systems. It relies on the application of formal methods, allowed by the representation of a system, at the different steps of its development, in the Signal polychronous semantic model.

The user will find here, many publications on Signal language (introductory papers, formal semantics), synchronous languages, case studies, domain application (Architecture and OS modeling, Avionics applications)...

The user guide is composed of the following sections:

Note that the user can install the Signal GUI to edit its models. This plugin is available on the Polychrony Toolset web site..

Creation of a new project

If you have no project in your workspace, you will need to create a new one:

Creation of a Signal/SSME model

Creation of a Signal textual model

Then the created filed is opened in the Eclipse editor window.

Editing a Signal textual model

The environment integrates a simple text editor to manipulate Signal Text files under Eclipse. The current version provides only syntax highlighting for Signal keywords, for comments, and for constant value using primitive types (string, character, or numerical value).

To use this editor, you have only to Double-click on the file with extension .SIG. Maybe the Signal Text editor is not selected by default, so, you have to Right-click on the file and select Open With->Signal Text Editor.

Creation of a SSME model

Note that there is not a graphical user interface for the SSME format. It is used as output format for translators from other formalisms (AADL to SSME, Geneauto/Simulink to SSME,...). But, if a user want to create by hand a SSME model, the following method may be used.

To help the user during the creation of a new SSME model file, the reflexive editor has a wizard. To start the wizard,

Editing a SSME model

To define your model, you only have to add new model objects. To do so, right-click on the node on which you want to add a child, and select the New Child menu. It displays the list of all possible model elements that can be added for the current selected element. If this option does not exist for a node, it means that there is no possible child for this node.

Compiling Signal/SSME models

To compile a Signal or SSME program,

Pop configuration

The Signal compiler can be parameterized. To access to these parameters, select the Polychrony section in the Preferences Window. You can