首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 171 毫秒
1.
嵌入式建模中带有时间扩展的UML状态图的形式化方法   总被引:4,自引:0,他引:4  
面向对象建模语言UML(Unified Modeling Language)已广泛用于嵌入式系统建模,但它在嵌入式实时系统建模时存在概念模型形式化复杂和状态图对时间约束方面的建模功能不强的问题,针对这些问题,提出一种对UML状态图进行时间扩展的方法,并提出利用"可执行UML"对带有时间扩展的UML状态图形式化的方法.  相似文献   

2.
统一建模语言UML(unified modeling language)在嵌入式系统设计建模中已经获得了广泛的承认,有很多成功的应用.但UML在嵌入式建模中存在时间约束描述能力不强和所建模型形式化复杂、验证难及模型重用性不高等问题.针对这些问题提出了一种改进策略:定义实时语义和映射规则,建立实时描述模式模板,使用模板中实时描述模式描述时间约束信息.改进后的方法能可视化地分析模型、纠正错误和简单地进行形式化转换,能利用支撑工具对模型进行验证,较好地解决了UML在嵌入式系统建模中存在的问题.  相似文献   

3.
熊磊  蒋句平 《计算机工程与设计》2007,28(10):2395-2397,2400
针对嵌入式系统设计和开发的特点和需求的不断提高导致设计开发的复杂性,研究了将UML和平台结合进行嵌入式系统设计的一种方法,使用UML描述平台细节和所提供的功能;利用UML的扩展特性建立了一种UML平台profile,包含建立新的构造类、构造关系、标签值和约束;并将这种UML和平台相结合的设计方法应用在嵌入式系统实例上,选择了组成嵌入式系统实例的硬件和软件平台,针对实例平台不同的服务层次建立了面向应用建模服务的相应实例平台模型,使用了静态图和动态图表示了这种平台模型,并且描述了实例平台模型的一种应用.  相似文献   

4.
统一建模语言UML在嵌入式系统设计建模中已经获得了广泛的认可,并有很多成功的应用,但UML存在时间约束描述能力不强和所建模型形式化复杂、验证难的问题。针对上述问题,本文提出了使用UML扩展机制对UML状态图进行时间扩展,建立系统状态一约束一事件矩阵来对模型进行形式化描述的方法。该方法解决了UML在嵌入式系统建模时存在的问题。应用实例和实验结果验证了该方法的可行性和有效性。  相似文献   

5.
倪水妹  曹子宁  李心磊 《计算机科学》2014,41(5):254-262,269
带数据约束的实时系统是指一种既带有时间约束又带有数据变量约束的计算系统。目前将离散数据约束和连续时间约束统一在一个模型中的规范及验证研究较少。文中提出了一种既带有连续数据约束又带有离散数据约束的规范——基于连续时间的ZIA规范,并给出它的时序逻辑。MARTE是UML在嵌入式实时系统领域的建模规范,在工业界的应用非常广泛,但是目前对其模型检测的研究较少。在MARTE的基础上扩展Z,提出了Z-MARTE,并将Z-MARTE转换为基于连续时间的ZIA模型,在实现对连续时间ZIA模型检测的同时,也实现了对Z-MARTE的模型检测。最后通过一个实例进行验证,说明此方法可行有效。  相似文献   

6.
明晰了受地理空间约束的业务流程的两个基本概念:地理位置与地理空间信息.首先,提出了地理空间约束思想,分析了地理空间约束的内涵,并在工作流元模型的知识基础上构建了地理空间约束的UML语义框架;其次,以形式化的方式提出了地理空间约束的业务流程建模方法(LAWF-net),并描述了LAWF-net模型转化为CPN可执行模型的规则,探讨了地理空间约束对流程建模的影响;最后,通过案例结合GIS系统来扩展CPN Tools,不仅验证了LAWF-net建模方法的可行性,而且实现了地理空间约束的业务流程的可视化.  相似文献   

7.
阐述了嵌入式系统和标准建模语言UML的概念;指出了传统的嵌入式系统开发过程中存在的问题,同时提出了基于UML的嵌入式系统设计方法;并介绍了使用UML对嵌入式系统——无线接入点(Access Point)作面向对象分析与设计的过程。  相似文献   

8.
嵌入工作流的ERP系统的设计与实现   总被引:1,自引:0,他引:1  
传统ERP系统在业务流程管理方面存在不足,通过引入工作流管理能够弥补其不足.通过比较自治工作流管理系统与嵌入式工作流管理系统,提出在ERP系统中采用嵌入式工作流管理的方法.从工作流建模和过程控制方面,介绍了基于UML活动图模型的嵌入式工作流管理模块的设计和实现方法.给出了支持工作流的ERP系统的实施方法.通过嵌入工作流管理到传统ERP系统中,提高了系统对企业业务的适应能力,也提高了软件重用和开发效率.  相似文献   

9.
实时系统动态行为模型的一种形式分析方法*   总被引:1,自引:0,他引:1  
戎玫 《计算机应用研究》2009,26(9):3365-3368
提出了一种基于统一建模语言UML 2.0的实时系统动态行为模型的形式分析方法。首先给出了UML顺序图的形式化描述,分析了UML顺序图中事件之间的关系;在此基础上,给出一种对象自动机来描述每个对象在UML顺序图描述的场景中所参与的事件序列的方法,并将该方法扩展到带有组合片段的UML 2.0顺序图;最后通过分析UML 2.0顺序图中的时间建模机制,给出了从UML 2.0顺序图中提取时间约束得到时间自动机的算法。  相似文献   

