Abstract: A method and system converts statements entered in an ordered natural language into an event-driven model, which may be easily parsed to discover missing or contradictory conditions. A user interface allows a user to enter functional requirements of a design into the system in a well-defined manner. An ordered natural language parser checks each phrase entered by the user for syntax errors and alerts the user of errors or unclear statements. Once any ambiguities are resolved, an engine generates a dynamic event-driven sub model. A parser checks the sub model for logical errors, such as missing or contradictory conditions and alerts the user of the same. A second engine then generates a complete dynamic event-driven model, which can be a combination of several sub models. The complete model can then be simulated and validated.

Abstract: The system comprises a control unit which, when the engine is stopped, memorises the level indicated by a display device upon stopping and then the level indicated by a sensor a predetermined time after stopping. The unit then memorises the level indicated by the sensor a predetermined time after the subsequent restarting of the engine. The unit controls the display device in a predetermined manner depending on the relative values of the memorised levels.

Abstract: The system comprises a control unit which, when the engine is stopped, memorises the level indicated by a display device upon stopping and then the level indicated by a sensor a predetermined time after stopping. The unit then memorises the level indicated by the sensor a predetermined time after the subsequent restarting of the engine. The unit controls the display device in a predetermined manner depending on the relative values of the memorised levels.