您的位置: 首页 > 农业专利 > 详情页

Method for correct-by-construction development of real-time-systems
专利权人:
Wolfgang Pree GmbH
发明人:
Pree, Wolfgang,Templ, Josef
申请号:
EP20100166520
公开号:
EP2278454(B1)
申请日:
2010.06.18
申请国别(地区):
欧洲专利局
年份:
2017
代理人:
摘要:
As one example of the present invention a method for constructing a real-time system is disclosed. The real-time system includes at least one module, each module having at least one mode. The method comprises: defining a mode period for each mode for a repeated execution of the respective mode by the corresponding module; for each mode, defining one or more synchronous tasks to be executed by the real-time system, whereby each synchronous task is associated with a logical execution time during which the task execution has to be completed; defining an integer number of time-slots for the mode period of each mode; assigning to each task at least one time slot during which the task is to be executed.
来源网站:
中国工程科技知识中心
来源网址:
http://www.ckcest.cn/home/

意 见 箱

匿名:登录

个人用户登录

找回密码

第三方账号登录

忘记密码

个人用户注册

必须为有效邮箱
6~16位数字与字母组合
6~16位数字与字母组合
请输入正确的手机号码

信息补充