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