嵌入式系统设计
摘要
近几年来,随着后PC时代的来临,由于具有便利灵活、性能价格比高、嵌入性强等特点,嵌入式系统在各个领域得到了广泛的应用。嵌入式技术发展到今天已经把各种计算机技术交叉融合在一起了,网络把人与应用服务的交互通道变得无所不在,使得支持网络应用所需要的系统软件将发生重大变化,同时嵌入式系统的发展使应用的深度和广度不断扩大,也对嵌入式软件开发技术提出了新的挑战。面对日益复杂的嵌入式应用,如何更好地实现应用,更方便地开发出功能强大的应用软件,已成为嵌入式软件开发平台要面对的主要问题。
面对嵌入式系统复杂性,研究嵌从分析、设计、验证到编码这一整个开发过程的模型系统及建模方法变得越来越重要。本论文介绍了嵌入式系统的通讯接口(USB通信)的实现,基于UML(Unified Modeling Language,统一建模语言)方法分析医疗领域嵌入式系统通信的特点,描述模型的行为,提出了USB的传输方案,并通过研究证明方案的有效性和实用性。
In recent years,along with the coming of pervasive computing,embedded system has gotten a swift development because it is high-efficient and compact,etc.Embedded technology facilitates the integration of multi-level and multi-sampling computer technology today. Internet has changed the software develop,it also take man and application together, with the embedded system's rapid development,it has an important question. It features simple development,high-efficiency and concision.Embedded system becomes more and more complicated.It very important to analy、 develop、 model 、code and verify embedded system.In this paper,we emphasize the design of the embedded system's communication interface(USB).Through the tools of UML,we analyze the specialty of the embedded system's in field of Medical Electronics,describing the modele behavior,we bring forward the USB transfer schema which be proved to be effective and useful by a lot of investigate test result.
面对嵌入式系统复杂性,研究嵌从分析、设计、验证到编码这一整个开发过程的模型系统及建模方法变得越来越重要。本论文介绍了嵌入式系统的通讯接口(USB通信)的实现,基于UML(Unified Modeling Language,统一建模语言)方法分析医疗领域嵌入式系统通信的特点,描述模型的行为,提出了USB的传输方案,并通过研究证明方案的有效性和实用性。
In recent years,along with the coming of pervasive computing,embedded system has gotten a swift development because it is high-efficient and compact,etc.Embedded technology facilitates the integration of multi-level and multi-sampling computer technology today. Internet has changed the software develop,it also take man and application together, with the embedded system's rapid development,it has an important question. It features simple development,high-efficiency and concision.Embedded system becomes more and more complicated.It very important to analy、 develop、 model 、code and verify embedded system.In this paper,we emphasize the design of the embedded system's communication interface(USB).Through the tools of UML,we analyze the specialty of the embedded system's in field of Medical Electronics,describing the modele behavior,we bring forward the USB transfer schema which be proved to be effective and useful by a lot of investigate test result.
引文
[1] 高晓峰 尚利宏 金惠华:框架技术在嵌入式系统中的应用,计算机工程与应用2002.22
[2] 石柯阳 富民 胡贯荣:基于UML的嵌入式系统模型验证机制的研究,计算机工程与应用2001.23
[3] 左光,高晓峰:基于UML的实时框架的分析与应用,半导体技术第27卷第4期2002.4
[4] 唐英 李志蜀:使用UML分析设计嵌入式系统,计算机应用研究2002年第5期
[5] 孙强 张振华 曹跃华:使用UML和C语言实现基于对象的嵌入式软件开发,计算机测量与控制
[6] 希望多媒体开发中心:时代新潮流UML Programming Guide设计核心技术,北京希望电子出版社
[7] 左光 张永平 雄运鸿:一个基于UML的实时框架的分析与应用,中山大学学报论丛
[8] 标准建模语言UML及其支持环境 北京航空航天大学软件工程研究所
[9] Holger Giese: Contraet-based Component System Design, Institut fur formatik, Westf alische Wilhelms-Universitat, Einsteinstra_e 62, 48149 Munster, GERMANY January 2000
[10] Hui-Min Huang, Elena Messina, Harry Scott, James Albus, Frederick Proctor, William Shaekleford: Open System Architecture for Real-time Control Using a UML Based Approach, National Institute of Standards and Technology Gaithersburg, Maryland 20899
[11] Achim Rettberg: Embedded System Design based on Webservices, University Paderborn/C-LAB, 33095 Paderborn, Germany
[12] Grant Martin: UML for Embedded Systems Specification and Design, Motivation and Overview Cadence Design Systems 2001 Addison Street, Third Floor, Berkeley CA 94704, U. S. A.
[13] Doron Drusinsky, Klaus Havelund: Execution-Based Model Checking of Interrupt-Based Systems, Naval Postgraduate School Monterey, CA, USA
[14] Grant Martin, Luciano Lavagno, Jean Louis-Guerin: Embedded UML: a merger of real-time UML and co-design, Cadence Design Systems, Inc. 555 River Oaks Parkway San Jose CA 95134 USA
[15] W. T. Tsai, F. Zhu, L. Yu, R. Paul~*, C. Fan: Verification Patterns for Rapid Embedded System Verification, Department of Computer Science and EngineeringArizona State University Tempe, AZ 85287
[16] Maziar Goudarzi, Shaahin Hessabil, Alan Mycroft: DRAFT PAPER: Object-Oriented Embedded System Design Based on OO-ASIPs, Department of Computer Engineering Sharif University of Technology, Tehran, Iran University of Cambridge, Computer Laboratory
[17] Hui-Min Huang, Elena Messina, Harry Scott, James Albus, Frederick Proctor, and William Shackleford: Open System Architecture for Real-time Control Using a UML Based Approach, National Institute of Standards and Technology Gaithersburg
[18] Rong Chen, Marco Sgroi, Luciano Lavagno, Grant Martin, Alberto Sangiovanni-Vincentelli, Jan Rabaey: EMBEDDED SYSTEM DESIGN USING UML AND PLATFORMS, Univeristy of California at Berkeley, Cadence Design Systems
[19] Sandeep K. Shukla, Frederic Doucet, and Rajesh K. Gupta: Structured Component Composition Frameworks for mbedded System Design, Electrical and Computer Engineering Department, Virginia Tech, Blacksburg, VA 24061 Information and Computer Science Department, University of California, Irvine, CA 92697
[20] Holger Giese: Contract-based Component System Design, FB 10, Institut fur Informatik, Westf alische Wilhelms-Univerist"at Einsteinstr. 62, D-48149 Munster, Germany
[21] Rong Chen, Marco Sgroi, Grant Martin, Luciano Lavagno, Alberto Sangiovanni-Vincentelli, Jan Rabaey: Embedded System Design Using UML and Platforms, University of California, Berkeley, Cadence Design Systems
[22] Andr'e Marburger, Dominikus Herzberg: E-CARES Research Project: Utilizing Dynamic Information, Aachen University of Technology Department of Computer Science ⅢAhornstr. 55, 52074 Aachen, Germany
[23] Valdis Berzins, Lisa Y. Qiao, Luqi: Information Consistency Checking in Documentation Driven Development for Complex Embedded Systems, Naval Postgraduate School, Software Engineering Automation Center Monterey, CA93943
[2] 石柯阳 富民 胡贯荣:基于UML的嵌入式系统模型验证机制的研究,计算机工程与应用2001.23
[3] 左光,高晓峰:基于UML的实时框架的分析与应用,半导体技术第27卷第4期2002.4
[4] 唐英 李志蜀:使用UML分析设计嵌入式系统,计算机应用研究2002年第5期
[5] 孙强 张振华 曹跃华:使用UML和C语言实现基于对象的嵌入式软件开发,计算机测量与控制
[6] 希望多媒体开发中心:时代新潮流UML Programming Guide设计核心技术,北京希望电子出版社
[7] 左光 张永平 雄运鸿:一个基于UML的实时框架的分析与应用,中山大学学报论丛
[8] 标准建模语言UML及其支持环境 北京航空航天大学软件工程研究所
[9] Holger Giese: Contraet-based Component System Design, Institut fur formatik, Westf alische Wilhelms-Universitat, Einsteinstra_e 62, 48149 Munster, GERMANY January 2000
[10] Hui-Min Huang, Elena Messina, Harry Scott, James Albus, Frederick Proctor, William Shaekleford: Open System Architecture for Real-time Control Using a UML Based Approach, National Institute of Standards and Technology Gaithersburg, Maryland 20899
[11] Achim Rettberg: Embedded System Design based on Webservices, University Paderborn/C-LAB, 33095 Paderborn, Germany
[12] Grant Martin: UML for Embedded Systems Specification and Design, Motivation and Overview Cadence Design Systems 2001 Addison Street, Third Floor, Berkeley CA 94704, U. S. A.
[13] Doron Drusinsky, Klaus Havelund: Execution-Based Model Checking of Interrupt-Based Systems, Naval Postgraduate School Monterey, CA, USA
[14] Grant Martin, Luciano Lavagno, Jean Louis-Guerin: Embedded UML: a merger of real-time UML and co-design, Cadence Design Systems, Inc. 555 River Oaks Parkway San Jose CA 95134 USA
[15] W. T. Tsai, F. Zhu, L. Yu, R. Paul~*, C. Fan: Verification Patterns for Rapid Embedded System Verification, Department of Computer Science and EngineeringArizona State University Tempe, AZ 85287
[16] Maziar Goudarzi, Shaahin Hessabil, Alan Mycroft: DRAFT PAPER: Object-Oriented Embedded System Design Based on OO-ASIPs, Department of Computer Engineering Sharif University of Technology, Tehran, Iran University of Cambridge, Computer Laboratory
[17] Hui-Min Huang, Elena Messina, Harry Scott, James Albus, Frederick Proctor, and William Shackleford: Open System Architecture for Real-time Control Using a UML Based Approach, National Institute of Standards and Technology Gaithersburg
[18] Rong Chen, Marco Sgroi, Luciano Lavagno, Grant Martin, Alberto Sangiovanni-Vincentelli, Jan Rabaey: EMBEDDED SYSTEM DESIGN USING UML AND PLATFORMS, Univeristy of California at Berkeley, Cadence Design Systems
[19] Sandeep K. Shukla, Frederic Doucet, and Rajesh K. Gupta: Structured Component Composition Frameworks for mbedded System Design, Electrical and Computer Engineering Department, Virginia Tech, Blacksburg, VA 24061 Information and Computer Science Department, University of California, Irvine, CA 92697
[20] Holger Giese: Contract-based Component System Design, FB 10, Institut fur Informatik, Westf alische Wilhelms-Univerist"at Einsteinstr. 62, D-48149 Munster, Germany
[21] Rong Chen, Marco Sgroi, Grant Martin, Luciano Lavagno, Alberto Sangiovanni-Vincentelli, Jan Rabaey: Embedded System Design Using UML and Platforms, University of California, Berkeley, Cadence Design Systems
[22] Andr'e Marburger, Dominikus Herzberg: E-CARES Research Project: Utilizing Dynamic Information, Aachen University of Technology Department of Computer Science ⅢAhornstr. 55, 52074 Aachen, Germany
[23] Valdis Berzins, Lisa Y. Qiao, Luqi: Information Consistency Checking in Documentation Driven Development for Complex Embedded Systems, Naval Postgraduate School, Software Engineering Automation Center Monterey, CA93943