Giters
P&P Software GmbH (pnp-software)

P&P Software GmbH

pnp-software

Geek Repo

We specialize in the specification, design, and verification of software for embedded systems.

Location:High Tech Center 1, Taegerwilen - Thurgau, CH-8274, Switzerland

Home Page:https://www.pnp-software.com

Github PK Tool:Github PK Tool

P&P Software GmbH's repositories

fwprofile

C Implementation of UML State Machines and Activity Diagrams for Safety-Critical, Real-Time and Embedded Applications.

Language:CLicense:MPL-2.0Stargazers:30Issues:14Issues:22

cordetfw

C Implementation of a Software Framework for Service-Oriented Applications with PUS Support

Language:CLicense:MPL-2.0Stargazers:13Issues:8Issues:130

fcp-editor

Web-based editor for specifying Flight Control Procedures (FCPs) based on ESA's SCOS-2000 standard.

Language:JavaScriptLicense:MITStargazers:3Issues:4Issues:26

fwprofile-editor-pub

The fwprofile editor is a web-based editor for the creation of state machines and activity diagrams compliant with the fwprofile.

Language:JavaScriptLicense:GPL-3.0Stargazers:3Issues:6Issues:7

cordetfw-pus

PUS Extension of the CORDET Framework

Language:CLicense:MPL-2.0Stargazers:2Issues:0Issues:0

cordetfw_editor

The Cordet FW Editor provides an environment where users define various kinds of specification items for their applications.

Language:PythonLicense:GPL-3.0Stargazers:1Issues:0Issues:0

EODiSP

Open and Distributed Simulation Platform (No Longer Supported)

Language:HTMLStargazers:1Issues:6Issues:0

cordetfw-examples

Language:CLicense:MPL-2.0Stargazers:0Issues:7Issues:0

fwprofile-examples

Collection of examples for fwprofile

Language:CLicense:MPL-2.0Stargazers:0Issues:7Issues:1