8.0.3

Author: quantum-leaps

3rd_party

@@ -8,7 +8,7 @@ status of their code.
 
 The Quantum Leaps commercial licenses expressly supersede the GPL open source
 license. This means that when you license the QP/C or QP/C++ Real-Time
-Embedded Frameworks under a Quantum Leaps commercial license, you specifically
+Event Frameworks under a Quantum Leaps 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.
 
@@ -18,7 +18,7 @@ Quantum Leaps commercial licensing options are described below:
 SPDX-License-Identifier: LicenseRef-QL-Single-Product
 -----------------------------------------------------
 Single Product License allows a given company ("Licensee") to embed the
-specified type(s) of the QP Real-Time Embedded Framework(s) into one end-
+specified type(s) of the QP Real-Time Event Framework(s) into one end-
 product of the Licensee (Single Product). Licensee can distribute/sell an
 unlimited number of units of the Single Product (royalty-free licensing),
 for the life of the Single Product. A different Single Product license is
@@ -36,7 +36,7 @@ with one license agreement.
 SPDX-License-Identifier: LicenseRef-QL-Product-Line
 ---------------------------------------------------
 Product Line License allows a given company ("Licensee") to embed the
-specified type(s) of the QP Real-Time Embedded Framework(s) into any number
+specified type(s) of the QP Real-Time Event Framework(s) into any number
 of end-products within a family of related products (Product Line). Licensee
 can distribute/sell an unlimited number of units of each of those products
 (royalty-free licensing), for the life of the end-products within the
@@ -47,7 +47,7 @@ similar functions within the same Product Line.
 SPDX-License-Identifier: LicenseRef-QL-Any-Product
 --------------------------------------------------
 Any-Product License allows a given company ("Licensee") to embed the
-specified type(s) of the QP Real-Time Embedded Framework(s) into any end-
+specified type(s) of the QP Real-Time Event Framework(s) into any end-
 product of that company. The Licensee can distribute/sell an unlimited number
 of the products containing the licensed QP framework type(s) (royalty-free
 licensing).
@@ -56,7 +56,7 @@ licensing).
 SPDX-License-Identifier: LicenseRef-QL-Site
 -------------------------------------------
 Site-License allows a given company ("Licensee") to embed the specified
-type(s) of the QP Real-Time Embedded Framework(s) into any end-customer
+type(s) of the QP Real-Time Event Framework(s) into any end-customer
 product, as long as the products are designed at a given physical location
 (Site), which must be defined in the license. This license gives the
 Licensee also limited sublicensing rights for its clients and is specifically
@@ -67,7 +67,7 @@ software for other companies.
 SPDX-License-Identifier: LicenseRef-QL-OEM
 ------------------------------------------
 OEM License allows a given company ("Licensee") to embed the specified
-type(s) of the QP Real-Time Embedded Framework(s) in any product of that
+type(s) of the QP Real-Time Event Framework(s) in any product of that
 company (Original Equipment Manufacturer) and gives limited sublicensing
 rights to system integrators, subsystem vendors, subcontractors, and other
 affiliates. OEM licenses are customizable to match exactly the specific
@@ -77,7 +77,7 @@ licensing needs of a given Licensee.
 SPDX-License-Identifier: LicenseRef-QL-Eval
 -------------------------------------------
 Evaluation License allows a specific company ("Licensee") to temporarily
-use the specified type(s) of the QP Real-Time Embedded Framework(s) for
+use the specified type(s) of the QP Real-Time Event Framework(s) for
 in-house evaluation. This license expressly prohibits any distribution
 of the licensed QP software.
 

LICENSES/LicenseRef-QL-commercial.txt

@@ -19,7 +19,7 @@ is to allow non-GPL (including proprietary) programs to use, in this way, the
 QP Frameworks' code covered by this Exception.
 
 0. Definitions.
