posted by user: cxbrooks || 3406 views || tracked by 9 users: [display]

SLA++P'08 2008 : SLA++P'08, Model-driven High-level Programming of Embedded Systems

FacebookTwitterLinkedInGoogle

Link: http://www.inrialpes.fr/sla++p08/
 
When Apr 5, 2008 - Apr 5, 2008
Where Budapest, Hungary
Submission Deadline Nov 23, 2007
Notification Due Dec 21, 2007
Categories    embedded systems   software engineering
 

Call For Papers

Second Call for Papers

+--------------------+
| SLA++P 2008 |
+--------------------+
http://www.inrialpes.fr/sla++p08

Model-driven High-level Programming of Embedded Systems
(formerly "Synchronous Languages, Applications, and Programming")

**********************************************************************
* !NEWS! *
* *
* The submission site is now open! *
* http://pop-art.inrialpes.fr/sla++p08/ *
* follow Authors / instructions *
* *
* Selected presentations will be invited for submission *
* to a special issue of the EURASIP Journal on Embedded Systems *
* *
**********************************************************************

An ETAPS'08 (http://etaps08.mit.bme.hu/) event,
to be held on April 5, 2008, in Budapest, Hungary.

----------------------------------------------------------------------
Dates:
Submission: 23 november 2007
Notification: 21 december 2007
Final version: 25 january 2008
----------------------------------------------------------------------

SLA++P is a workshop dedicated to synchronous languages and the
model-driven high-level programming of reactive and embedded
systems. Firmly grounded in clean mathematical semantics, synchronous
languages are receiving increasing attention in industry ever since
they emerged in the 80s. Lustre, Esterel, Signal are now widely and
successfully used to program real-time and safety critical
applications, from nuclear power plant management layer to Airbus air
flight control systems. At the same time, model-based programming is
making its way in other fields of software engineering, too, often
involving cycle-based synchronous paradigms.

Model-driven high-level programming has recently seen a tremendous
interest from leading companies developing automatic control software
for critical applications. The key advantage is that this approach has
a rigorous mathematical semantics which allows the programmers to
develop critical software faster and better. Indeed, model-driven
high-level programming is at the cross-roads of many approaches in
compilation, formal analysis and verification techniques, and
generation of software or hardware implementation.

The purpose of the SLA++P workshop is to bring together researchers
and practitioners who work in the field of languages and tools for the
model-driven development of embedded applications both in hardware and
software. The workshop is not limited to synchronous approaches but
open to other engineering design approaches with strong semantical
foundations providing a way to go from a high-level description to
provable executable code.
The workshop topics cover, among others, the following issues:

* synchronous and asynchronous models for time and concurrency
* novel language paradigms blending synchrony with
asynchrony and non-determinism, semantic abstraction and refinement,
* synchronous languages and programming formalisms,
* compilation techniques,
* formal specification and verification,
* test and validation of programs,
* case-studies, industrial and teaching experience
* design methodologies, visualisation of complex reactive embedded systems
* component-based development of reactive embedded systems

Submission and publication:

Contributions are sought in the form of regular paper submissions which
may be extended abstracts or full papers describing original research
results or work in progress, and should be no longer than 15 pages.
They should follow the ENTCS format available at http://www.entcs.org,
and the LaTeX files of the final version will be required for the final
ENTCS volume.
They can be uploaded on the submission site:
http://www.inrialpes.fr/sla++p08 where you follow Authors/instructions.

Selected presentations from SLA++P'2008 will be invited for
submission, in a possibly extended version, to a special issue of the
EURASIP Journal on Embedded Systems, which will be published on the
topic of this workshop.

Workshop organisers and programme committee co-chairs

Alain Girault and Eric Rutten (INRIA, Grenoble, France)

Program committee

Zbigniew Chamski (Philips Research, Eindhoven, The Netherlands)
Stephen Edwards (U. of Columbia, NYC, USA)
Gregoire Hamon (The MathWorks, Boston, USA)
Reinhard von Hanxleden (U. Kiel, Germany)
Thomas A. Henzinger (EPFL, Lausanne, Switzerland)
Luciano Lavagno (Politecnico di Torino, Italy)
Edward Lee (UC Berkeley, USA)
Florence Maraninchi (VERIMAG, Grenoble, France)
Michael Mendler (U. Bamberg, Germany)
Sophie Pinchinat (INRIA, Rennes, France)
Partha S. Roop (U. of Auckland, New Zealand)
Klaus Schneider (U. Kaiserslautern, Germany)
Jean-Pierre Talpin (INRIA, Rennes, France)
P.S. Thiagarajan (National U., Singapore)


Related Resources

HLPP 2020   International Symposium on High-level Parallel Programming and Applications
ACM-CSSE 2020-Ei/Scopus 2020   2020 3nd International Conference on Computer Science and Software Engineering (CSSE 2020)
MODELS 2020   Model Driven Engineering Languages and Systems
CCCIOT 2020   International Conference on Cloud Computing and IOT (CCCIOT 2020)
MODELSWARD 2020   8th International Conference on Model-Driven Engineering and Software Development
AIFU 2020   6th International Conference on Artificial Intelligence and Applications
MDASD 2020   6th Workshop on Model Driven Approaches in System Development
OOPSLA 2020   Conference on Object-Oriented Programming Systems, Languages,and Applications
ESEC/FSE 2020   ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
DFM 2020   International Workshop on Data-Flow Models of Computation of Extreme-Scale Computing