Difference between revisions of "OCEOS"
Jump to navigation
Jump to search
imported>Dtimofejevs |
imported>Dtimofejevs |
||
| Line 1: | Line 1: | ||
= Introduction = | = Introduction = | ||
< | |||
OCEOS is a pre-emptive real time operating system (RTOS) with a small memory footprint intended | <p>OCEOS is a pre-emptive real time operating system (RTOS) with a small memory footprint intended | ||
for hard real time systems that use the GR716 micro-controller [ref.]. | for hard real time systems that use the GR716 micro-controller [ref.].</p> | ||
It was developed by O.C.E. Technology with support from the European Space Agency (ESA) under project 4000127901/19/NL/AS. | It was developed by O.C.E. Technology with support from the European Space Agency (ESA) under project 4000127901/19/NL/AS. | ||
This document describes the features and use of OCEOS, and details its behaviour and system calls. | This document describes the features and use of OCEOS, and details its behaviour and system calls. | ||
= Applicable and reference documents = | = Applicable and reference documents = | ||
Revision as of 23:03, 23 September 2020
Introduction
OCEOS is a pre-emptive real time operating system (RTOS) with a small memory footprint intended for hard real time systems that use the GR716 micro-controller [ref.].
It was developed by O.C.E. Technology with support from the European Space Agency (ESA) under project 4000127901/19/NL/AS. This document describes the features and use of OCEOS, and details its behaviour and system calls.
Applicable and reference documents
Applicable Documents
| ID | Title | Version |
|---|---|---|
| E40 | ECSS Space engineering – Software, ECSS-E-ST-40C | 06/03/09 |
| Q80 | ECSS Space product assurance – Software Product Assurance ECSS-Q-ST-80 | 15/02/17 |
| SRS | Software Requirements Specification, (OCEOS RTOS). OCE Technology | 06/20 Version 3.0 |
| ICD | Interface Control Document, (OCEOS RTOS). OCE Technology, OCE-2018-ICD-001 | 05/12/18 Rev 2.0 |
Reference Documents
| ID | Title | Version |
|---|---|---|
| BAK91 | T. P. Baker. Stack-based scheduling of real-time processes. Journal of Real-Time Systems, 3, 1991. http://www.math.unipd.it/~tullio/RTS/2009/Baker-1991.pdf | 1991 |
| GRLIB | GRLIB IP Library User’s Manual | Apr 2018, Version 2018.1 |
| IRD-GR716 | GR716 LEON3FT Microcontroller, 2018 Advanced Data Sheet and User’s Manual, GR716-DS-UM, Cobham. | Nov 2018 Version 1.26 |
| SDD | Software Design Document, OCE-2020-SDD-001 | Rev 3.1, 01/07/2020 |
| QR | OCEOS-QuickReference.pdf | Rev 1.0 |