Tools For The Design Of Fault Management Systems

We present design and verification tools that can be used to design fault management systems. The tools are applied rewards design of Automated Highway Systems. The tools discussed include fault diagnosis tools and design verification tools. We also present a methodology that can be used for integration of these tools to obtain a uniform fault management design framework.