User Guide
|
This document is a user manual for the Pop Platform, a component of the Polychrony Toolset (see next figure).
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.
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..
If you have no project in your workspace, you will need to create a new one:
Then the created filed is opened in the Eclipse editor window.
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.
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,
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.
To compile a Signal or SSME program,
The Signal compiler can be parameterized. To access to these parameters, select the Polychrony section in the Preferences Window. You can