posted by system || 2162 views || tracked by 16 users: [display]

MEMOCODE 2014 : 12th ACM/IEEE International Conference on Formal Methods and Models for Codesign

FacebookTwitterLinkedInGoogle


Conference Series : International Conference on Formal Methods and Models for Co-Design
 
Link: http://memocode.irisa.fr/2014/
 
When Oct 18, 2014 - Oct 21, 2014
Where Lausanne, Switzerland
Abstract Registration Due Jul 10, 2014
Submission Deadline Jul 17, 2014
Categories    design automation
 

Call For Papers

In the past editions, 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
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

Accepted papers will as usual be published as IEEE conference proceedings and included in IEEE-Xplore. Selected papers will be invited for publication in a special section of the ACM Transactions of Embedded Computing Systems.

Related Resources

MEMOCODE 2017   15th ACM/IEEE International Conference on Formal Methods and Models for System Design
NOCS 2017   11st IEEE/ACM International Symposium on Networks-on-Chip (NOCS)
ICFEM 2017   19th International Conference on Formal Engineering Methods
PEACD 2017   Call for SPRINGER Book Chapter Proposals: ‘‘Pathological Elements in Analog Circuit Design’’
FMCAD 2017   Formal Methods in Computer-Aided Design
FMICS-AVOCS 2017   International Workshop on Formal Methods for Industrial Critical Systems (FMICS) and Automated Verification of Critical Systems (AVoCS)
FACS 2017   14th International Conference on Formal Aspects of Component Software
RV 2017   The 17th International Conference on Runtime Verification
SETTA 2017   3rd Symposium on Dependable Software Engineering: Theories, Tools and Applications
VSTTE 2017   9th Working Conference on Verified Software: Theories, Tools, and Experiments