Abstract: The avionic system of an aircraft includes a set of avionic computers and a switch associated with each avionic computer. For each avionic computer of the set of avionic computers, the avionic system includes a communication link between the switch associated with this avionic computer and each of the switches associated with the other avionic computers. Each switch is configured such that it routes the data frames received on its input ports to its output ports in a manner predefined only on the basis of the input ports on which these data frames are received. The various switches are configured such that, when an avionic computer sends a data frame, this data frame is transmitted to all of the other avionic computers.

Abstract: The avionic system of an aircraft includes a set of avionic computers and a switch associated with each avionic computer. For each avionic computer of the set of avionic computers, the avionic system includes a communication link between the switch associated with this avionic computer and each of the switches associated with the other avionic computers. Each switch is configured such that it routes the data frames received on its input ports to its output ports in a manner predefined only on the basis of the input ports on which these data frames are received. The various switches are configured such that, when an avionic computer sends a data frame, this data frame is transmitted to all of the other avionic computers.

Abstract: System and method to generate automatically a compact application code suitable for taking advantage of the intrinsic power of processors. The system can generate the application code executable by a processor from a formal specification associated with an application, the formal specification including operators, and the system including an analyzer to code each operator of the formal specification by a corresponding operation code followed by a minimum number of input code(s) and output code identifying input and output parameters associated with the operator, thus automatically generating a compact application code suitable for being stored in a memory associated with the processor and for being executed by an interpreter of the processor.

Abstract: A communication network on board a vehicle is a deterministic switched Ethernet network using virtual links, which includes a set of links, a set of subscribers and at least one switch containing a static configuration table that can be configured according to virtual links passing through this switch. This switch is integrated in a subscriber from the set of subscribers and is connected to the subscriber so as to enable communications between the subscriber and at least one other subscriber of the communication network. The switch includes at least three external communication ports (PE1, PE2, PE3) and the communication network is configured according to a mesh topology such that this switch is connected to at least three other entities corresponding to subscribers and/or switches of the communication network.

Abstract: System and method to generate automatically a compact application code suitable for taking advantage of the intrinsic power of processors. The system can generate the application code executable by a processor from a formal specification associated with an application, the formal specification including operators, and the system including an analyzer to code each operator of the formal specification by a corresponding operation code followed by a minimum number of input code(s) and output code identifying input and output parameters associated with the operator, thus automatically generating a compact application code suitable for being stored in a memory associated with the processor and for being executed by an interpreter of the processor.

Abstract: A communication network on board a vehicle is a deterministic switched Ethernet network using virtual links, which includes a set of links, a set of subscribers and at least one switch containing a static configuration table that can be configured according to virtual links passing through this switch. This switch is integrated in a subscriber from the set of subscribers and is connected to the subscriber so as to enable communications between the subscriber and at least one other subscriber of the communication network. The switch includes at least three external communication ports (PE1, PE2, PE3) and the communication network is configured according to a mesh topology such that this switch is connected to at least three other entities corresponding to subscribers and/or switches of the communication network.

Abstract: A packet switching network including subscriber stations connected to each other through at least one switch, which has a behavior defined as deterministic in that any packet sent on the network from a source subscriber station joins the destination subscriber station(s) within a limited time.

Abstract: A packet switching network including subscriber stations connected to each other through at least one switch, which has a behavior defined as deterministic in that any packet sent on the network from a source subscriber station joins the destination subscriber station(s) within a limited time.

Abstract: A process and system for evaluating the deterministic behavior of a packet switching network including subscriber stations connected to each other through at least one switch, the behavior defined as deterministic if any packet sent on the network from a source subscriber station joins the destination subscriber station(s) within a limited time.

Abstract: The invention relates to a process for checking the deterministic behavior of a packet switching network comprising subscriber stations connected to each other through at least one switch, this behavior being said to be deterministic in the sense that every packet sent on the network from a source subscriber station joins the destination subscriber station(s) within a limited time, characterized in that the following relation is satisfied for each output port on each switch on the network: ? ? [ 1 + int ? ( ( Jitter ? ? In ) i ? i + max ? ? Latency BAGi ) ] * ( max ? ? ? frame ? ? duration ) ? max ? ? latency i = number ? ? of ? ? virtual ? ? links ? ? passing ? ? through ? ? the ? ? buffer in which: the max latency value is the maximum residence time in the output buffer of a switch, this value may be different for each switch in the network.

Abstract: A process for implementing a redundant switched full-duplex Ethernet type communication network including at least two independent elementary networks, each elementary network including at least one source subscriber equipment and at least one destination subscriber equipment, connected to each other through at least one physical link through at least one switch, each equipment being connected to each of these elementary networks. The process performs a frame by frame redundancy on each elementary network.

Abstract: A redundant switched full-duplex Ethernet type communication network including at least two independent elementary networks, each elementary network including at least one source subscriber equipment and at least one destination subscriber equipment, connected to each other through at least one physical link through at least one switch, each equipment being connected to each of these elementary networks. A control performs a frame by frame redundancy on each elementary network.

Abstract: A switched full-duplex Ethernet type communication network including at least one source subscriber equipment and at least one destination subscriber equipment connected to each other through at least one physical link through at least one switch and at least one virtual link, which is the conceptual representation of a link from a source equipment to at least one destination equipment. Each equipment transmitting Ethernet frames segregates between virtual links and allocation of a passband for each virtual link and multiplexes virtual links on the physical link output from this equipment. Each transmitted frame has a field that identifies the virtual link to which it belongs.

Abstract: The invention relates to a process for implementation of a redundant switched full-duplex Ethernet type communication network comprising at least two independent elementary networks, each elementary network (RE1, RE2) comprising at least one source subscriber equipment and at least one destination subscriber equipment, connected to each other through at least one physical link through at least one switch, each equipment being connected to each of these elementary networks (RE1, RE2) in which a frame by frame redundancy is made on each elementary network.

Abstract: A process for controlling a switched full-duplex Ethernet type communication network including at least one source subscriber equipment and at least one destination subscriber equipment connected to each other through at least one physical link through at least one switch and at least one virtual link, which is the conceptual representation of a link from a source equipment to at least one destination equipment. In the process each equipment transmitting Ethernet frames segregates between virtual links and allocates a passband for each virtual link and multiplexes virtual links on the physical link output from this equipment. Each transmitted frame has a field that identifies the virtual link to which it belongs.

Abstract: This invention describes a switched full-duplex Ethernet type communication network comprising at least one source subscriber equipment (13) and at least one destination subscriber equipment (14) connected to each other through at least one physical link through at least one switch and at least one virtual link (VL), which is the conceptual representation of a link from a source equipment (13) to at least one destination equipment (14), in which each equipment transmitting Ethernet frames comprises: means of segregation between virtual links and allocation of a passband for each virtual link, means of multiplexing virtual links on the physical link output from this equipment, each transmitted frame having a field that identifies the virtual link to which it belongs.

Abstract: A switched full-duplex Ethernet type communication network including at least one source subscriber equipment and at least one destination subscriber equipment connected to each other through at least one physical link through at least one switch and at least one virtual link, which is the conceptual representation of a link from a source equipment to at least one destination equipment. Each equipment transmitting Ethernet frames segregates between virtual links and allocation of a passband for each virtual link and multiplexes virtual links on the physical link output from this equipment. Each transmitted frame has a field that identifies the virtual link to which it belongs.

Abstract: A redundant switched full-duplex Ethernet type communication network including at least two independent elementary networks, each elementary network including at least one source subscriber equipment and at least one destination subscriber equipment, connected to each other through at least one physical link through at least one switch, each equipment being connected to each of these elementary networks. A control performs a frame by frame redundancy on each elementary network.

Abstract: A process for implementing a redundant switched full-duplex Ethernet type communication network including at least two independent elementary networks, each elementary network including at least one source subscriber equipment and at least one destination subscriber equipment, connected to each other through at least one physical link through at least one switch, each equipment being connected to each of these elementary networks. The process performs a frame by frame redundancy on each elementary network.

Abstract: A process for controlling a switched full-duplex Ethernet type communication network including at least one source subscriber equipment and at least one destination subscriber equipment connected to each other through at least one physical link through at least one switch and at least one virtual link, which is the conceptual representation of a link from a source equipment to at least one destination equipment. In the process each equipment transmitting Ethernet frames segregates between virtual links and allocates a passband for each virtual link and multiplexes virtual links on the physical link output from this equipment. Each transmitted frame has a field that identifies the virtual link to which it belongs.