Visible to the public MEMOCODE'14

12th ACM/IEEE International Conference on Methods and Models for System Design (MEMOCODE'14)
Ecole Polytechnique Federale de Lausanne (EPFL), Switzerland, 19-21 October, 2014
Collocated with FMCAD 2014

The 12th ACM-IEEE International Conference on Methods and Models for System Design (MEMOCODE'14) will be held in Lausanne, Switzerland on October 19-21, 2013. This year, for the second time, MEMOCODE will be collocated with the FMCAD Conference, providing attendees the opportunity to attend joint tutorial sessions and keynotes. It will provide an excellent venue for researchers working on formal methods for CAD, and methodologies and models for embedded hardware and/or software design.

In the past, MEMOCODE emphasized co-design as its primary focus, but over the last decade, the clear boundaries between system components implemented in hardware, firmware, software, middleware or applications have blurred. This evolution in system design practices has necessitated a change in the title of the conference to cater to the needs of today's industry and research practices. MEMOCODE's main agenda is to bring together researchers in software design, hardware design, as well as hardware/software co-design, and exchange ideas, research results, lessons learned from each other and apply them to each other's areas. We want to emphasize the importance of models and methodologies in correct system design, and provide a platform for researchers and industry practitioners who work in any or all components of the system stack - hardware, firmware, middleware, software, architecture and applications.


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
System Modelling Languages
Architecture Description Languages
Domain Specific Languages
Generic Programming
Synchronous Programming Models and Languages
Reactive, Streaming, Concurrent Programming Languages
Program Synthesis Techniques, Tools, Methods
Correct-by-Construction Methodologies
Higher Level Hardware Description Languages

Analysis, Verification and Test
Static and Dynamic Analysis
Symbolic Simulation
Model Checking
Type Theoretical Program Analysis
Abstract Interpretation
Test-cases Generation
Coverage Metrics and Techniques
Tools and Methodologies for Verification, Analysis
Performance Analysis
Formal Models such Petri-Nets, Timed Automata, Transition Systems, etc

Refinement, component, platform-based methodologies
Stepwise refinement methodologies
Refinement-based correct-by-construction Design
Component based design
Component composition languages and environments
Platform-based design
Refinement proof techniques, simulations and other relations
Reusablility methodologies
Contract-based Component Design
Assume/Guarantee Reasoning
Reverse Engineering of Systems to build Platform and Component Models
Separation of Concern based Design
Aspect-oriented Design Approaches

Models of Time in System Design
Synchronous, polychronous, asynchronous concurrency models
Latency Insensitive Design
Globally Asynchronous and Locally Synchronous Design Methods
Locally Asynchronous and Globally Synchronous Design Methods
Real-Time Models, Scheduling, Proofs of Real-Time Guarantees

Fault Tolerance, Fault Models, Reliability, and Resilience
Fault Tolerant System Design
Fault-tree and other techniques for reasoning about Faults
Defect Tolerant System Design
Reliability Models, Risk Models, Probabilistic Computation
Resilient System Design
Run-Time Adaptable Systems
Run-Time patching and maintenance

Quantitative/qualitative reasoning
Power Models and Power/Performance/cost/latency trade-off methods
Reasoning techniques, data mining and other analytical methods for predicting power/performance etc
System Level Models for Quantitative exploration of Design Space

Secure and Trustworthy Design
Methods and Models for Cyber Security
Reasoning techniques for Cyber Security, Vulnerability, Counter measures
Risk Modeling, Performance/Security Trade-offs
Security Specification languages, Formal tools, Testing

Case Studies & Tools Paper
Design case studies based on sound methodological precepts
Industry Strength Case studies
Tools paper describing the architecture, design, capabilities of tools with experimental evaluation


MEMOCODE has a long history of a successful co-design contest section. Even within this design contest, we have seen an evolving trend. Initially the challenge problem started to be implemented as synthesis of co-processors for co-designing a specific computation intensive system. Today, with GPUs, FPGA boards and other flexible hardware add-ons, we often find even software solutions that compete well with the purely co-processor based co-design solutions. This year, we plan to introduce a software tool contest along with our traditional design contest to interest more software developers in taking part in MEMOCODE and showcase their skills in making software tools that instantiate methodologies and model based approaches to system design.

As a result, MEMOCODE'14 will entail two design contest tracks, for which additional call for participation will be issued, and a vibrant research track that will seek submissions from researchers and industrial engineers for presentation at the conference main track. The conference will sponsor at least one prize with a monetary award for each contest. Each team delivering a complete and working solution will be invited to prepare a 2-page abstract to be published in the proceedings and to present it during a dedicated poster session at the conference. The winning teams will be invited to contribute a 4-page short paper for presentation in the conference program. Further information will be made available on the MEMOCODE website.

Event Details
Fédérale de Lausanne (EPFL), Switzerland