-
公开(公告)号：CN1996237A
公开(公告)日：2007-07-11
申请号：CN200610155325.2
申请日：2006-12-20
Applicant: 浙江大学
IPC: G06F9/44
Abstract: 本发明涉及计算机领域的嵌入式实时系统，旨在提供一种基于模型的面向嵌入式实时操作系统的建模方法。该方法包括步骤：建立静态图、建立动态图、自动生成时间图和自动生成时序图。本发明具有的有益的效果是：模型可以在各种芯片和各种实时操作系统中运用；能够充分的反映一个系统模型的各个方面，很大的提高了模型的准确性和可行性；模型的自动生成很好的节省了建模时间和增强建模的准确度；可以大大减少整个开发过程在编写代码，撰写文档和模拟测试过程中所花费的时间。
-
公开(公告)号：CN100541362C
公开(公告)日：2009-09-16
申请号：CN200810059418.4
申请日：2008-01-21
Applicant: 浙江大学
Abstract: 本发明公开了一种基于汽车电控领域模型的自动状态机构造方法。该方法的步骤如下：a)提取汽车电控模型的关键信息，并做相应的自动状态机构造；b)构造出的自动状态机与汽车电控模型任务调度顺序相一致；c)构造出的自动状态机与汽车电控模型资源使用情况相一致。本发明能够把汽车电控领域模转换为自动状态机，使用能够使用通用的自动状态机验证工具来对自己的设计逻辑进行形式化验证；能够用自动状态机正确表达原有汽车电控模型的任务调度顺序和资源使用情况，帮助开发人员发现设计中的逻辑问题和管理系统中的资源模块；在项目开发的早期设计阶段验证设计逻辑，有效减少了开发后期出现设计逻辑错误的可能，降低项目修改的成本。
-
公开(公告)号：CN101226378A
公开(公告)日：2008-07-23
申请号：CN200810059418.4
申请日：2008-01-21
Applicant: 浙江大学
Abstract: 本发明公开了一种基于汽车电控领域模型的自动状态机构造方法。该方法的步骤如下：a)提取汽车电控模型的关键信息，并做相应的自动机构造；b)构造出的自动机与汽车电控模型任务调度顺序相一致；c)构造出的自动机与汽车电控模型资源使用情况相一致。本发明能够把汽车电控领域模转换为自动机，使用能够使用通用的自动机验证工具来对自己的设计逻辑进行形式化验证；能够用自动机正确表达原有汽车电控模型的任务调度顺序和资源使用情况，帮助开发人员发现设计中的逻辑问题和管理系统中的资源模块；在项目开发的早期设计阶段验证设计逻辑，有效减少了开发后期出现设计逻辑错误的可能，降低项目修改的成本。
-
公开(公告)号：CN101013384A
公开(公告)日：2007-08-08
申请号：CN200710067221.0
申请日：2007-02-08
Applicant: 浙江大学
Abstract: 本发明涉及嵌入式实时系统的模拟仿真技术，旨在提供一种基于模型的实时系统的可调度性分析方法。该方法包括以下步骤：(1)建立系统模型；(2)以系统模型作为输入，进行任务分割；(3)设计模拟用数据结构；(4)对有向图执行算法进行仿真，得到结果执行序列；(5)输出模拟结果。本发明对任务的执行顺序进行详细的模拟，具有很好的预测性，可靠性，易用性；节省了软件开发的时间；消除了以往的可调度性分析只给一个比较笼统，比较模糊的结果的不良方面；本发明使得可调度行分析更具可行性，更加可视化，输出内容详尽，界面友好。
-
-
-
Search Results
4
records
(took 0.015 seconds)
