Equipments for developing software synthesis methods

编程是一项乏味且容易出错的任务。要获得更可靠且开发和维护成本更低的程序，有一种很有前途的方法是使用非常高级的形式语言来描述系统及其属性。然后，稳健的综合算法使从这些描述自动生成程序成为可能，例如工业过程的控制器、用户界面和数据库查询。最新的设备是维持软件工程研究小组开展的关于这一主题的研究计划所必需的。他们需要开发软件工具，特别是强大的解释器和代码生成器，并在硬件、软件和操作条件类似于行业或组织中遇到的环境中评估形式综合方法。

Programming is a tedious and error-prone task. A promising approach to obtain programs that are much more reliable and cheaper to develop and maintain consists in describing a system and its properties by using very high level formal languages. Then, robust synthesis algorithms make it possible to automatically generate programs from these descriptions, such as controllers for an industrial process, user interfaces and database queries. Up-to-date equipments are essential to sustain the research program about this topic carried out by the Software Engineering Research Group. They are required to develop software tools, particularly powerful interpreters and code generators, and evaluate formal synthesis methods in contexts for which hardware, software and operation conditions are similar to those encountered in industries or organizations.