Model-based approaches and frameworks for embedded software systems

Model-driven development (MDD) comprises approaches to software development that heavily rely on modeling and the systematic transition from models to executable code. One of these approaches is the OMG’s model-driven architecture (MDA), which is based on the separation between the specification of a system and its implementation using specific platforms. The workshop on Model-Based Methodologies for Pervasive and Embedded Software (MOMPES) focuses on all the aspects related to the adoption of MDA and other MDD approaches, including language, process, methods, and tools, for supporting the construction of computer-based systems, and more specifically, pervasive and embedded software systems. In this issue, we are happy to present the best papers from MOMPES 2009 and 2010. MOMPES 2009, the sixth in this series of workshops, took place during the 31st IEEE International Conference on Software Engineering (ICSE 2009) in Vancouver, Canada, on May 16. The seventh workshop, MOMPES 2010, was organized as a satellite event of the 25th IEEE/ACM International Conference on Automated Software Engineering (ASE 2010), which took place in Antwerp, Belgium, on September. The issue contains selected, extended, and revised versions of papers presented in these two workshops following a second round of rigorous review.