原创 FRESCOR-AFrameworkforRealtimeEmbeddedSystems

全称：Framework for Real-time Embedded Systems based on COntRacts。这是欧洲几个大学联合的项目，项目研究在原有OS的基础上支持contrcact-based调度。设计中间件支持自己的约束并且自适应的管理服务质量，为组件为基础的开发思想构造基础框架。开发模拟分析工具，评估开发结果。

PROJECT OVERVIEW

大部分嵌入式系统有时间的需求根据硬件环境来改变时间。可配置结构是一个嵌入式先进的技术，它可以提供服务质量保证的自适应、动态的

程序。然而，现在在嵌入式系统中基于可配置结构的建模和控制时间需求的研究做的很少。
实时调度理论提供了解决这类问题的方法，设计的系统能够预测时间，并且证明满足时间的需求。然而，在工程实践中应用这些理论还有很多

的问题急待解决：
1 合适的抽象。设计方法应该注意到高级的时间要求用一种透明的方法应用到原来的RTOS中去。应该在开发者很少干预的基础上可以测量估计

时间，并且可以动态的实时分析，提供性能和服务质量分析。提可以提供错误检测，保护其受到其他组件的错误影响。中间件层不能隐藏执行

和硬件的细节包括估计时间情况。
2 这些方法和工具需要严格的设计过程。即决这个问题应该看清嵌入式系统未来的发展，我们发现到一个大多数系统基于可配置、多CPU结构，

程序也需要自适应性和可配置性。
我们在这个项目中提出的是通过设计一个灵活的资源。调度框架解决以下问题：
1 RTOS解决高质量的实时芙蕖，内嵌分析，平台和调度独立
2 高质量的管理服务，自适应程序质量，从低层系统透明的获取信息
3 子系统是封闭的，支持独立开发组件
4 完全资源保护（处理器，网络，总线，内存，电源）
5 对底层硬件有动态可配置能力
这个框架为组件设计模式和可配置框架提供底层的资源调度，是一个可行的技术设计。这样，很好的支持嵌入式系统开发。
这个框架可配置必须在系统中分为几个层次：
可配置处理模块。执行节点的能力可配置它自己的硬件结构，必须考虑不同组件之间时间需求计数模型。系统可能为配置决定使用时间的需求

。
可配置分布结构。程序分布式有必要考虑分布策略，动态自适应系统时间要求可利用处理器和网络。在无限领域很重要，节点可以动态的添加

和删除。