A Newly Developed Safety-Critical Computer System for China Metro.
Xiangxian ChenGongshuang ZhouYi YangHai HuangPublished in: IEEE Trans. Intell. Transp. Syst. (2013)
Keyphrases
- computer systems
- newly developed
- safety critical
- formal methods
- fault tolerant
- agent architecture
- safety analysis
- data processing
- nuclear power plant
- embedded systems
- hardware and software
- operating system
- computing systems
- support systems
- recently developed
- information systems
- computer architecture
- regulatory requirements
- adaptive systems
- data management
- software engineering
- user interface