<div dir="auto"><div><br><div class="gmail_extra"><br><div class="gmail_quote">On Aug 4, 2017 12:37 PM, "Denis Obrezkov" <<a href="mailto:denisobrezkov@gmail.com">denisobrezkov@gmail.com</a>> wrote:<br type="attribution"><blockquote class="quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="elided-text"><div class="gmail_extra"><div class="gmail_quote">2017-08-03 20:39 GMT+02:00 Joel Sherrill <span dir="ltr"><<a href="mailto:joel@rtems.org" target="_blank">joel@rtems.org</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">Crap.. hint send too early.<div><br></div><div>Deos has a 25 year heritage and came from Honeywell commercial</div><div>avionics. It is Level A flight certified. That is the highest level. We </div><div>have an arrangement to do the FACE Conformance formal validation. </div><div><br></div><div>At this point, RTEMS is successfully working in a partition there</div><div>with shared memory across partitions, correct time, and the </div><div>RTEMS tests looking good on x86. PowerPC and ARM will come</div><div>soon. We are working through the network and A653 sampling<br></div><div>and queuing port integration now. </div><div><br></div><div>This should be a flyable, deployable product in an airplane.</div><div>But all of the generic RTEMS infrastructure for paravirtualization</div><div>required is in the main tree.</div><div><br></div><div>But I would really love to see a complete open source A653</div><div>solution with RTEMS in a partition. AFAIK Pok is the best path</div><div>to that.</div><div><br></div><div>DonnerWorks has a Xen based solution but that is heavier</div><div>than I would like to see and I don't know how much source</div><div>they have released.</div><span class="m_-5169607343211468675HOEnZb"><font color="#888888"><div><br></div><div>--joel</div></font></span></div><div class="m_-5169607343211468675HOEnZb"><div class="m_-5169607343211468675h5"><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Aug 3, 2017 at 1:34 PM, Joel Sherrill <span dir="ltr"><<a href="mailto:joel@rtems.org" target="_blank">joel@rtems.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">This is an interesting question on multiple fro6nts. :)<div><br></div><div>We have had projects in the past which have worked with RTEMS</div><div>and the open source ARINC 653 implementation Pok. There was</div><div>some success on the i386. </div><div><br></div><div>The first time we tried this was with an "open source" implementation</div><div>named "AIR". It was a GSoC project and AFAIK they never released</div><div>any source for AIR. This is a random presentation on that:</div><div><br></div><div><br></div><div><br></div><div><br></div><div>There are multiple hypervisors/A653 environments in Europe.</div><div><br></div><div>I am currently working with a Deos developer to have Deos+RTEMS</div><div>meet the FACE Technical Standard. This TS is a combination of</div><div>POSIX and ARINC 653. Some partitions can have POSIX with</div><div>certain A653 services. The native A653 partitions are unmodified.</div><div>I have been on this standards body for six years representing a</div><div>customer and currently lead the Operating System Segment group.</div><div>This was our first paper which highlights the approach and plan.</div><div><br></div><div><a href="http://face.intrepidinc.com/wp-content/uploads/2016/01/DDC-I-OAR-A-Unique-Approach-to-FACE-Conformance.pdf" target="_blank">http://face.intrepidinc.com/wp<wbr>-content/uploads/2016/01/DDC-I<wbr>-OAR-A-Unique-Approach-to-FACE<wbr>-Conformance.pdf</a><br></div><div><br></div><div><br></div></div><div class="gmail_extra"><br><div class="gmail_quote"><div><div class="m_-5169607343211468675m_-7385026514907993119h5">On Thu, Aug 3, 2017 at 11:20 AM, Denis Obrezkov <span dir="ltr"><<a href="mailto:denisobrezkov@gmail.com" target="_blank">denisobrezkov@gmail.com</a>></span> wrote:<br></div></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><div class="m_-5169607343211468675m_-7385026514907993119h5"><div dir="ltr">Hello,<div><br></div><div>some time ago I worked in avionics and found out that there is</div><div>quite a big trend towards certifiable OSes. But there are quite a few</div><div>open-source systems supporting, for example, ARINC 653 interface.</div><div>So, I have a question, is it possible to implement ARINC 653 support</div><div>in RTEMS and to what extent? </div><div>I have seen that ARINC 653 support was one of the possible themes</div><div>for a GSoC project.   <span class="m_-5169607343211468675m_-7385026514907993119m_-3130619144568642088HOEnZb"><font color="#888888"><br clear="all"><div><br></div>-- <br><div class="m_-5169607343211468675m_-7385026514907993119m_-3130619144568642088m_-2211148656887632589gmail_signature" data-smartmail="gmail_signature">Regards, Denis Obrezkov</div>
</font></span></div></div>
<br></div></div>______________________________<wbr>_________________<br>
users mailing list<br>
<a href="mailto:users@rtems.org" target="_blank">users@rtems.org</a><br>
<a href="http://lists.rtems.org/mailman/listinfo/users" rel="noreferrer" target="_blank">http://lists.rtems.org/mailman<wbr>/listinfo/users</a><br></blockquote></div><br></div>
</blockquote></div><br></div>
</div></div></blockquote></div><br></div></div><div class="gmail_extra">From ARINC 653, I can see that its API is not very huge. And since I work with RISC-V</div><div class="gmail_extra">and it is designed with virtualization support in mind, I am also interested, how hard </div><div class="gmail_extra">will it be to implement a microkernel on top of RTEMS BSP?</div></div></blockquote></div></div></div><div dir="auto"><br></div><div dir="auto">It may be possible but I think the core developers and folks looking at this have tended to land on RTEMS paravirtualizsd on top of a host with VM. </div><div dir="auto"><br></div><div dir="auto">It is likely possible but how intrusive it is to the main RTEMS source is a question to be answered. This has always concerned us.</div><div dir="auto"><br></div><div dir="auto"> </div><div dir="auto"><div class="gmail_extra"><div class="gmail_quote"><blockquote class="quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="gmail_extra"><br></div><div class="gmail_extra">Also, since one of our current GSoC projects is about Couverture support, what do you </div><div class="gmail_extra">think about other related project - Frama-C? </div></div></blockquote></div></div></div><div dir="auto"><br></div><div dir="auto">I would be more than happy to see free tools like Frama-C supported in our host environment. The more bugs found this way the better. </div><div dir="auto"><br></div><div dir="auto">The challenge is ways finding someone to look at the reports. :)</div><div dir="auto"><div class="gmail_extra"><div class="gmail_quote"><blockquote class="quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="gmail_extra"><font color="#888888"><br clear="all"><div><br></div>-- <br><div class="m_-5169607343211468675gmail_signature" data-smartmail="gmail_signature">Regards, Denis Obrezkov</div>
</font></div></div>
</blockquote></div><br></div></div></div>