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

The SEES 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.
TOPICS OF INTEREST
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.