10.
将扩展UML与Petri网应用在嵌入式系统设计中的研究   总被引:1,自引:0,他引:1  
随着嵌入式系统的不断发展,传统的嵌入式开发已经远远不能适应新的要求,需要借助UML强大的系统设计能力来解决效率低下的问题,但是标准UML在多系统级任务并发,任务之间同步、系统仿真以及实时性方面没有提供足够的支持,很难直接应用到嵌入式系统的设计中.本文研究了一种将时间约束Petri网和扩展UML相结合的方法,通过利用Petri描述异步性和并发性的能力来扩展UML的构造型和流程图,通过将UML转化为Petri图,进而可以利用Petri强大的理论体系来验证UML的正确性.  相似文献   

11.
嵌入式系统设计的一个重要任务就是寻找硬/软件最佳搭配方案.随着系统复杂性的不断提高,采用嵌入式系统硬/软件协同设计是提高设计质量的有效手段.本文在讨论嵌入式系统设计一般方法的基础上,阐述了系统的硬/软件协同设计技术和硬件/软件划分方法,提出了以系统硬/软件划分策略为基础,系统组件的权重值为参考,组成元素划分为依据的设计理念,构造了基于移动环境的系统的硬/软件协同设计的EHSC(Embedded Hardware/Softwarre Codesign)模型.并依照此模型,实现了一种移动嵌入式系统“电子书包”阅读器的设计和开发.  相似文献   

12.
Fleischmann  J. Buchenrieder  K. 《Computer》1999,32(2):116-119
Sophisticated consumer devices that support multimedia-personal digital assistants, network computers, and mobile communication devices-pose challenges for embedded systems designers. The low-cost, consumer-oriented, fast time-to-market mentality that dominates embedded system design today forces design teams to use hardware-software codesign to cope with growing design complexities. New codesign methodologies and tools must support a key characteristic of next-generation embedded systems: the capability to communicate over networks and adapt to different operating environments. The paper discusses two emerging classes of embedded systems: multifunction systems and multimode systems  相似文献   

13.
Subrahmanyam  P.A. 《Computer》1993,26(1):84
The expectations, experimental results, and open issues relating to codesign research are discussed. Codesign refers to the integrated design of systems implemented using both hardware and software components. It is argued that the renewed interest in codesign is largely explained by the increasing diversity and complexity of applications employing embedded systems; the need to decrease the cost of designing and testing such systems; and advances in some key enabling technologies  相似文献   

14.
《Applied Soft Computing》2008,8(1):383-391
Hardware/software codesign is the main approach to designing the embedded systems. One of the primary steps of the hardware/software codesign is the hardware/software partitioning. A good partitioning scheme is a tradeoff of some constraints, such as power, size, performance, and so on. Inspired by both negative selection model and evolutionary mechanism of the biological immune system, an evolutionary negative selection algorithm for hardware/software partitioning, namely ENSA-HSP, is proposed in this paper. This ENSA-HSP algorithm is proved to be convergent, and its ability to escape from the local optimum is also analyzed. The experimental results demonstrate that ENSA-HSP is more efficient than traditional evolutionary algorithm.  相似文献   

15.
Hardware-software codesign has been a research topic since the beginning of this decade (1990s), but only now are structured methods emerging that focus on automating design. Unfortunately, to date most codesign approaches leverage performance from individual hardware and software tools, rather than enforcing a structured integration of hardware and software systems simultaneously. A few frameworks have successfully done this integration and have the potential for significant benefits, including reduced time to market, smaller scale design, better likelihood of component reuse, and maximum use of processing power. The article describes a codesign approach that lets developers create models of a formal system representation independently of the hardware and software implementation. The authors' framework, which targets embedded systems, lets developers use simulation based modeling to explore the feasibility of virtual prototypes and then interactively map the specification onto a software-hardware architecture  相似文献   

16.
17.
The complexity and the short time to market of embedded systems require the use of automated techniques during the specification, implementation, and testing phases of such systems. Due to the cost requirements and the timing constraints of such systems, application-specific hardware solutions are often needed, making the codesign of hardware and software a major topic for the design automation of embedded systems. This article describes tools for the analysis, synthesis, and rapid prototyping of distributed embedded real-time systems and presents a complete design flow from specification to implementation  相似文献   

18.
To guide design decisions in developing an optimized architecture for automotive powertrain modules, we relied upon analysis, a key to hardware-software codesign. Complicating such efforts are ongoing refinements to the underlying algorithms, ever stricter government standards, reusability demands, and late-arriving specifications for the controlled components. In our approach, configuration-level analysis lets us quickly and efficiently explore a large design space. Behavioral-level analysis validates decisions and optimizes hardware and software. Our codesign methodology extends to similar real-time embedded systems  相似文献   

19.

Spreading the use of embedded electronic multimedia systems to a large audience has more than one requirement. In fact, it should be operating in extreme conditions: random fluctuation conditions of network transmission, the limited energy resources as well as variable users constraints. All these dynamic parameters were not considered previously in classic codesign methods. In this paper, we propose a novel architecture which combines between adaptation network, application and architectural level. Various assessments were made to validate it raging from the static reconfiguration to the dynamic one, from using monoprocessor systems to multiprocessor ones. We present also a case study on a real system using the proposed Xilinx design for a 3D application.

  相似文献   

20.
霍芋霖  符意德 《计算机科学》2016,43(10):322-325
针对目前大多嵌入式人脸检测系统因资源限制而导致的软件方式实现速度较慢的问题,提出利用软硬件协同的方法来加速人脸检测。在Zynq-7000平台的基础上,使用C语言实现了基于AdaBoost级联分类器的人脸检测算法,并测试了各个模块的运行时间。结合算法实现的具体过程及其繁复程度给出了硬件加速方案。将检测算法计算量大而多的部分转移到硬件部分进行优化加速,在Zynq-7000平台上实现了软硬件协同的人脸检测,最后给出了相应模块的加速结果。  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号