Abstract: Systems and techniques are provided for testing software nodes. An example method can determine respective contracts between nodes of an operating system of a computer, the nodes including provider nodes and consumer nodes; generate, based on the respective contracts, one or more provider node proxies and one or more consumer node proxies; generate one or more first messages between the one or more provider nodes or the one or more provider node proxies and the one or more consumer node proxies or the one or more consumer nodes; generate one or more second messages between the one or more consumer nodes or the one or more consumer node proxies and the one or more provider node proxies or the one or more provider nodes; and determine, based on the one or more first messages and/or the one or more second messages, a state of one or more contracts of the respective contracts.

Abstract: Various technologies described herein pertain to autonomous vehicle consumption of real-time public transportation data to guide curb access and usage. An autonomous vehicle receives a trip request for a ride specifying a requested pullover location. The autonomous vehicle receives public transportation data specifying an expected arrival time of a public transportation vehicle at a reserved zone within proximity of the requested pullover location. The autonomous vehicle evaluates availability of the reserved zone during an expected occupancy time of the reserved zone by the autonomous vehicle based on the expected arrival time of the public transportation vehicle at the reserved zone. The autonomous vehicle selects an actual pullover location for the ride in the autonomous vehicle based on the availability of the reserved zone during the expected occupancy time. The autonomous vehicle stops at the actual pullover location for the ride in the autonomous vehicle.

Abstract: Various technologies described herein pertain to autonomous vehicle consumption of real-time public transportation data to guide curb access and usage. An autonomous vehicle receives a trip request for a ride specifying a requested pullover location. The autonomous vehicle receives public transportation data specifying an expected arrival time of a public transportation vehicle at a reserved zone within proximity of the requested pullover location. The autonomous vehicle evaluates availability of the reserved zone during an expected occupancy time of the reserved zone by the autonomous vehicle based on the expected arrival time of the public transportation vehicle at the reserved zone. The autonomous vehicle selects an actual pullover location for the ride in the autonomous vehicle based on the availability of the reserved zone during the expected occupancy time. The autonomous vehicle stops at the actual pullover location for the ride in the autonomous vehicle.