The 3rd International Workshop on Software Engineering for Embedded Systems (SEES 2013)

May 21, 2013, San Francisco, USA (co-located with ICSE 2013)

ICSE 2013


With the proliferation of embedded ubiquitous systems in all aspects of human life, the embedded systems world has become a fast growing industry. Embedded systems have to rely on high quality hardware as well as high quality software. Software development for embedded systems is often a complex undertaking and fundamentally different from that of non-embedded systems. Complexity arises from the need to co-design and create software at low-level of abstraction that also interacts closely with hardware, and with strong emphasis on dependability and mission-critical real-time constraints. Compared to traditional software development, the increasing complexity also exacerbates challenges in embedded software development processes, such as trouble in achieving sufficient product quality and timely delivery. In order to tackle these challenges in embedded software development, industry needs to apply software engineering technologies that are appropriate for specific situations.

The SEES 2013 workshop aims to provide researchers and practitioners an international forum to discuss the issues and challenges in adopting software engineering methods for embedded systems development.


To Be Announced


The workshop seeks research and experience from both academia and industry that address the questions like

  • What is the state-of-the-practice of software engineering methods for embedded systems development?
  • What are the challenges of adopting software engineering technologies in embedded systems development?
  • What are the limitations and opportunities of the current software engineering research for embedded systems development?

To be specific, the workshop's topics of interest include, but are not limited to:

  • Software engineering technologies in embedded systems research and development;
  • Real-time (embedded) systems development processes;
  • Verification and validation (V&V) in embedded software and systems;
  • Formal approaches (e.g., formal methods and static analysis) for embedded systems verification;
  • Software engineering for automotive development;
  • Product-dependent software engineering processes;
  • Simulation in software engineering;
  • Embedded software project management;
  • Standard architectures, infrastructures and platforms;
  • Requirements engineering for embedded systems;
  • Model-based and component-based development technologies, domain-specific languages;
  • Virtual integration for systems development;
  • Software-hardware architecture co-design;
  • Security, reliability and trustworthiness of embedded systems.


To Be Announced


The workshop invites both research papers (maximum length 8 pages) and position papers (maximum length 4 pages). All submissions must conform at time of submission to the ICSE 2013 Format and Submission Guidelines. The workshop proceedings will be included in the ICSE 2013 electronic proceedings collection.

Papers can be submitted electronically via the EasyChair paper submission system.


  • He (Jason) Zhang, Australia
  • Liming Zhu, Australia
  • Ivica Crnkovic, Sweden


  • Mikio Aoyama, Japan
  • Len Bass, Australia
  • Etienne Borde, France
  • Yuanfang Cai, USA
  • Lars Grunske, Germany
  • Darko Huljenic, Croatia
  • Thomas Kunh, Germany
  • Yan (Jenny) Liu, USA
  • Leon Osterweil, USA
  • Eila Ovaska, Finland
  • Ganesh Pai, USA
  • Tiberiu Seceleanu, Sweden
  • Yongji Wang, China
  • Harold Weffers, Netherlands




  • Submission Deadline: February 14, 2013 (EXTENDED!) February 7, 2013
  • Acceptance Notification: February 28, 2013 
  • Camera-Ready Deadline: March 7, 2013 
  • Workshop in ICSE 2013: May 21, 2013 


The Call for Papers can be downloaded here.