zzz95
Joined 9 years ago
Joined 9 years ago
You can always look at the latest programs - https://www.darpa.mil/work-with-us/opportunities
The people doing the actual research are independent research labs, universities, and small business. These are a combination of scientists and engineers publishing papers and taking the technology from papers to the field.
In summary, the infotainment system and the drivetrain definitely speak to each other and unless a secure architecture comes along, I would not discount the possibility of unintended interactions due to bugs. In fact, most famous car hacks start from the infotainment system and make their way into the drivetrain.
Solutions like this will increase confusion and fragment the already 'interpretation led' as opposed to definition led ZT landscape.
In non-blind proposals, pre-communication is the key.
However, it would be very interesting to see if a closer integration of symbolic and sampling methodologies is possible.
System description: Transition system like automata or a guarded command language which induces a graph.
System Property: Stated in some logic, CTL/LTL
Output: Satisfied, or Unsatisfied with a counter example (usually a path in the graph which is false).
If your problem can fit into such a framework, have a look at model checkers: https://en.wikipedia.org/wiki/List_of_model_checking_tools
[1]https://travel.state.gov/content/travel/en/legal/visa-law0/v...
[2]https://travel.state.gov/content/travel/en/legal/visa-law0/v...