Developper Guide
|
This document is a developer manual for the Pop Platform, a component of the Polychrony Toolset (see next figure).
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) and more technical documents (clock calculus, representation of a Signal Program).
The user will find in the fr.inria.tea.ssme.documentation plugin technical documentations, defined during the OPEES project for the experiment Polarsys platform, and adapted for POP platform:
and some other documents provided during the OPEES project for the qualification of Polychrony for the experiment Polarsys platform: