Effective Automation Systems Inc. specializes in building software intensive systems, including applications in aerospace, defense, nuclear, and industrial domains. The company emphasizes a scalable approach to building these systems based on a focus of the correctness of individual subsystems and enforcing discipline in their interfaces with other subsystems. In collaboration with Lockheed Martin Advanced Technology Labs, the company developed the nVision tool-set, which uses mathematical analysis and simulation to predict response characteristics of systems composes of multiple subsystems.
