Towards usage of formal methods within embedded systems co-design

IEEE International Conference on Emerging Technologies and Factory Automation, ETFA

Volumn 1 2 VOLS, Issue , 2005, Pages 281-284

  Gomes, Luis ^a   Barros, João Paulo ^b   Costa, Anikó ^a   Pais, Rui ^b   Moutinho, Filipe ^a  

^a UNINOVA   (Portugal)

^b INSTITUTO POLITÉCNICO DE BEJA   (Portugal)

Author keywords

Automatic code generation; Hardware software partitioning; Model composition; Petri nets

Indexed keywords

AUTOMATIC CODE GENERATION; HARDWARE SOFTWARE PARTITIONING; MODEL COMPOSITION; STATE DIAGRAMS;

COMPUTER GRAPHICS; COMPUTER HARDWARE; COMPUTER SOFTWARE; HIERARCHICAL SYSTEMS; MICROCONTROLLERS; PETRI NETS;

EMBEDDED SYSTEMS;

EID: 33847322432     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (15)

1. 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
2. Claude Girault, and Rüdiger Valk, "Petri Nets for Systems Engineering - A Guide to Modeling, Verification, and Applications"; Springer; ISBN 3-540-41217-4, 2003.
3. Luis Gomes, João Paulo Barros, Anikó Costa, Rui Pais, and Filipe Moutinlio, "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, Anikó Costa; "On Lifting of Statechart Structuring Mechanisms"; ACSD'2003 - Third International Conference on Application of Concurrency to System Design; 18-20 June 2003, Guimarães, Portugal; Proceedings published by IEEE Computer Society Press, 264 pages / 22 papers, ISBN 0-7695-1887-7
5. Luís Gomes, Anikó Costa; "From Use Cases to System Implementation: Statechart Based Co-design"; MEMOCODE'2003 - First ACM/IEEE Conference on Formal Methods and Programming Models for Codesign; 24-26 June 2003, Mont Saint-Michel, France; IEEE Computer Society Press, ISBN 0-7695-1923-7
6. Jonathan Billington, Søren Christensen, Kees van Hee, Ekkart Kindler, Olaf Kummer, Laure Petrucci, Reinier Post, Christian Stehno, and Michael Weber. The Petri net markup language: Concepts, technology, and tools. In W. van der Aalst and E. Best, editors, Proceeding of the 24th ICAT of Petri Nets, volume 2679 of LNCS, 2003. Springer-Verlag.
7. P. Tarr, H. Ossher, W. Harrison, and J. Stanley M. Sutton. N Degrees of Separation: Multi-Dimensional Separation of Concerns. In Proceedings of the 21st ICSE, pages 107-119. IEEE Computer Society Press, 1999.
8. João Paulo Barros, Luís Gomes; "Operational PNML: Towards a PNML Support for Model Construction and Modification"; In Workshop on the Definition, Implementation and Application of a Standard Interchange Format for Petri Nets; Satellite event at the International Conference on Application and Theory of Petri Nets 2004, Jun 2004, Bologna, Italy.
9. P. Huber, K. Jensen, and R. M. Shapiro. Hierarchies in Coloured Petri nets. In Proceedings of the 10th International Conference on Application and Theory of Petri Nets, 1989, Bonn, Germany, pages 192-209, 1989
10. Luca Bernardinello and Fiorella De Cindio "A Survey of Basic Net Models and Modular Net Classes"; in "Advances in Petri Nets 1992"; Lecture Notes in Computer Science; G. Rozenberg (Ed.); Springer-Verlag
11. Soren Christensen and Laure Petrucci, "Modular Analysis of Petri Nets", The Computer Journal, Vol. 43, No. 3, 2000.
12. João Paulo Barros and Luis Gomes, "Modifying Petri Net Models by Means of Crosscutting Operations"; ACSD'2003 - Third International Conference on Application of Concurrency to System Design; 18-20 June 2003, Guimarães, Portugal
13. Luís Gomes, João-Paulo Barros; "On Structuring Mechanisms for Petri Nets Based System Design"; ETFA'2003 - 2003 IEEE Conference on Emerging Technologies and Factory Automation Proceedings; September, 16-19, 2003; Lisbon, Portugal; ISBN 0-7803-7937-3
14. João Paulo Barros, Luís 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
15. rd IEEE International Conference on Industrial Informatics; 10-12 August 2005; Perth, Australia.