QP/C  7.4.0-rc.3
Real-Time Embedded Framework
Loading...
Searching...
No Matches
Overview

Remarks
To check what's new in QP/C, please see QP/C Revision History. The recommended way of obtaining QP/C is by downloading the official QP-bundle. The latest QP/C code, with the most recent enhancements and bug fixes, is available in the GitHub QP/C repository.

What is it?

QP/C Real-Time Embedded Framework (RTEF) is a lightweight implementation of the Active Object model of computation specifically tailored for real-time embedded (RTE) systems. QP is both a software infrastructure for building QP/C Applications consisting of Active Objects (Actors) and a runtime environment for executing the Active Objects in a deterministic fashion. Additionally, QP/C Framework supports Hierarchical State Machines with which to specify the behavior of Active Objects [ROOM:94], [UML 2.5],[Sutter:10]. The QP/C Framework can be viewed as a modern, event-driven, "reactive" real-time operating system.

What does it do?

The main objectives of the QP/C RTEF are:

  • to provide a modern, event-driven, reusable embedded systems architecture based on the best practices of concurrent programming collectively known as the Active Object model of computation, which is inherently safer than the traditional "shared-state concurrency, mutual-exclusion, and blocking" approach based on a conventional Real-Time Operating System (RTOS);
  • to provide a higher-level of abstraction closer to the problem domain than the "naked" RTOS threads;
  • to provide the right abstractions for applying modern techniques like visual modeling, hierarchical state machines, and automatic code generation;
  • to bridge the semantic gap between the higher level modeling concepts (such as UML) and the traditional programming languages like C or C++.
  • to provide an efficient, bidirectionally traceable implementation of Hierarchical State Machines↑ for specifying the internal behavior of Active Objects;

What's special about it?

The QP/C Real-Time Embedded Framework (RTEF) provides a modern, reusable architecture of embedded applications, which combines the model of concurrency, known as Active Objects (Actors) with Hierarchical State Machines. The QP/C RTEF also provides sufficiently high level of abstraction and the right abstractions to effectively apply modeling and code generation to deeply embedded systems.

Safer Model of Concurrency

The QP/C architecture is inherently safer and more real-time (more responsive) than "free threading" with a traditional Real-Time Operating System (RTOS).

In the context of safety-related applications, QP/C offers numerous advantages over the traditional "shared state concurrency" based on a conventional RTOS. QP/C implements a safer model of concurrency and many best practices recommended by functional safety standards (e.g., IEC 61508-7) such as:

  • Structured methods (IEC 61508-7-C.2.1)
  • Semi-formal methods, such as Hierarchical State Machines (IEC 61508-7-Table.B.7)
  • Computer-aided design tools (IEC 61508-7-B.3.5)
  • Defensive programming, including Failure Assertion Programming (IEC 61508-7-C.2.5)
  • Modular approach (IEC 61508-7-Table.B.9)
  • Design and coding standards, including safe subsets of C or C++ (IEC 61508-7-C.2.6)
  • Structured programming (IEC 61508-7-C.2.7)
  • Traceability between requirements and software design (IEC 61508-7-C2.11)
Note
Safety-related systems must undergo a stringent certification process according to various functional safety standards, such as IEC 61508 for electrical systems, and related IEC 62304/FDA510(k) for medical devices, IEC 60335 for household appliances, DO-178B/C for airborne systems, etc. To help companies in the certification effort, the QP/C framework now includes the QP/C Certification Kit.

Object Orientation

Even though it is written in MISRA-compliant ISO-C99, QP/C is fundamentally an object-oriented framework, which means that the framework itself and your applications derived from the framework are fundamentally composed of classes and only classes can have state machines associated with them.

Remarks
If you program in C and object-oriented programming is new to you, please refer to the article and set of videos "Object-Oriented Programming"↑, which among others describes how you can implement the concepts of classes, inheritance, and polymorphism to portable ISO-C.

