OS
-
- Site Admin
- Posts: 523
- Joined: Fri Dec 31, 2010 12:30 pm
- Contact:
Re: OS
Astrobe is designed to support embedded systems that are too limited in resources to be able to host an OS.
Niklaus Wirth and Paul Reed described work they have done with Oberon-07 and the Oberon OS targeting Xilinx FPGA boards at Oberon Day 2011:
You can see a video of their presentation at:
http://www.multimedia.ethz.ch/conferences/2011/oberon
Niklaus Wirth and Paul Reed described work they have done with Oberon-07 and the Oberon OS targeting Xilinx FPGA boards at Oberon Day 2011:
You can see a video of their presentation at:
http://www.multimedia.ethz.ch/conferences/2011/oberon
Re: OS
For NicheLite, Linux (uClinux), QNX it is enough resources.cfbsoftware wrote:Astrobe is designed to support embedded systems that are too limited in resources to be able to host an OS.
And I can't find information about Minos Operating System. On the site of ETH it is written: "In order to test the functionality of the fault tolerant hardware and software, a testing and tracing framework shall be developed for the used small real time Minos Operating System."
-
- Site Admin
- Posts: 523
- Joined: Fri Dec 31, 2010 12:30 pm
- Contact:
Re: OS
See "Minos—The design and implementation of an embedded real-time operating system with a perspective of fault tolerance" by Thomas Kaegi-Trachsel and Juerg Gutknecht in the "Proceedings of the International Multiconference on Computer Science and Information Technology" pp. 649–656. You can download a copy from:I can't find information about Minos Operating System
http://www.proceedings2008.imcsit.org/pliks/85.pdf
You can also download the slides from Brian Kirk's presentation "Test Automation for the Oberon and Minos Systems" given at Oberon Day 2007:
http://www.oberon-industry.ethz.ch/even ... sentations
-
- Site Admin
- Posts: 523
- Joined: Fri Dec 31, 2010 12:30 pm
- Contact:
Re: OS
The full documentation and source code of Niklaus Wirth's and Paul Reed's 2013 implementation of the Project Oberon OS on a Xilinx FPGA can be downloaded from:
http://www.projectoberon.net
http://www.projectoberon.net