Abstract: Systems and methods herein are for at least one circuit that can be associated with a host controller and that can enable a network element to perform a test of packet processing flow in a network, where instructions can be performed for different match-action tables in an order so that first instructions of the different match-action tables can generate test packets for the packet processing flow, second instructions can provide rules associated with the packet processing flow, and third instructions can perform verification of the test based on the rules under the test and using the test packets.

Abstract: A method of implementing safety mechanisms in a safety-critical system, the method comprising: receiving, at a safety mechanism configured to provide a first level of safety, a message or command from a calling process operating at second level of safety, the first level of safety having more restrictive requirements than the second level of safety; and initiating by the safety mechanism, a resultant process based on the message or command, the resultant process configured to operate at the first level of safety.

Abstract: Techniques are disclosed for the generation of automatic software tests for complex software systems, such as operating systems (OS) and/or systems that may be implemented as part of an autonomous vehicle (AV) or advanced driving assistance system (ADAS). The technique generates tests using a tool, such as a stressor, which stresses a particular system under test in multiple ways. For every run of the stressor, the functions of the system that are invoked during the test are captured. A check is then performed to determine if this set of functions corresponds to one of the test scenarios for which testing is desired. If the set of functions that were invoked matches the set of functions that defines the test, then the configuration of the stressor is stored, and this stressor configuration is considered as the test for a particular scenario.

Abstract: A method of implementing safety mechanisms in a safety-critical system, the method comprising: receiving, at a safety mechanism configured to provide a first level of safety, a message or command from a calling process operating at second level of safety, the first level of safety having more restrictive requirements than the second level of safety; and initiating by the safety mechanism, a resultant process based on the message or command, the resultant process configured to operate at the first level of safety.