MEMOCODE'14 seeks research contributions addressing all aspects of methods and models for hardware and embedded software design. We are interested in formal foundations, informal engineering methodologies with sound basis, model driven approaches, design tools, design case studies and industry-scale experimental case-studies. Research areas of interest to MEMOCODE consist of (but not limited to) the following topics: Programming models, languages, methodologies and tools Analysis, verification and test in system design Refinement, component, platform-based design methodologies Models of time in system design, and the relations Fault tolerance, fault models, reliability and resilience Quantitative and qualitative reasoning in system design Cyber-secure and trustworthy system design Case studies and tools paper