Abstract: A method of generating code for deploying on a target emulation platform for the emulation of at least an aspect of a hybrid system. The method includes receiving, retrieving or generating input hybrid automata (HA) data indicative of one or more hybrid automata models representing at least an aspect of the hybrid system. The input hybrid automata (HA) data are processed to statically determine whether each hybrid automata model satisfies one or more predefined well-formedness criteria to qualify as well-formed hybrid automata (WHA) models. The method transforms the well-formed hybrid automata (WHA) models into corresponding respective synchronous hybrid automata (SHA) models, and generates emulation code for deployment onto a target emulation platform based on the synchronous hybrid automata (SHA) models so an aspect or aspects of the hybrid system can be emulated on the target emulation platform in a semantic preserving manner.

Abstract: A computer system and process is provided to generate computer programming code, such as in a Software Development Kit (SDK). The SDK generated allows an application to use a given API. An API description interface of the system is operable to receive API-description code describing one or more endpoints of the API. A template interface is operable to receive one or more templates of code defining classes and/or functions in a programming language which can be selected by the selection of a set of templates. A data store is operable to use a defined data structure to store records of API description code to provide a structured stored description of the API. A code generation module is operable to combine records of API with templates of code which are arranged in sets by the language of the code they contain.