Difference between revisions of "OCEOS"

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


<pre>
1.  [[OCEOS/oceos_introduction|OCEOS Introduction and Main Concepts]]
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.].
3.  [[OCEOS/oceos_inter-task_communication|OCEOS Synchronization and Inter-task Communication]]
It was developed by O.C.E. Technology with support from the European Space Agency (ESA) under project 4000127901/19/NL/AS.
4.  [[OCEOS/oceos_timed_actions|OCEOS Timed Actions (Software Timers)]]
This document describes the features and use of OCEOS, and details its behaviour and system calls.
5.  [[OCEOS/oceos_logging|OCEOS Logging]]
</pre>
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
|}
== 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 17: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’