Abstract | ||
---|---|---|
Design of embedded systems must be based on formal specifications so that the synthesis process can be easily carried out. This paper presents CIRTA ("Construction Incr mentale des Nseaux a Termes Algebriques'), an ECATNets ("Extended Concurrent Algebraic Terms Nets') [7] based model suited to embedded systems. This model allows to specify several level of details using the feature of hierarchical decomposition. It also includes an explicit notion of time. Moreover, both concurrency and sequential behavior might be naturally represented in CIRTA. |
Year | Venue | Keywords |
---|---|---|
2005 | ESA '05: PROCEEDINGS OF THE 2005 INTERNATIONAL CONFERENCE ON EMBEDDED SYSTEMS AND APPLICATIONS | embedded systems,ECATNets,Petri nets,algebraic specification,rewriting logic |
Field | DocType | Citations |
Discrete mathematics,Programming language,Computer science | Conference | 1 |
PageRank | References | Authors |
0.38 | 1 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Nadia Zeghib | 1 | 1 | 1.05 |
Mohamed Bettaz | 2 | 66 | 11.13 |
Kamel Barkaoui | 3 | 536 | 76.60 |