Embed With Linux 2014 Preface EWiLi’s two first editions were dedicated to the Embedded Linux operating system which has pro- gressively constituted a strong alternative to proprietary and/or commercial solutions in embedded systems, whether it is deeply embedded or not, and this for many application domains, such as multimedia, telephony, and transport. The steering committee has considered requests from potential contributors and decided to extend the scope of the workshop to all embedded operating systems. We believe that this new perimeter will make the workshop even richer. It is the second edition of EWiLi as the embedded operating system workshop (and the 4th edition of the workshop), it aims at presenting state-of-the-art research, experimentations, significant and original realizations that focus on the design and implementation of embedded operating systems in both academic and industrial worlds. 2014’s edition is hosted at the at the Faculdade de Cincias da Universidade de Lisboa (FCUL), in Lisbon, Portugal. It is the first time the EWiLi workshop is organized out of France. EWiLi workshop featured three distinguished keynote speakers, delivering state-of-the-art presentation on a topic related to real-time and embedded operating systems: • Dr. Oleg SOKOLSKY Research Associate Professor with the Department of Computer and Informa- tion Science of University of Pennsylvania with a talk on ”Compositional scheduling and real-time virtualization” ; • Mr. Pierre FICHEUX, CTO at OpenWide, Paris, France with a talk on ”Android for industrial and RT applications” ; • Mr. Helder SILVA, Embedded Systems Manager (Aeronautics & Space Systems Division) at EDISOFT, Portugal with a talk on ”RTEMS and EDISOFT”. In addition to the keynotes, four sessions were programmed with three regular paper presentations each (except one): ”Real-Time Operating Systems”, ”Memory Hierarchy and Performance” and ”Energy Effi- ciency in Embedded Systems”, and ”Real-Time Systems”. Accepted regular papers were submitted from 7 different countries. The EWiLi Program Committee worked hard to provide high quality reviews for each paper (at least 3 reviews per paper). 63 reviews were done for 17 submissions and 11 papers were accepted. The 4th edition of EWiLi was made possible thanks to the support of different institutions including: AdaCore, Lab-STICC laboratory, FCUL that hosts the event and FCT (Fundao para a Cincia e a Tecnologia). ACM SIGBED Reviews and ACM SIGOPS French Chapter (ASF) have also strongly contributed in making the event successful. We would like to thank all members of the Program Committee for their valuable efforts for prompt and high quality reviews, advices, and various help they provided to make that event successful. Finally, we also would like to thank all the authors of the submitted papers and all the participants who contributed in making EWiLi an exciting forum for researchers and practitioners. We hope they appreciated the program of the 4th edition of the EWiLi workshop. November 2014 EWiLi chairs Jalil Boukhobza Jean-Philippe Diguet Pierre Ficheux Frank Singhoff Copyright c 2014 for the individual papers by the papers’ authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors.