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
- Sven Apel (Universität Passau)
- Bernd Fischer (University of Southampton)
- Ulrich Furbach (Universität Koblenz-Landau)
- Michael Heizmann (Fraunhofer IOSB)
- Martin Horauer (Fachhochschule Technikum Wien)
- Alexander Kleiner (Albert-Ludwigs-Universität Freiburg)
- Andreas Krall (TU Wien)
- Ralf Lämmel (Universität Koblenz-Landau)
- Christian Lengauer (Universität Passau)
- Bärbel Mertsching (Universität Paderborn)
- Eckart Michaelsen (Fraunhofer IOSB)
- Mark Minas (Universität der Bundeswehr München)
- Nicolas Navet (INRIA Nancy - Grand Est / RealTime-at-Work (RTaW))
- Andreas Nüchter (Jacobs University Bremen gGmbH)
- Dietrich Paulus (Universität Koblenz-Landau)
- Wolfgang Schröder-Preikschat (Friedrich-Alexander University Erlangen-Nuremberg)
- Sebastian Senge (Technische Universität Dortmund)
- Olaf Spinczyk (Technische Universität Dortmund)
- Horst Wedde (Technische Universität Dortmund)
- Dieter Zöbel (Universität Koblenz-Landau)
Contact and Submission
See the web site: http://ws4c11.wikidot.com/
Submissions in LNI format of up to 15 pages are welcome.