[clean-list] CfP: Special Session on Behavioural Models for Embedded Systems (SIES 2007)

[João Paulo Barros]

--------------------------------------------------------------------------
                   Invitation to the Special Session on
                  BEHAVIOURAL MODELS FOR EMBEDDED SYSTEMS
--------------------------------------------------------------------------
              SIES 2007 - IEEE 2th International Symposium on
                      Industrial Embedded Systems
                    July 4-6, 2007, Lisbon, Portugal
           Conference web site:  http://www.uninova.pt/sies2007
==========================================================================
Nowadays, embedded systems are very complex systems and their development
requires the use of abstraction techniques that help the developers to 
reason about the properties of those systems, before they are actually 
implemented and/or produced. This issue is even more acute for systems 
exhibiting a complex behaviour, since that view is typically harder to 
master due to its dynamic nature.

System models, as simplified and abstract system representations, are 
among the techniques that can be used to handle complexity. In this 
special session, we understand models, in the same line as proposed by 
Model-Driven Engineering (MDE), i.e., as diagrammatic artefacts that can 
be transformed, either manually or using tools, in order to analyse, 
design, implement, classify, animate, validate, or verify models for 
embedded systems.

The aim of this special session is to gather a large community of 
researchers interested in the use of behavioural models (e.g., 
statecharts, finite-state machines, data-flow diagrams, Petri nets, 
activity diagrams, use cases, message sequence charts, sequence 
diagrams, Khan process networks, control-data flow graphs, synchronous 
data-flow graphs) during the development of embedded systems, and to 
outline new trends and problems in this area including practical 
applications in industrial contexts.

Topics of interest include (but are not limited to):
- Experiences in the use of behavioural models for developing embedded 
systems.
- Comparison between different formalisms for behavioural models.
- Translations between behavioural models.
- Selection and/or evaluation of available tools for behaviour models.
- Code generation from behavioural models.

--------------------------------------------------------------------------
AUTHOR'S SCHEDULE
Authors should contact the Special Session Organizers, as soon as possible
Deadline for submission:                             April 4, 2007
Notification of paper acceptance:                    April 18, 2007
Final manuscripts due:                               May 6, 2007
--------------------------------------------------------------------------
SUBMISSION OF PAPERS
Papers are to be submitted electronically. For further details, please 
consult the SIES 2007 symposium web pages.
Special session papers will undergo the same intense review process as 
regular papers do.
--------------------------------------------------------------------------
SESSION ORGANIZERS
Joao M. Fernandes                  Joao P. Barros
DI/CCTC - U Minho                  ESTIG - IP Beja & UNINOVA
jmf(at)di.uminho.pt                jpb(at)uninova.pt
--------------------------------------------------------------------------
Programme committee
Achim Rettberg C-Lab (Germany)
Flávio Wagner, UFRGS (Brazil)
Jens B. Jørgensen, U Aarhus (Denmark)
Joao M. Fernandes, U Minho (Portugal)
Joao P. Barros IP Beja & UNINOVA (Portugal)
Johan Lilius, Åbo Akademi University (Finland)
Luís Gomes, UN Lisboa (Portugal)
Marek Wegrzyn, U Zielona Gora (Poland)
Paulo Maciel, UFPE (Brazil)
Ricardo J. Machado, U Minho (Portugal)