Development of real-time data acquisition system software using formal OOA methods and user tailored code generation

The new data acquisition system software for neutron scattering instruments at the Lujan Neutron Scattering Center at the Los Alamos Neutron Science Center is being developed using formal object oriented analysis and design methods (Shlaer-Mellor OOA/RD) in conjunction with automatic code generation. The use of rigorous models with code generation guarantees that requirements and design models are in step with the code and allows many development and maintenance activities to take place at a relatively high level of abstraction free of concern for the implementation details of a particular coding language