Petri nets as supporting formalism within embedded systems co-design

Industrial Embedded Systems - IES'2006

Volumn , Issue , 2006, Pages

  Gomes, Luis ^a   Costa, Anikó ^a  

^a UNINOVA   (Portugal)

Author keywords

Hardware software co design; Model composition; Model decomposition; Petri nets; System partitioning

Indexed keywords

AUTOMATIC PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; GRAPH THEORY; GRAPHIC METHODS; INTEGRATED CIRCUITS; MARINE BIOLOGY; MODEL STRUCTURES; PETRI NETS; SOFTWARE DESIGN; VERIFICATION;

(EXTENDED) PETRI NETS; AUTOMATIC CODE GENERATIONS; CO DESIGNS; CO VERIFICATION; CO-SIMULATION; GRAPHICAL FORMALISMS; HARDWARE/SOFTWARE (HW/SW) CO DESIGN; IN ORDER; PETRI NET (PN) MODELS; PROPERTY VERIFICATION; SEQUENCE DIAGRAMS; STATE DIAGRAMS; STATECHARTS; SUB-MODELS; SYSTEM MODELLING; USER REQUIREMENTS;

EMBEDDED SYSTEMS;

EID: 46149115643     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IES.2006.357468     Document Type: Conference Paper

References (11)

1. G. D. Micheli, R. Ernst, and W. Wolf. Readings in Hardware/Software Co-design. Morgan Kaufmann Publishers, 2001.
2. Luís Gomes, João Paulo Barros, Anikó Costa; "Modeling Formalisms for Embedded Systems Design"; in "Embedded Systems Handbook"; Richard Zurawski (Editor-in-Chief); chapter 5; CRC; ISBN 0849328241; 2005; pp. 5-1, 5-34
3. Luis Gomes, João Paulo Barros, Anikó Costa, Rui Pais, and Filipe Moutinho, "Formal methods for Embedded Systems Co-design: the FORDESIGN project", in "ReCoSoC'05 - Reconfigurable Communication-centric Systems-on-Chip - Workshop Proceedings"; Gilles Sassatelli, Manfred Glesner, Lionel Torres, Leandro Soares Indrusiak, Thomas Hollstein (Editors); ISBN 2 - 9517 - 4611 - 3; June 2005.
4. Luís Gomes, João Paulo Barros, Anikó Costa, Rui Pais, Filipe Moutinho; "Towards Usage of Formal methods within Embedded Systems Co-design"; ETFA'2005 - 10th International Conference on Emergent Technologies and Factory Automation; 19-22 September 2005; Facolta' di Ingegneria, Catania, Italy
5. Luís Gomes, João Paulo Barros; "Structuring and Composability Issues in Petri Nets Modeling"; IEEE Transactions on Industrial Informatics; Vol. 1 No. 2; May 2005; pp. 112-123
6. João Paulo Barros, Luis Gomes; "Net Model Composition and Modification by Net Operations: a Pragmatic Approach"; INDIN'2004 - 2nd IEEE International Conference on Industrial Informatics; 24-26 June 2004; Berlin, Germany
7. G. Bruno, R. Agarwal, A. Castella, and M. Pescarmona; CAB: an environment for developing concurrent applications. In G. D. Michelis and M. Diaz, editors, Applications and Theory of Petri Nets 1995, volume 935, pages 141-160. Springer, 1995. ISBN: 3-540-60029-9
8. Aniko Costa, Luis Gomes; "Partitioning of Petri net models amenable for Distributed Execution"; ETFA'2006 - 2006 IEEE International Conference on Emerging Technologies and Factory Automation; 20-22 September 2006, Prague, Czech Republic
9. Wolfgang Reisig. Elements of distributed Algorithms - Modeling and analysis with Petri Nets. Springer, 1998.
10. S. Christensen and N. D. Hansen. Coloured Petri Nets Extended with Channels for Synchronous Communication. Daimi PB-390, 1992. Also in: Valette, R.: LNCS, Vol. 815; Application and Theory of Petri Nets 1994, pages 159-178. Springer-Verlag, 1994.
11. W. Damm and D. Harel, "LSCs: Breathing Life into Message Sequence Charts", Formal Methods in System Design 19:1 (2001), 45-80