-"QP Frameworks" are lightweight real-time embedded frameworks (RTEFs)
+"QP Frameworks" are lightweight real-time event frameworks (RTEFs)
 as well as all supporting ports and examples, as distributed from:
 <https://www.state-machine.com> and
 <https://github.com/QuantumLeaps>

LICENSES/QP-Arduino_GPL_Exception.txt

@@ -18,7 +18,7 @@ is to allow non-GPL (including proprietary) programs to use, in this way,
 the QP Frameworks' code covered by this Exception.
 
 0. Definitions.
-"QP Frameworks" are lightweight real-time embedded frameworks (RTEFs)
+"QP Frameworks" are lightweight real-time event frameworks (RTEFs)
 as well as all supporting ports and examples, as distributed from:
 <https://www.state-machine.com> and
 <https://github.com/QuantumLeaps>

LICENSES/QP-RasPi_GPL_Exception.txt

@@ -18,7 +18,7 @@ is to allow non-GPL (including proprietary) programs to use, in this way,
 the QP Frameworks' code covered by this Exception.
 
 0. Definitions.
-"QP Frameworks" are lightweight real-time embedded frameworks (RTEFs)
+"QP Frameworks" are lightweight real-time event frameworks (RTEFs)
 as well as all supporting ports and examples, as distributed from:
 <https://www.state-machine.com> and
 <https://github.com/QuantumLeaps>

LICENSES/QP-mbed_GPL_Exception.txt

@@ -16,10 +16,10 @@ git clone https://github.com/QuantumLeaps/qpc --recurse-submodules --depth 1
 Alternatively, you can also download one of the stable
 [QP/C Releases][QP-Rel].
 
-# About QP/C Real-Time Embedded Framework
-QP/C real-time embedded framework (RTEF) is a lightweight implementation of
-the [Active Object (a.k.a. Actor) model of computation][AOmod] specifically
-tailored for deeply embedded real-time systems, such as microcontrollers (MCUs).
+# About QP/C Real-Time Event Framework
+QP/C real-time event framework (RTEF) is a lightweight implementation of
+the asynchronous, event-driven [Active Object (a.k.a. Actor) model of computation][AOmod]
+specifically designed for real-time embedded systems, such as microcontrollers (MCUs).
 QP/C is both a software infrastructure for building applications consisting
 of Active Objects (Actors) and a runtime environment for executing the Active
 Objects in a deterministic, real-time fashion. Additionally, QP/C Framework
@@ -35,19 +35,27 @@ QP editions:
 |QP Edition |  Language   |      API         | Safety Functions   |Certification Artifacts| Licensing
 |:----------|:-----------:|:-----------------|:-------------------|:----------------|:---------
 | QP/C      | C (C11)     |same as SafeQP/C  |Selected Assertions |Req/Arch/Design  | [dual][Lic]
-| SafeQP/C  | C (C11)     |same as QP/C      |All Safety Functions|Certification Kit| [commercial][Com]
 | QP/C++    | C++ (C++17) |same as SafeQP/C++|Selected Assertions |Req/Arch/Design  | [dual][Lic]
