P&P Software 
P&P Software GmbH
High Tech Center 1,
Tägerwilen, CH-8274
Switzerland
- home
- people
- services
- products
- publications
- contact us
services
P&P Software offers two types of services:
- Design, implementation, and instantiation of object-oriented software frameworks for embedded control applications
- Consulting services in the fields of satellite engineering (control system design and on board software verification) and software engineering (object-oriented software frameworks, generative programming, model-driven development)
The software frameworks we propose are based on a library of design patterns for embedded control systems described in the book ‘Software Frameworks and Embedded Control Systems’ by A. Pasetti (Springer-Verlag, LNCS series, vol. 2231).
We can either build software frameworks using a model-driven approach as we did in the CORDET Project or we can build them using a more traditional code-based approach as we did in the OBS Framework Project. In the model-driven case, we propose the use of the FW Profile (for which we have developed a C-language implementation). We also have experience of developing code generators that translate the UML2-based design into source code.
Our recent consulting projects focused on the design, specification, and verification of the attitude and orbit control systems (AOCS) of various satellites (GOCE, BepiColombo, and Swarm); we have designed a software framework for a new line of medical diagnostic instruments; we have contributed to the development of a wide range of industrial control systems.
The key technologies proposed by P&P Software are:
- Object-oriented Software Frameworks
- Generative Programming
- Model Driven Development
Software Frameworks are a software re-use technology that fosters the re-use of entire architectures (as opposed to just code fragments) optimized for a narrow domain.
Generative Programming is a means to automatically generate the code implementing an application.
Model-Driven Development (MDD) is a programming paradigm that advocates the development of software applications through the definition of models which are then automatically translated into code using dedicated code generators.
