http://pok.safety-critical.net/ 2012-05-20T14:19:22+00:00 http://pok.safety-critical.net/ http://pok.safety-critical.net/lib/tpl/pok/images/favicon.ico text/html 2012-05-10T16:13:00+00:00 julien http://pok.safety-critical.net/doku.php?id=faq&rev=1336666380&do=diff POK is a partitioned operating system. It provides separation functionnalities to isolate different software components. With this separation, different software components can be collocated on the same machine ensuring safety and security enforcement: text/html 2012-05-10T16:12:48+00:00 julien http://pok.safety-critical.net/doku.php?id=features&rev=1336666368&do=diff POK tries to be compliant with many standards of real-time embedded systems. At this time, we support the following standards: * ARINC653, an avionics standard for safety-critical systems. POK supports time and space partitioning to isolate different partitions. * MILS, an approach to build real-time embedded systems. Our MILS implementation relies on strong isolation of devices and partitioning services. text/html 2012-05-10T16:12:35+00:00 julien http://pok.safety-critical.net/doku.php?id=examples&rev=1336666355&do=diff This page gives some examples and case studies we made during our experiments with POK. These examples are available in POK releases, in the examples directory. They illustrate the partitioning concept of POK and how we enforce safety and security during system execution. text/html 2012-05-10T16:12:25+00:00 julien http://pok.safety-critical.net/doku.php?id=pokdownload&rev=1336666345&do=diff Before using POK, you MUST read the licence of POK. If you disagree with the licence, you MUST NOT use POK. By downloading and using POK, you are engaged to respect the licence. Public snapshots can be found on <http://download.tuxfamily.org/pok/>. There is no official release at this time. text/html 2012-05-10T16:11:51+00:00 julien http://pok.safety-critical.net/doku.php?id=installation&rev=1336666311&do=diff Requirements * A version of GCC that can create ELF binaries * GNU binutils that manipulates ELF binaries * Perl with the modules XML::LibXML and XML::XPath::XMLParser * Mtools to manipulate MS-DOS style disks (optional) * QEMU * Make Linux Assuming you use Debian/Ubuntu, you need the following packages: text/html 2012-05-10T16:11:41+00:00 julien http://pok.safety-critical.net/doku.php?id=legal&rev=1336666301&do=diff POK was designed by a large team and was based on teaching activities. The project is managed by Julien Delange and involves many people from different school and companies. You can have the list of all the people involved in the project in the documentation. text/html 2012-05-10T16:11:31+00:00 julien http://pok.safety-critical.net/doku.php?id=links&rev=1336666291&do=diff Embedded kernel * RTEMS * eCos * L4 community and the implementation of L4 : Fiasco and Pistachio. Many papers on security/safety-related microkernel could be retrieved on these websites. * <http://www.xtratum.org/>, a hypervisor for embedded and real-time systems text/html 2012-05-10T16:11:22+00:00 julien http://pok.safety-critical.net/doku.php?id=relatedwork&rev=1336666282&do=diff Commercial projects * LynxOS : OS that conforms to the ARINC653 specification * VxWorks : OS that conforms to the ARINC653 specification * PikeOS : OS that deals with the MILS security model OpenSource projects * Ocarina AADL toolsuite * RTEMS : an open source operating system, minimal. The main drawback is that it does not provide any mecanism for space and time isolation. * Topcased * Osate text/html 2012-05-10T16:11:12+00:00 julien http://pok.safety-critical.net/doku.php?id=architecturevalidation&rev=1336666272&do=diff POK configuration code can be automatically generated using AADL models. AADL models describe the overall architecture of a distributed system, including thread requirements, partitioning mechanisms and distribution specificities. Before generate configuration/deployment or application code, a validation step can be issued on architecture models. text/html 2012-05-10T16:10:56+00:00 julien http://pok.safety-critical.net/doku.php?id=wikiinstallationfrench&rev=1336666256&do=diff Note : Ce guide d'installation a été réalisé par Wassim Wehbi lors de la réalisation d'un projet concernant POK. Nous le remercions pour ces instructions détaillées. Avant de démarrer avec nos propos, il est judicieux de partager la démarche de mise en place de l’environnement de travail nécessaire pour le bon fonctionnement du noyau. Des compilateurs pour les architectures x86 et powerpc sont nécessaire, et, munis du simulateur QEMU pour x86 nous pourrions mettre au point notre implémentation.… text/html 2012-05-10T16:10:40+00:00 julien http://pok.safety-critical.net/doku.php?id=wikibuildleontoolchain&rev=1336666240&do=diff This has been done on Linux. At this time, the SPARC toolchain does not work on Windows. The target is sparc-elf. So, you have to build binutils and gcc for this target. First, build and install binutils. Then, compile gcc. It has been tested with the following versions : text/html 2012-05-10T16:10:05+00:00 julien http://pok.safety-critical.net/doku.php?id=wikibuildppctoolchain&rev=1336666205&do=diff This has been done on Linux and Mac OS X. At this time, the PowerPC toolchain does not work on Windows. The target is powerpc-elf. So, you have to build binutils and gcc for this target. First, build and install binutils. Then, compile gcc. It has been tested with the following versions : text/html 2012-05-10T16:09:07+00:00 julien http://pok.safety-critical.net/doku.php?id=support&rev=1336666147&do=diff We provide commercial support through our expert network on safety-critical website. You can contact us on the following address, describe the type of support you would like to get. You can also contact us directly the POK community by using this link. text/html 2012-03-26T04:44:57+00:00 wikihelp007 http://pok.safety-critical.net/doku.php?id=poktools&rev=1332737097&do=diff Als modernes Videospiel jedoch im klassischen Slot Game Design, lädt Book of Ra leidenschaftliche Spieler so wie genauso auch Neueinsteiger auf drei Gewinnwalzen zum zocken ein. Hier triffst du nämlich nicht gleich fünf, sondern nur auf 3 Gewinn Walzen.Fünf Gewinnlinien sind ein Garant dafür, dass sich schon bald die Spielgewinne zeigen. Book of Ra gehört absolut zu den meist gespielten Casinospielen auf der Welt und ist bekannt für seine ausgesprochen tollen Gewinnchancen und Gewinnmöglichkeite… text/html 2012-03-25T23:41:47+00:00 wikihelp007 http://pok.safety-critical.net/doku.php?id=pokprojects&rev=1332718907&do=diff Modern jedoch im alt gewohnten Slotgame Design, lädt Novoline Book of Ra online spielen online leidenschaftliche Spieler wie auch Interessierte auf insgesamt 3 Gewinnwalzen zum daddeln ein. Hier triffst du nämlich nicht auf gleich 5, sondern lediglich auf drei Spielwalzen.Fünf Gewinn Reihen sind die Sicherheit die man hat, dass sich schnell die hohen Twist Gewinne einstellen werden. Zum Glück ist der Slot Automat Novoline Book of Ra online spielen nach langer Zeit endlich bei Sun Maker online sp… text/html 2012-03-25T22:23:15+00:00 wikihelp007 http://pok.safety-critical.net/doku.php?id=design&rev=1332714195&do=diff Modern jedoch im alt gewohnten Slot Spiel Design, lädt Novoline Book of Ra spielen überzeugte Zocker so wie auch Neueinsteiger auf drei Walzen zum spielen ein. Sein Glück kann man beim Book of Ra online spielen spielen auf insgesamt fünf Gewinn Linien herausfordern. Bei Novoline Book of Ra online spielen handelt sich es um eines der bekanntesten Slotgames von Novoline. Umso besser, dass du Book of Ra online spielen online darfst und kannst – ohne Pause, den ganzen Tag wo und wann du möchtest.… text/html 2012-02-18T19:07:47+00:00 julien http://pok.safety-critical.net/doku.php?id=pokdocumentation&rev=1329592067&do=diff There are a set of slides about different topics around POK : system specification, code generation and so on. Does not hesitate to contact us for more information about these documents. * [Introduction to the POK project] * [The ways to specify system requirements (either by AADL or XML files] * [Code Generation patterns used by Ocarina to generate code that targets POK Operating System] * [Validation and Certification tools for POK] * [Overview of the POK Operating System] text/html 2010-03-24T13:21:55+00:00 julien http://pok.safety-critical.net/doku.php?image=05-pok-training-pok-os.pdf&ns=&rev=1269436915&tab_details=history&mediado=diff&do=media text/html 2010-03-24T13:21:39+00:00 julien http://pok.safety-critical.net/doku.php?image=04-pok-training-validation-certification.pdf&ns=&rev=1269436899&tab_details=history&mediado=diff&do=media text/html 2010-03-24T13:21:23+00:00 julien http://pok.safety-critical.net/doku.php?image=03-pok-training-code-generation.pdf&ns=&rev=1269436883&tab_details=history&mediado=diff&do=media