MEMOCODE'14

Date: Oct 19, 2014 1:00 am – Oct 21, 2014 11:00 am
Location: Fédérale de Lausanne (EPFL), Switzerland

12th ACM/IEEE International Conference on Methods and Models for System Design (MEMOCODE'14)
Ecole Polytechnique Fédérale 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.

TOPICS

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

DESIGN CONTESTS

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.

  • CPS Technologies
  • Architectures
  • Design Automation Tools
  • Platforms
  • Systems Engineering
  • Foundations
  • Architectures
  • Concurrency and Timing
  • Real-time Systems
  • Time Synchronization
  • Modeling
  • Real-Time Coordination
  • Simulation
  • Validation and Verification
  • Quantitative Verification
  • Conference
  • 2014
Submitted by Anonymous on