第十届国际会议

时间系统的形式化建模与分析

与合作2012年QEST会议

伦敦帝国理工学院2012年9月18日至20日，英国伦敦

文件征集（PDF格式）

---

会议的目标和范围

来自各种计算机科学领域的系统的计时方面已经由不同的社区独立处理。对时间自动机和时间Petri网等语义、验证和性能分析研究模型感兴趣的研究人员，数字设计界关注传播和切换延迟，而嵌入式控制器的设计者必须考虑控制器在采样环境后计算其响应所花费的时间。

这些独立学科中与时间相关的问题确实有其特殊性。然而，人们越来越意识到，他们都有一些共同的基本问题。特别是，所有这些子学科都处理行为取决于逻辑和时间约束组合的系统；即事件发生之间时间距离的约束。

FORMATS的目的是促进对时间系统的基本和实际方面的研究，并汇集对时间系统建模和分析感兴趣的不同学科的研究人员。典型主题包括（但不限于）：

• 基础和语义：时间系统和语言的理论基础；不同模型（时间自动机、时间Petri网、混合自动机、定时进程代数、max-plus代数、概率模型）之间的比较。
• 方法和工具：分析定时系统和解决时间约束（调度、最坏情况执行时间分析、优化、模型检查、测试、约束求解等）的技术、算法、数据结构和软件工具。
• 应用：计时技术在计时发挥重要作用的应用领域（实时软件、硬件电路以及制造和电信中的调度问题）中的适应性和专门化。

---

赞助商

    

重要日期

项目委员会

指导委员会

过去的会议