Recent advances in model-based methodologies for pervasive and embedded software

We report on recent advances in Model-based Methodologies for Pervasive and Embedded Software. This paper describes the research presented at MOMPES 2009, the 6th edition of a workshop series. The MOMPES workshops focus on the theoretical and practical aspects related to the adoption of model-based development methodologies for supporting the construction of software for pervasive and embedded systems. The workshops usually gather researchers from both industry and academia. In 2009, the workshop included papers tackling both foundational and application research themes related to embedded systems. We describe the main contributions of these papers, and point out further results on recent advances in this area.