Name
Abstract | ||
|---|---|---|
In the last decades, embedded system controllers design is facing sustainable increasing complexity. This brings new challenges that can benefit from model based development approaches. Petri nets are one of the formalisms suitable to be used as system specification language. This paper proposes a method for model composition, starting from sub-models representing concurrent components, and relying on their composition using a bottom-up approach, while supporting the reusability of modules. This bottom-up approach is integrated with a previous top-down decomposition approach of the system model, using the net splitting operation, where sub-models associated with components are generated. In this sense, the proposed technique supports a balanced usage of top-down and bottom-up approaches to system modeling using model-based development of embedded system controllers where Petri nets play a central role. |
Year | DOI | Venue |
|---|---|---|
2012 | 10.1109/IECON.2012.6389078 | Montreal, QC |
Keywords | Field | DocType |
petri nets,control engineering computing,control system synthesis,embedded systems,formal specification,petri net based module reuse,bottom-up approach,concurrent component,embedded system controller design,model based development approach,model composition,module reusability,net splitting operation,system modeling,system specification language,top-down approach | Petri net,Computer science,Model-based design,Process architecture,Formal specification,Control engineering,Systems modeling,System requirements specification,System model,Reusability | Conference |
ISSN | ISBN | Citations |
1553-572X E-ISBN : 978-1-4673-2420-5 | 978-1-4673-2420-5 | 0 |
PageRank | References | Authors |
0.34 | 5 | 3 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Costa, A. | 1 | 4 | 1.20 |
| Luís Gomes | 2 | 87 | 22.71 |
| Barros, J.P. | 3 | 0 | 0.34 |