WS4C11 Call for Papers

WS4C 2011: Workshop on Software Language Engineering for Cyber-physical Systems

One-day workshop at INFORMATIK 2011 in Berlin, 04 Oct — 07 Oct 2011

Extended submission deadline: 18 May 2011

Cyber-physical systems (CPS) combine computational and physical elements in interesting ways that require and challenge adaptability, autonomy, efficiency, reliability, safety, and usability. Software Language Engineering (SLE) provides an important discipline to address the aforementioned CPS requirements and challenges. For instance, SLE subsumes concepts and techniques on domain-specific languages (DSL)—-their analysis, design, implementation, and deployment. Also, SLE offers a language-based approach to less programming-centric problems such as variability and configuration thereof, or constraint specification (for safety or otherwise).

WS4C 2011 aims at interaction between researchers and practioners interested in SLE (as means to address the above-mentioned requirements or challenges) and application areas of CPS (e.g., robotics for search and rescue, or collision avoidance in autonomous driving). WS4C 2011 invites participation both from academia and industry with a stake in CPS. The programme committee of WS4C 2011 covers a number of CPS application areas readily but submissions with preference for any area (such as automative, aerospace, chemical processes, civil infrastructure) are welcome. Experience reports from CPS stake holders are particularly welcome if they identify the potential of possibly adapted SLE methods or software engineering methods more generally. Submissions with more focus on general software engineering and programming language concepts should aim to demonstrate their benefit for CPS.

Topics of interest

Submissions should support interaction between CPS and SLE (and general software engineering).

For instance, the following topics may facilitate such interaction:

  • Modeling languages and simulation for CPS
  • Domain analysis of application areas for CPS
  • Domain engineering for CPS
  • Domain-specific languages (DSL) for CPS
  • Domain-specific optimizations for CPS
  • Specific constraint systems for CPS
  • Configuration languages for CPS
  • Ontologies and reasoning for CPS
  • Specifications, contracts and verification for CPS
  • Program generators and program analyses for CPS

Submissions on any application area of CPS are welcome.

Concrete use cases as well as general considerations on application areas are appreciated:

  • Automotive
  • Aerospace
  • Chemical processes
  • Civil infrastructure
  • Robotics
  • etc.

Important dates

  • Extended submission deadline: 18 May 2011
  • Notification of authors: 15 June 2011
  • Camera-ready papers: 01 Juli 2011
  • Symposium and workshops: 04 Oct 2011 — 07 Oct 2011

Organization committee

  • Ralf Lämmel (Universität Koblenz-Landau)
  • Dietrich Paulus (Universität Koblenz-Landau)

Program committee

Contact and Submission

See the web site:

Submissions in LNI format of up to 15 pages are welcome.