Control and Analysis Software Specification