Difference between revisions of "OCEOS"
Jump to navigation
Jump to search
imported>Dtimofejevs |
imported>Dtimofejevs |
||
| Line 30: | Line 30: | ||
|Interface Control Document, (OCEOS RTOS). OCE Technology, OCE-2018-ICD-001 | |Interface Control Document, (OCEOS RTOS). OCE Technology, OCE-2018-ICD-001 | ||
|05/12/18 Rev 2.0 | |05/12/18 Rev 2.0 | ||
|} | |||
== Reference Documents == | |||
{|class="wikitable" | |||
! style="text-align:left;"| 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 | |||
|} | |} | ||
Revision as of 22:56, 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 |