One major limitation is the cost. It costs lots of money to train teachers and pay them good salaries. What leading countries are doing currently might not be sustainable for the long run. Cognitive abilities also different greatly from people to people in different discipline. There is no silver bullet.
These CPUs are typically implemented as lockstep pairs on the same die. In a lockstep architecture, both CPUs execute the same operations simultaneously and their outputs are continuously compared. As a result, the failure rate associated with an undetected erroneous calculation is significantly lower than the FIT rate of an individual CPU.
Put another way, the FIT (Failure in Time) value for the condition in which both CPUs in a lockstep pair perform the same erroneous calculation and still produce matching results is extremely small. That is why we selected and accepted this lockstep CPU design
formal methods has value in safety related software. When you are developing software for airplane, rail, automobile and nuclear power station, any tools that might improve safety merit consideration.
I am not sure Android could have saved Nokia. Samsung survived in smart phone business because of their display and memory. Chinese smart phone makers was able to compete because of the enormous support from CCP. I was on another oil platform call "HTC" when Nokia platform was "burning". Eventually HTC went down too.
High hardware quality is always important but it is not enough to build a moat to stop the competition. I remember a Siemens quality manager told me the high hardware quality of Siemens's phone when HTC was building a phone for Siemens. High hardware quality did not save Siemens's phone business either.
I use to work for HTC. I was there when iPaq launched and saw the birth of first PocketPC phone, a black and white screen phone for Sagem/Mitsubishi. I would like to share my opinion on this issue of tech disruption. From my point of view, Nokia did not have enough resource and time to meet the challenge which was brought about by Apple and Google/Android. All the tech companies need at least one dominating advantage in order to survive. This dominating advantage needs to crush all challenger in that specific area. Apple has operating system. Samsung has display. Chinese phone makers have CCP. Nokia had nothing that matter. They had two choices, create one or buy one. They were not able to do either so they fade away.
All the machines have been pre assembled and tested in Taiwan. The installation should go faster than anticipated.
They try to minimize labor cost in the US. Salary and overtime pay are much lower in Taiwan so they try to use the engineering resource in Taiwan as much as possible.
Buddism has always adopt in order to stay relevant. There are many ways to achieve enlightenment. Maybe US Buddhists will find their own unique path forward.
How do they plan to get through ISO 26262 verification? You do not need to do HARA to know ECU is ASIL D. ASIL D Item requires developer to do Modified Condition and Decision Coverage. Running through all the test cases will be a huge task. The golden rule for Automobile Software is simplicity. Always keep it simple unless it is absolutely necessary. They need to read through ISO 26262 chapter 6.