Japanese trains are also a great example of high-assurance system development in action. If you have IEEE or ACM, you can read a personal account of each of the

Japanese trains are also a great example of high-assurance system development in action. If you have IEEE or ACM, you can read a personal account of each of the stages they went through for the control systems: https://ieeexplore.ieee.org/document/1173109/ https://ieeexplore.ieee.org/document/1173109/ There's also some other papers that go into detail on specific techs or rollouts: https://www.researchgate.net/publication/3925287_Adaptive_step-by-step_construction_technique_achieving_high_assurance_for_Tokyo_Metropolitan_railway_network https://www.researchgate.net/publication/3925287_Adaptive_st... https://ieeexplore.ieee.org/document/5207329/ https://ieeexplore.ieee.org/document/5207329/ https://dl.acm.org/citation.cfm?id=1262517 https://dl.acm.org/citation.cfm?id=1262517