Difference between revisions of "OCEOS"

From wiki
Jump to navigation Jump to search
imported>Dtimofejevs
 
(275 intermediate revisions by 3 users not shown)
Line 1: Line 1:
= Introduction =
Contents


<div style='text-align: left;'>
1.  [[OCEOS/oceos_introduction|OCEOS Introduction and Main Concepts]]
<p>OCEOS is a pre-emptive real time operating system (RTOS) with a small memory footprint intended
2.  [[OCEOS/oceos_kernel|OCEOS Kernel]]
for hard real time systems that use the GR716 micro-controller [ref.].</p>
3.  [[OCEOS/oceos_inter-task_communication|OCEOS Synchronization and Inter-task Communication]]
<p>It was developed by O.C.E. Technology with support from the European Space Agency (ESA) under project 4000127901/19/NL/AS.</p>
4.  [[OCEOS/oceos_timed_actions|OCEOS Timed Actions (Software Timers)]]
<p>This document describes the features and use of OCEOS, and details its behaviour and system calls.</p>
5.  [[OCEOS/oceos_logging|OCEOS Logging]]
</div>
6. [[OCEOS/oceos_fdir|OCEOS FDIR]]
7. [[OCEOS/oceos_protection|OCEOS Protection (GR716)]]
8. [[OCEOS/oceos_debugging|OCEOS Debugging]]
9.  [[OCEOS/oceos_profiling|OCEOS Profiling]]
10. [[OCEOS/oceos_use|OCEOS Installation and Use]]


= Applicable and reference documents =
<!-- OLD Menu  MediaWiki:Sidebar
== Applicable Documents ==
** OCEOS_introduction|OCEOS Introduction
{|class="wikitable"
** OCEOS_Operation|OCEOS Operation
! style="text-align:left;"| ID
** OCEOS_Directives_Reference|OCEOS Directives
! Title
** OCEOS_Tutorials|OCEOS Tutorials
! 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
|}

Latest revision as of 17:44, 31 March 2022