| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 721470 | IFAC Proceedings Volumes | 2006 | 6 Pages |
Abstract
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.
Related Topics
Physical Sciences and Engineering
Engineering
Computational Mechanics
Authors
Zbigniew Skowroński, Andrzej Stasiak,