Controller specifications developed within a simulation tool not only convey the control algorithm flow, but, are also executable allowing the designer to verify whether the design actually meets the requirements. Such Executable Specifications can be implemented in a variety of commercial off-the-shelf simulation tools in the market. There is an added advantage to this approach in the sense that once the performance is verified using Requirements driven test cases, embedded software can be automatically generated from the models. Tools that can generate embedded software from the Executable Specifications (models) are becoming very good and are being increasingly adopted by the industry. Emmeskay has supported a number of its customers' product programs by developing and testing control strategy as model-based Executable Specifications. As part of this control system development activity, Emmeskay's Executable Specifications adhere to modeling standards (such as MAAB and J-MAAB style standards) adopted by the industry. Emmeskay uses Style Checking tools and structured validation processes to ensure that the resulting control strategy and the embedded software are of high quality. Emmeskay's experience in the area of Executable Specifications Development span all aspects of Vehicle that use Electronic Embedded Systems. We can jump start your controller design activity with our experienced engineers and we will support the deployment of scalable controller development processes.