IMPLEMENTATION OF HETEROGONOUS EMBEDDED MICROSYSTEMS

To design heterogonous embedded microsystems using hardware-software codesign methodology, there is required formulated, mathematic model that describes complete system functionality, its properties and configuration. This paper presents and describes some aspects of a new formal model (based on Petri nets) for such microsystems and few selected examples of implementation. The behavioural specification of heterogonous embedded microsystems is represented as a timed, hierarchical Petri net extended with programming constructs and exception handling.