FOOD用于Cruise控制系统设计的研究

将函数式面向对象设计工具FOOD用于Cruisc控制系统的设计,从而证实了这种工具用于实时系统设计是可行的,并指出在这一方面可能遇到的问题及进一步研究的方向。