Formal timing model for hardware components

The correctness of functional and non-functional properties of hardware components is ensured during development cycles conventionally by simulation. Also different description languages are needed during development phases. With Action Systems, we are able to use the same formalism from a speci cation down into an implementation. In this study we present timed Action Systems, an extension of Action Systems, with which a non-functional property, time, can be modelled. We show how untimed models are transformed into timed ones, and how timing characteristics of a model are analysed.