[ecoop-info] Fwd: CfP: INDIN'2011 Special Session on BEHAVIOURAL MODELS FOR EMBEDDED SYSTEMS

[Joao Paulo Barros]

--- Apologies for cross-posting ---

---------------------------------------------------------------------
                     CALL FOR PAPERS - INDIN'2011
   Special Session on BEHAVIOURAL MODELS FOR EMBEDDED SYSTEMS
---------------------------------------------------------------------
  The 9th IEEE International Conference on Industrial Informatics
                           INDINí2011
            July 26-29, 2011, Caparica, Lisbon, Portugal
--------------------------------------------------------------------
Conference web site:  http://www.uninova.pt/indin2011
--------------------------------------------------------------------
Technical Outline of the Session and Topics:

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:
Deadline for submission of papers:                  February 4, 2011
Notification of acceptance of papers:                 March 21, 2011
Final manuscripts due:                                April 25, 2011

---------------------------------------------------------------------
SUBMISSION OF PAPERS
Papers are to be submitted electronically. For details consult conference
pages at http://www.uninova.pt/indin2011.
The material must be unpublished and not under submission elsewhere.
--------------------------------------------------------------------
Special Session Organizers:
Joao M. Fernandes (jmf at di.uminho.pt)
Joao Paulo Barros (jpb at uninova.pt)
Ricardo J. Machado (rmac at dsi.uminho.pt)
Luis Gomes (lugo at uninova.pt)