http://pok.safety-critical.net/ 2012-05-20T14:21:00+00:00 http://pok.safety-critical.net/ http://pok.safety-critical.net/lib/tpl/pok/images/favicon.ico text/html 2008-08-02T21:07:09+00:00 http://pok.safety-critical.net/doku.php?id=architectures&rev=1217711229&do=diff At this time, we only support the x86 architecture. However, we plan to port our kernel on other architectures. Visit our project page for further information. text/html 2012-05-10T16:11:12+00:00 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 2008-10-28T18:27:12+00:00 http://pok.safety-critical.net/doku.php?id=basicusage&rev=1225218432&do=diff Build your first partitioned system using POK You can experience POK with the examples provided in the examples directory. Download the POK distribution, uncompress it and go to sources. Issue make configure to configure your system and check that all required software is installed. Then, go to the examples/partitions-threads directory and issue make clean all install run. You should have a QEMU emulator that executes your partitioned system. text/html 2008-10-28T18:18:03+00:00 http://pok.safety-critical.net/doku.php?id=bugreport&rev=1225217883&do=diff To report bugs, please send an email to the the following mailing-list: pok-devel well-known at sign listes.enst.fr. Please provide information as more as possible in your mail, especially he following things: * The compiler you use (version, build, ...) * The emulator you use to run POK. * Instructions that cause problems. text/html 2009-08-12T14:33:28+00:00 http://pok.safety-critical.net/doku.php?id=contact&rev=1250087608&do=diff * For information about development of POK, you can send an email to the developer mailing-list. * For information about the use of POK, you can send an email to the POK community mailing-list. * For other request, please send a mail to delange at enst dot fr. text/html 2009-07-15T14:51:38+00:00 http://pok.safety-critical.net/doku.php?id=debug&rev=1247669498&do=diff You can plug gdb with QEMU. For that, invoke QEMU like that : qemu -fda floppy.img -boot a -S -s -p 1234 Then, start gdb with gdb kernel-binary.elf and then, connect gdb to the VM with target remote :1234 Then, resume the VM. text/html 2011-01-31T20:47:08+00:00 http://pok.safety-critical.net/doku.php?id=demoarincmiddlewarequeueing&rev=1296506828&do=diff In this demonstration, we automatically implement an ARINC653 system by an Model-Based development process. In particular we: * Model the system using the TOPCASED modeling framework. We define the architecture using the Architecture Analysis and Design Language * Validate the architecture using Ocarina/Real * Automatically generate the code from the AADL models using Ocarina * Compiles the generated code against POK * Simulate the system using an emulator like QEMU. text/html 2012-01-09T22:55:46+00:00 http://pok.safety-critical.net/doku.php?id=demoarincthreads&rev=1326149746&do=diff E Zigaretten rauchen soll nicht erkrankent sein. Hier gehts weiter e Zigarette Gesundheit ! E-Fluppen sollen sehr gesund sein. Genau deswegen kann man es mal versuchen. In this demonstration, we automatically implement an ARINC653 system by an Model-Based development process. In particular we: text/html 2012-03-25T22:23:15+00:00 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-05-10T16:12:35+00:00 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:13:00+00:00 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 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 2011-01-31T20:48:28+00:00 http://pok.safety-critical.net/doku.php?id=home&rev=1296506908&do=diff POK is a real-time embedded operating system for safety-critical systems (avionics, aerospace and so on). It provides several functionalities and complies with many industrial standards, such as ARINC653 or POSIX. POK was designed to be used in safety-critical systems as well as in public systems. text/html 2012-05-10T16:11:51+00:00 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-01-10T04:29:08+00:00 http://pok.safety-critical.net/doku.php?id=integratedexample&rev=1326169748&do=diff Elektrisch rauchen kann nicht nicht geruchlos sein. Hier wird dir weiter geholfen ( E Zigarette ab 18 ) ! E-Kippen sind auf dem Vormarsch. Deshalb kannst du es ja mal versuchen. [Integrated avionics case-study] To demonstrate that we can use POK for real avionics architecture, we use an AADL model made by the Software Engineering Institute and converts it to make it working with Ocarina and POK. You can find the original model on this page. text/html 2008-10-24T19:33:40+00:00 http://pok.safety-critical.net/doku.php?id=introduceverifications&rev=1224876820&do=diff You can automatically check some properties or requirements of your system using our POK tools. In fact, you can build your system using the AADL language. This language provides facilities to model the architecture of your system with its properties and its requirements. We can analyze your models and detect security breakage or safety issues. text/html 2009-11-09T18:52:07+00:00 http://pok.safety-critical.net/doku.php?id=introduction&rev=1257792727&do=diff POK is a partitioned operating system focused on safety and security. It relies on a minimalist kernel for real-time embedded systems. The kernel has a microkernel architecture and complies with many industrial standards (like ARINC653). It provides time and space partitioning to run different applications that have different levels of safety or security. text/html 2012-05-10T16:11:41+00:00 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 2008-08-02T20:50:48+00:00 http://pok.safety-critical.net/doku.php?id=libpok&rev=1217710248&do=diff Libpok is a runtime dedicated for each partition. It has a set of functionnalities to use kernel legacy services (thread creation, extra-partition communications and so on). For each partition, we can tune and modify the services of the libpok. It reduces the memory overhead for each partition. text/html 2012-05-10T16:11:31+00:00 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-01-10T06:40:24+00:00 http://pok.safety-critical.net/doku.php?id=lists&rev=1326177624&do=diff E-Zigarette rauchen sollte nicht schädlich sein. Noch einiges zum Thema hier -> ( E Zigarette Shop ) ! Elektro Zigaretten sollen sehr gesund sein. Genau deswegen kann man es mal versuchen. We have two mailing-list to get feedback from our users and communicate between developers. These lists are kindly hosted by the ENST. text/html 2012-02-15T11:38:06+00:00 http://pok.safety-critical.net/doku.php?id=milsexample&rev=1329305886&do=diff Leider viel zu lang waren die aus Bars bekannten Novo Line Slotgames im Web nicht verfügbar und es gab nur ärmliche Kopien und Klone. Aber jetzt kann man die Novoline Originale auch online spielen. Novoline Slots kostenlos testen. Book of Ra online spielen bei Stargames und Novoline Anleitung für jedermann! Auch: Slot Games und weitere Games! Spielen sie die bekannten Novoline Automatenspiele auch in online Casinos. Holen Sie sich Ihren 100 Euro Novoline Gratis Bonus. Meld dich, am besten gleich… text/html 2012-02-15T10:13:20+00:00 http://pok.safety-critical.net/doku.php?id=modelsrules&rev=1329300800&do=diff Novo Line Slot Games sind einfach nur beliebt. Etliche Spielbanken versorgen sich seit Jahren mit den fantastischen Gewinnautomaten, welche nicht nur bunt und witzig aussehen, sondern auch unterhaltsam sind. Die begehrten Novoline Spiel Automaten sind seit kurzem auch online spielbar. Erfahre bei uns was genau für Vorteile Du bei Novo Line Games online daddeln hast. Für alle Slotgame Liebhaber gibt es das Book of Ra Download im Netz zum Nulltarif. Hiermit kann man das allseits begehrte Novo Line… text/html 2008-11-20T03:04:38+00:00 http://pok.safety-critical.net/doku.php?id=modules&rev=1227150278&do=diff You can also visit our next improvements on pok on this page. Status of POK kernel * Space isolation : done * Time isolation : done * Scheduling policies inside partition : 10% * Exception handler : 20% * Extra-partition communication : 70% text/html 2011-12-04T13:41:33+00:00 http://pok.safety-critical.net/doku.php?id=news&rev=1323006093&do=diff * 04/12/2011: POK users: if you plan to use POK with the Ocarina AADL toolsuite, please make sure you use the appropriate toolchain available at the TASTE sources repository, sources and binaries available on TELECOM Paristech are no longer supported. More information in the FAQ, installation instructions are also available here. * 15/09/2011: POK will be presented by Laurent Lec and Julien Delange at the Real Time Linux Workshops organized by the Open Source Automation Development Lab. Full … text/html 2012-01-10T05:03:36+00:00 http://pok.safety-critical.net/doku.php?id=oldhome&rev=1326171816&do=diff E Zigaretten rauchen soll nicht ekelhaft sein. Hier wird dir weiter geholfen [ e Zigarette Gesundheit ]... Elektrische Zigaretten sind total in. Deshalb teste es doch einfach mal. POK is a partitioned AADL runtime compliant with partitioned standards and initiatives such as ARINC653 or MILS. It provides strong isolation services to separate partition in term in space and time. It has a fine-grained configuration and each resource or functionnality can be tuned. Moreover, it could be us… text/html 2012-01-10T03:30:43+00:00 http://pok.safety-critical.net/doku.php?id=people&rev=1326166243&do=diff Elektro rauchen hat nicht gefährlich sein. Und dazu mehr hier ( e Zigarette Preisvergleich ) ! E-Fluppen sind total angesagt! Deshalb kannst du es ja mal versuchen. Main developers * Julien Delange (design, libpok, most of core services of the kernel, POK tools) text/html 2012-02-15T12:33:29+00:00 http://pok.safety-critical.net/doku.php?id=pokconfiguration&rev=1329309209&do=diff Elektrisches rauchen muss nicht nicht geruchlos sein. Hier wird dir weiter geholfen e zigarette Depots ! Elektrische Zigaretten sind total angesagt! Genau deswegen sollte sich jeder schlau machen. Da darf ehrlich gesagt auch Double Triple Chance erwähnt sein – das Glücksspiel mit den üppigen Gewinnmöglichkeiten und dem wunderbaren Rewin Feature. Besonders dieses Feature kann dir ohne großes Risiko ertragreiche Gewinne einfahren. Ein Einsatz genügt, um mit ein wenig Fortune einen Vollbil… text/html 2012-02-18T19:07:47+00:00 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 2012-05-10T16:12:25+00:00 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 2008-08-02T20:47:27+00:00 http://pok.safety-critical.net/doku.php?id=pokkernel&rev=1217710047&do=diff The kernel is responsible to enforce isolation among partitions. It handles clock interrupts, partitions, threads and communications for extra-partition communications. The kernel is small (about 1000 lines of code for the core services, arch-dependent code not included) so we could envisage to perform verification on fundamental services. text/html 2012-02-15T14:37:02+00:00 http://pok.safety-critical.net/doku.php?id=poklicence&rev=1329316622&do=diff Registrier dich, am besten gleich in der Merkur Online Spielbank und fang an, Double Triple Chance online zu daddeln! Wenn man sich die Walzenspiele ansieht, dann muß man erkennen, kein andres macht Triple Chance in irgendeiner Art Konkurrenz, wenn man sich die Gewinnchancen betrachtet. Aufgrund der tollen Möglichkeiten zu gewinnen, gehört Triple Chance online zu den absoluten Lieblings Walzenspielen. Völlig egal, wie gelangweilt oder gestresst ich von meinem Job bin, Merkur Triple Chance onlin… text/html 2012-03-25T23:41:47+00:00 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-02-15T11:22:32+00:00 http://pok.safety-critical.net/doku.php?id=poktoolchain&rev=1329304952&do=diff Slots von Novoline gehören in Deutschland zu den aufregendsten Spielautomaten in Spielos, Spielbanken und Bistros. Bei uns kannst du die aufregenden Videoslots von Novoline in Web spielen. Die echten Novolinespiele kannst Du nun auch online zocken. Erfahre auf folgender Seite mehr zum Betreiber, Novoline Tricks und wie Du Novoline Automaten online spielen kannst. Wenn ich für mich, Merkur Double Triple Chance online spiel, kann ich richtig geil aus meinem Alltagsstress fliehen und tauche ein mei… text/html 2012-03-26T04:44:57+00:00 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-05-10T16:11:22+00:00 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-02-15T10:40:59+00:00 http://pok.safety-critical.net/doku.php?id=sourceorga&rev=1329302459&do=diff Hier und jetzt Novo Line Spielautomaten online daddeln im WWW. Die aktuellsten Novoline Spiel Automaten wie Book of Ra oder Magic Princess alle zum Download als PC Version. Novo Line Slotspiele wie beispielsweise Novoline Book of Ra deluxe und Mermaids Pearl findest Du jetzt auch online im der Casino Lobby. Bei uns sagen wir Dir wo Du die Novoline Automaten zocken kannst. Novoline Automaten gratis testen. Bookofra im Web spielen bei Stargames und Novoline Tricks für jedermann! Auch: Merkur Games… text/html 2012-05-10T16:09:07+00:00 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 2010-01-13T15:07:12+00:00 http://pok.safety-critical.net/doku.php?id=testingleon3&rev=1263395232&do=diff First, download the tsim simulator on the gaisler website. Then, when you configure POK, it should detect if tsim is in your PATH variable. If everything is fine, the make run command target in generated example would invoke tsim with the appropriate arguments. text/html 2012-01-10T00:07:08+00:00 http://pok.safety-critical.net/doku.php?id=wiki&rev=1326154028&do=diff This is the wiki space of POK. This wiki contains unofficial informations about POK. Public access is allowed and users can add their own relevant information to help the POK community. Dampfen muss nicht erkrankent sein. Klick bitte hier -> [ E-Zigarette ]... e-Zigaretten sind total angesagt! Deshalb kannst du es ja mal versuchen. text/html 2009-05-04T15:04:32+00:00 http://pok.safety-critical.net/doku.php?id=wikiarinc653&rev=1241449472&do=diff The part 3 of the ARINC653 standard describes a testsuite to check the compliance of an operating system. We try to make POK compatible with the ARINC653 standard and shows the correctness of the implementation. At this time, the following tests were validated : text/html 2012-05-10T16:10:40+00:00 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 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 2009-05-13T12:47:12+00:00 http://pok.safety-critical.net/doku.php?id=wikicodecoverage&rev=1242218832&do=diff Check the code coverage is an important issue. The goal of code coverage consist in verifying that every statement of the code is taken and every condition was tested. By doing that, we ensure that: * No dead code is included in the application * Every statement/decision was tested text/html 2009-05-04T09:47:58+00:00 http://pok.safety-critical.net/doku.php?id=wikiformalverification&rev=1241430478&do=diff FIXME text/html 2012-05-10T16:10:56+00:00 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.…