Revision as of 23:01, 23 September 2020 by imported>Dtimofejevs
Introduction
<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.].</p>
<p>It was developed by O.C.E. Technology with support from the European Space Agency (ESA) under project 4000127901/19/NL/AS.</p>
<p>This document describes the features and use of OCEOS, and details its behaviour and system calls.</p>
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
|