Abstract: The invention relates to an authentication device intended to be used with an electronic device comprising a screen and a radio transceiver, the authentication device being characterised in that it comprises a light receiver, disposed on a face of the authentication device intended to be placed facing the screen, a radio transceiver and a memory comprising an encryption key, the authentication device being adapted to receive, via the light receiver, and decode an identification light signal emitted by the screen, the identification light signal encoding a message comprising identification information, broadcasting the identification information via its radio transceiver, receiving, via its radio transceiver, a request to establish a connection from the electronic device and establishing the connection, receiving, via the connection established, a message comprising information to be encrypted, encrypting said information using the encryption key and sending a message to the electronic device, the message comp

Abstract: The invention relates to an authentication device intended to be used with an electronic device comprising a screen and a radio transceiver, the authentication device being characterised in that it comprises a light receiver, disposed on a face of the authentication device intended to be placed facing the screen, a radio transceiver and a memory comprising an encryption key, the authentication device being adapted to receive, via the light receiver, and decode an identification light signal emitted by the screen, the identification light signal encoding a message comprising identification information, broadcasting the identification information via its radio transceiver, receiving, via its radio transceiver, a request to establish a connection from the electronic device and establishing the connection, receiving, via the connection established, a message comprising information to be encrypted, encrypting said information using the encryption key and sending a message to the electronic device, the message comp

Abstract: A method for detecting a potential race condition is provided comprising the steps of identifying a memory access in a source code segment, the source code segment being executable in any one of a plurality of execution threads; searching backward from the memory access through each of the plurality of threads for an assert protection declaration without any intervening deassert protection declaration, and identifying the potential race condition if the assert protection declaration without any intervening deassert protection declaration was not found in each of the plurality of threads; and searching forward from the memory access through each of the plurality of threads for the deassert protection declaration, and identifying the potential race condition if the deassert protection declaration was not found in each of the plurality of threads.

Abstract: A method for configuring a plurality of operating systems is provided. A set of dependencies is found based on an application and an operating system configuration for a first operating system of a plurality of operating systems. Based on the set of dependencies as well as user-selected options and parameters, a set of components is located. The first operating system is created by adding the set of components to a kernel of the first operating system. The above steps are repeated for each of the operating systems.

Abstract: A computer system and method for operating a computer system is provided which comprises a core operating system and a system space having a number of memory locations. The core operating system is arranged to create a number of protection domains to partition the system space into a core operating system space and a plurality of partitions. A partition operating system, a partition user application, and a partition alarm handler is provided in each partition. Each partition operating system provides resource allocation services to the respective partition user application within the partition. An alarm dispatcher and a system alarm handler is provided in the core operating system space. The alarm dispatcher is configured to receive alarms and to dispatch the alarms to one of the alarm handlers.

Abstract: A computer system and method for operating a computer are provided which includes a core operating system and a system space having a number of memory locations. The core operating system is arranged to create a number of protection domains to partition the system space into a core operating system space and a plurality of partitions. A partition operating system and a partition user application is provided in each partition, and each partition operating system provides resource allocation services to the respective partition user application within the partition. The system also includes an interpartition communication system. The interpartition communication system interacts with the core operating system and each partition operating system to deliver messages between partitions.

Abstract: A computer system and method for operating a computer system is provided which comprises a core operating system and a system space having a number of memory locations. The core operating system is arranged to create a number of protection domains to partition the system space into a core operating system space and a plurality of partitions. A partition operating system, a partition user application, and a partition alarm handler is provided in each partition. Each partition operating system provides resource allocation services to the respective partition user application within the partition. An alarm dispatcher and a system alarm handler is provided in the core operating system space. The alarm dispatcher is configured to receive alarms and to dispatch the alarms to one of the alarm handlers.

Abstract: A method for configuring a plurality of operating systems is provided. A set of dependencies is found based on an application and an operating system configuration for a first operating system of a plurality of operating systems. Based on the set of dependencies as well as user-selected options and parameters, a set of components is located. The first operating system is created by adding the set of components to a kernel of the first operating system. The above steps are repeated for each of the operating systems.

Abstract: A method for detecting a potential race condition is provided comprising the steps of identifying a memory access in a source code segment, the source code segment being executable in any one of a plurality of execution threads; searching backward from the memory access through each of the plurality of threads for an assert protection declaration without any intervening deassert protection declaration, and identifying the potential race condition if the assert protection declaration without any intervening deassert protection declaration was not found in each of the plurality of threads; and searching forward from the memory access through each of the plurality of threads for the deassert protection declaration, and identifying the potential race condition if the deassert protection declaration was not found in each of the plurality of threads.