Difference between revisions of "OCEOS"

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


1.  [[OCEOS/oceos_introduction|OCEOS Introduction and Main Concepts]]
2.  [[OCEOS/oceos_kernel|OCEOS Kernel]]
3.  [[OCEOS/oceos_inter-task_communication|OCEOS Synchronization and Inter-task Communication]]
4.  [[OCEOS/oceos_timed_actions|OCEOS Timed Actions (Software Timers)]]
5.  [[OCEOS/oceos_logging|OCEOS Logging]]
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]]


<p>OCEOS is a pre-emptive real time operating system (RTOS) with a small memory footprint intended
<!-- OLD Menu  MediaWiki:Sidebar
for hard real time systems that use the GR716 micro-controller [ref.].</p>
** OCEOS_introduction|OCEOS Introduction
<p>It was developed by O.C.E. Technology with support from the European Space Agency (ESA) under project 4000127901/19/NL/AS.</p>
** OCEOS_Operation|OCEOS Operation
<p>This document describes the features and use of OCEOS, and details its behaviour and system calls.</p>
** OCEOS_Directives_Reference|OCEOS Directives
 
** OCEOS_Tutorials|OCEOS Tutorials
= Applicable and reference documents =
-->
== Applicable Documents ==
{|class="wikitable"
! style="text-align:left;"| 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 ==
 
{|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
|}

Latest revision as of 16:44, 31 March 2022

Contents 

1.  OCEOS Introduction and Main Concepts
2.  OCEOS Kernel
3.  OCEOS Synchronization and Inter-task Communication
4.  OCEOS Timed Actions (Software Timers)
5.  OCEOS Logging
6.  OCEOS FDIR
7.  OCEOS Protection (GR716)
8.  OCEOS Debugging
9.  OCEOS Profiling
10. OCEOS Installation and Use


Retrieved from ‘https://wiki.ocetechnology.com/mediawiki/index.php?title=OCEOS&oldid=1475’