Application Note: Object-Oriented Programming in C

Hierarchical State Machines

The behavior of active objects is specified in QP/C by means of hierarchical state machines (UML statecharts)↑. The framework supports manual coding of UML state machines in C as well as fully automatic code generation by means of the free graphical QM™ model-based design (MBD) tool↑.

Built-in Kernels

The QP/C framework can run on bare-metal single-chip microcontrollers, completely replacing a traditional RTOS. The framework contains a selection of built-in real-time kernels, such as the non-preemptive QV kernel, the preemptive non-blocking QK kernel, and the preemptive, dual-mode, blocking QXK kernel. The QXK kernel provides all the features you might expect from a traditional RTOS kernel and has been specifically designed for mixing event-driven active objects with traditional blocking code, such as commercial middleware (TCP/IP stacks, UDP stacks, embedded file systems, etc.) or legacy software. Native QP/C ports and ready-to-use examples are provided for major embedded CPU families, such as ARM Cortex-M, ARM Cortex-R, MSP430, and PIC32.

Size and Efficiency

Even though QP/C offers much higher level of abstraction than a traditional RTOS, it typically outperforms equivalent traditional RTOS applications both in RAM/ROM footprint and in CPU efficiency. The specific measurements and results are reported in the following Application Note: "QP/C Performance Tests and Results"↑:

QP/C Performance Tests and Results

Interoperability

QP/C can also work with many traditional Real-Time Operating Systems (RTOSes) and General-Purpose OSes (GPOSes) (such as Linux (POSIX) and Windows).

Traceability

QP/C offers unprecedented, bidirectional traceability among all work artifacts, which gives teams full visibility from requirements through architecture, design, source code, tests, and back again.

Popularity & Maturity

With 20 years of continuous development, over 350 commercial licensees↑, and many times more open source users worldwide, the QP/C and QP/C++ frameworks are the most popular such offering on the market. They power countless electronic products across a wide variety of markets↑, such as medical, consumer, IoT, defense, robotics, industrial, communication, transportation, semiconductor IP, and many others.

Books

The two editions of the book, Practical Statecharts in C/C++ provide a detailed design study of the QP/C and QP/C++ frameworks and explain the related concepts.

Practical UML Statecharts in C/C++, 2nd Edition

Practical Statecharts in C/C++, 1st Edition

How is it licensed?

QP/C is licensed under the sustainable dual licensing model↑, in which both the open source software distribution mechanism and traditional closed source software distribution models are combined.

Note
If your company has a policy forbidding open source in your product, the QP/C and QP/C++ frameworks can be licensed commercially↑, in which case you don't use any open source license and you do not violate your policy.

Open Source Projects

If you are developing and distributing open source applications under the GNU General Public License (GPL), as published by the Free Software Foundation, then you are free to use the Quantum Leaps software under the GPL version 3↑ of the License, or (at your option) any later version. Please note that GPL requires that all modifications to the original code as well as your application code (Derivative Works as defined in the Copyright Law) must also be released under the terms of the GPL open source license.

Closed Source Projects

If you are developing and distributing traditional closed source applications, you can purchase one of Quantum Leaps commercial licenses↑, which are specifically designed for users interested in retaining the proprietary status of their code. All Quantum Leaps commercial licenses expressly supersede the GPL open source license. This means that when you license Quantum Leaps software under a commercial license, you specifically do not use the software under the open source license and therefore you are not subject to any of its terms.

How to get help?

Please post any technical questions to the Free Support Forum↑ hosted on SourceForge.net. Posts to this forum benefit the whole community and are typically answered the same day.

Direct Commercial Support is available to the commercial licensees. Every commercial license includes one year of Technical Support for the licensed software. The support term can be extended annually.

Training and consulting services are also available from Quantum Leaps. Please refer to the Contact web-page↑ for more information.

Note
The features of this online help and tips for using it are described in Section Using Online Help.

Contact Information