-| SafeQP/C++| C++ (C++17) |same as QP/C++    |All Safety Functions|Certification Kit| [commercial][Com]
-
-[The documentation](#documentation) of all QP editions includes the
-[Requirements][SRS], [Architecture][SAS], and [Design Specifications][SDS],
-which are the best source of information about the underlying concepts,
-functionality, architecture, and design of the QP Frameworks and the QP
-Applications based on the frameworks.
-
-> **NOTE:** The **SafeQP** frameworks additionally contain **Safety Functions**
-required to achieve the higher safety integrity levels and come with much more
-extensive [Certification Kits][Cert].
+| SafeQP/C  | C (C11)     |same as QP/C      |All Safety Functions|Extensive<br>Certification Kit| [commercial][Com]
+| SafeQP/C++| C++ (C++17) |same as QP/C++    |All Safety Functions|Extensive<br>Certification Kit| [commercial][Com]
+
+The **SafeQP/C** and **SafeQP/C++** frameworks were originally derived from QP/C and QP/C++,
+respectively, but were extensively reengineered for the safety market using compliant
+Software Safety Lifecycle (SSL). In this process, the QP framework functional model has been
+subjected to a full Hazard and Risk Analysis, which identified all areas of weakness within
+the functional model and API. These findings led to creation of Safety Requirements and risk
+mitigation by Safety Functions, which were subsequently implemented, verified, and validated.
+The SafeQP frameworks are accompanied by the "SafeQP Certification Kits", which provide
+developers with ready-to-use artifacts, enabling them to save time, mitigate risk, and reduce
+costs during application certification for safety-critical devices in the industrial, medical,
+aerospace, and automotive industries. Please [contact Quantum Leaps](#contact-information)
+for more information about the SafeQP frameworks and the "Certification Kits".
+
+> **NOTE:** The SafeQP/C edition remain fully API- and functionally compatible with the
+corresponding standard QP/C framework. This ensures existing QP/C Applications can transition
+seamlessly to SafeQP/C without requiring any modifications. SafeQP/C edition retain QP/C
+Frameworks' hallmark features, including a small memory footprint, excellent efficiency,
+and hard real-time functionality.
 
 
 # Getting Started with QP/C
@@ -61,14 +69,14 @@ that you get all components, tools and examples ready to go.
 - ["QP/C Tutorial"][Tut]
 describes a series of progressively advanced QP/C example applications.
 
-- [Video: "Getting Started with QP Real-Time Embedded Frameworks"][Video]
+- [Video: "Getting Started with QP Real-Time Event Frameworks"][Video]
 provides instructions on how to download, install, and get started with QP.
 
-- [AppNote: "Getting Started with QP Real-Time Embedded Frameworks"][AN]
+- [AppNote: "Getting Started with QP Real-Time Event Frameworks"][AN]
 contains also a tutorial, in which you build a simple "Blinky" application.
 
 # Licensing
-The QP/C real-time embedded framework is licensed under the
+The QP/C real-time event framework is licensed under the
 [dual licensing model](https://www.state-machine.com/licensing), with
 the following licensing options:
 
@@ -89,6 +97,10 @@ proprietary status of their code.
 all QP frameworks can be licensed commercially, in which case you don't use
 any open source license and you do not violate your policy.
 
+> NOTE: The **SafeQP** frameworks and the accompanying "Certification Kits"
+are licensed commercially only.
+
+
 ## Files Removed from the QP/C Open Source GPL Distribution
 Due to the widespread non-compliance with the GPL, as well as infringement on the
 [dual-licensing model of QP frameworks][Lic], the following QP/C components
@@ -114,7 +126,7 @@ To view the offline documentation, open the file [html/index.html](html/index.ht
 in your web browser.
 
 
-# How to Get Help?
+# Contact Information
 - [Free Support Forum](https://sourceforge.net/p/qpc/discussion/668726)
 - [Bug Reports](https://sourceforge.net/p/qpc/bugs/)
 - [Feature Requests](https://sourceforge.net/p/qpc/feature-requests/)

README.md

@@ -1,6 +1,5 @@
 //============================================================================
-// QP/C Real-Time Embedded Framework (RTEF)
-// Version 8.0.2
+// QP/C Real-Time Event Framework (RTEF)
 //
 // Copyright (C) 2005 Quantum Leaps, LLC. All rights reserved.
 //

examples

@@ -1,6 +1,5 @@
 //============================================================================
-// QP/C Real-Time Embedded Framework (RTEF)
-// Version 8.0.2
+// QP/C Real-Time Event Framework (RTEF)
 //
 // Copyright (C) 2005 Quantum Leaps, LLC. All rights reserved.
 //

include/qequeue.h

@@ -1,6 +1,5 @@
 //============================================================================
-// QP/C Real-Time Embedded Framework (RTEF)
-// Version 8.0.2
+// QP/C Real-Time Event Framework (RTEF)
 //
 // Copyright (C) 2005 Quantum Leaps, LLC. All rights reserved.
 //