12th ACM-IEEE International Conference on Formal Methods and Models for Codesign, Lausanne, Schweiz

Abbrevation

MEMOCODE

Link

http://memocode.irisa.fr

City

Lausanne

Country

Switzerland

Deadline Paper

2014-07-17

Start Date

2014-10-19

End Date

2014-10-21

Abstract

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, 2014. 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, <a href="mailto:http://memocode.irisa.fr">MEMOCODE</a> 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 Modeling 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 – Reusability 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