基于SDL的硬实时调度可执行分析模型

来源 :计算机科学 | 被引量 : 0次 | 上传用户：typhoon

【摘要】

：

1引言在后PC时代,嵌入式实时系统的需求变得越来越复杂,传统的开发方法已经难于管理及实现日益复杂的实时软件.形式化描述技术FDTs(F0mal Description Techniques)为实时软件

【作者】

：

杨仕平熊光泽陈慧

【机构】

：

电子科技大学计算机科学与工程学院

【出处】

：

计算机科学

【发表日期】

：

2002年7期

【关键词】

：

软件开发嵌入式实时系统软件代码 SDL 硬实时调度可执行分析模型 Hard real-time system SDL. Executable analys

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

1引言在后PC时代,嵌入式实时系统的需求变得越来越复杂,传统的开发方法已经难于管理及实现日益复杂的实时软件.形式化描述技术FDTs(F0mal Description Techniques)为实时软件代码的自动生成提供了有力的根据,它允许实时软件的仿真、验证与确认(V＆V)及代码的自动生成同步进行.

其他文献

在DSS／EIS＆OLAP环境下构造FoodMark数据仓库的设计与实现

The thesis introduces the theory of data warehouse and data architecture,describes the technology of dataarchitecture and data warehouse. Combining FoodMark dat

期刊

决策支持系统DSSEIS&OLAPFoodMark数据仓库数据库设计Data warehouse Data architecture

电子商务安全体系结构

<正> 1 引言电子商务将成为21世纪人类对信息世界关注的一个焦点,也将是网络应用中极为重要的一个发展方向。但是,网络欺诈、窃听、病毒和非法入侵都在威胁着电子商务的使用

期刊

电子商务安全体系结构互联网有限自动机Electronic commerce. Security threat Trade model Finite

水流启发式算法求解Euclid TSP

<正> 1.思想来源旅行商问题(TSP)可以简单表述如下:给定一组N个城市和它们之间的两两距离,找出一个闭合的旅程,使得每个城市刚好经过一次且总的旅程距离最短。旅行商问题已经

期刊

旅行商问题水流启发式算法EuclidTSPNP问题TSPHeuristic algorithm

适于动态虚拟环境的辐射度算法研究

1引言　　辐射度方法就是使用热辐射工程中的辐射度方法来求解环境的光能分布,该方法将组成环境的表面作为一个封闭的系统,并假定封闭环境的表面均为漫反射面,根据能量平衡原

期刊

相关反馈与数据挖掘在基于内容图像检索中的结合

一、引言　　近年来,对于基于内容的图像和视频检索[1],大量的工作都是利用低层可视化特征来做的.它们大多侧重特征提取和连接多种图像特征来进行检索,如颜色和纹理特征.作为

期刊

飞行体实时飞行显示系统的实现

1前言　　飞行体实时飞行显示系统,是根据所获得的飞行体的运动参数(包括空间位置、速度及姿态参数),以图形方式实时地显示飞行运动过程的系统.该系统不受天气、气候及超视距

期刊

Agent Oriented Programming进展

Agent-oriented programming (AOP) is a framework to develop agents, and it aims to link the gap betweentheory and practical in agent research. The core of an AOP

期刊

人工智能自治实体多AGENT系统AgentOrientedProgrammingAgent oriented programmingMulti-age

面向对象角色分析方法——OOram

一、引言OOram(Object Oriented role analysis and modeling)方法是由挪威工业研究中心和奥斯陆大学共同提出的一种新一代面向对象软件工程方法.其基本观点是朴素的,即:同一

期刊

面向对象角色分析方法OOram软件工程Object-oriented methodOOramAnalysis .SynthesisRole mod

基于SDL的硬实时调度可执行分析模型

与本文相关的学术论文