FMGALS Workshop at the 12^th International FME Symposium

Overview

Relevance to FM Community

Program Committee

Important Dates

Venue

Registration - NEW

Logistics

Program - NEW

Relevance to the FM Community

GALS is the next big thing in Design Automation and Formal Methods are needed, some exist but more are needed. In addition to verification tools for each of the forms of GALS mentioned, there is a big need for global interconnect synthesis.  Traditional synthesis is broken because it treats wires as isochronous domains.  Interconnect synthesis requires a model of wire delays and signal integrity issues.  Formal methods could be very helpful here, but it requires some really novel research.

FME (Formal Methods Europe)

“Formal Methods Europe (FME) is an organization with the mission of promoting and supporting the industrial use of formal methods for computer systems development. It is not allied to any single organization or group of organizations. Its members come from different industrial, academic, and government bodies.”

FME is this organization’s yearly international symposium. The scope of FM 2003 includes all aspects of the use of formal methods for software development especially applied to new application areas that are critical in the new aspects of information society. The symposium will attempt to cover a wide range of themes starting from fundamental theories to practical experiences.

Since this is one of the major events on Formal Methods in Europe, Formal Methods experts and practitioners from all over the world attend this event. As a result, this is a good opportunity to bring together experts in Formal Methods with engineers and researchers interested in GALS design, and discuss how formal methods may help in making GALS design supported by formal tools and techniques.