MEMOCODE′s objective is to bring together researchers and practitioners interested in formal methods and models for system design and development to exchange ideas, research results, and lessons learned. System design covers the development of hardware, firmware, middleware, and application software for systems ranging from single embedded devices to highly networked CPS and systems in the IoT.<br>Topics of Interest<br>In particular, MEMOCODE 2017 seeks research contributions on formal foundations, engineering methods, tools, and experimental case studies. Research areas of interest include, but are not limited to the following:<br>Modeling Languages, Methods and Tools Programming languages and models; software and system modeling languages; architecture and high–level hardware description languages; timing models; model and program synthesis methods; model transformation methods<br>Formal Methods and Tools Correct–by–construction methods; contract–based design and verification; static, dynamic, and type theoretic analysis; verification; validation; probabilistic model checking; test generation; refinement–based and compositional approaches to design and verification<br>Models and Methods for Developing Critical Systems Fault–tolerant systems; security–critical and safety–critical systems; cyber–physical systems; hybrid systems; autonomous systems; self–adapting systems<br>Quantitative/Qualitative Reasoning Power/performance/cost/latency estimation methods; system models for quantitative design space exploration<br>Formal Methods/Models in Practice Design case studies; empirical case studies<br>
Abbrevation
MEMOCODE'17
City
Vienna
Country
Austria
Deadline Paper
Start Date
End Date
Abstract