posted by user: cxbrooks || 4674 views || tracked by 8 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 2024   17th International Symposium on High-Level Parallel Programming and Applications
ACM-Ei/Scopus-CCISS 2024   2024 International Conference on Computing, Information Science and System (CCISS 2024)
MODELS 2024   MODELS 2024 : ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems
MLANN 2024   2024 2nd Asia Conference on Machine Learning, Algorithms and Neural Networks (MLANN 2024)
MODELSWARD 2024   12th International Conference on Model-Based Software and Systems Engineering
ACM ICMLT 2024   ACM--2024 9th International Conference on Machine Learning Technologies (ICMLT 2024)
HiPEAC 2025   High Performance Embedded Architectures and Compilers
IJME 2024   International Journal of Microelectronics Engineering
Electronics : Special Issue 2024   Combining Model-Based and Data-Driven Methods in Human–Computer Interaction
ACM ICCTA 2024   ACM--2024 10th International Conference on Computer Technology Applications (ICCTA 2024)