论文部分内容阅读
用于嵌入式设备的计算机几乎和计算机本身的历史一样长久,并且随着计算机技术的发展,嵌入式系统已成为计算机领域的一个重要组成部分。 嵌入式设备几乎包括了我们周围的所有电器设备:小至掌上PDA、电视机顶盒,大至汽车、电梯,安全系统等等。嵌入式系统是硬件与软件结合而构成的一个专门的计算装置,完成特定的功能或任务。它是一个大系统或重大电子设备中的一部分,工作在一个与外界发生交互并受到时间约束的环境中,在没有人干预的情况下进行实时控制。 目前,嵌入式技术在嵌入式应用中占主导地位,主要涉及三种技术: 1.嵌入式系统设计即软件与硬件相协同验证技术; 2.与基于UML的实时软件、实时操作系统应用开发等密切相关的嵌入式软件开发技术; 3.目前嵌入式应用亟待解决的嵌入式软件测试技术。 上述工具的灵活应用为嵌入式软件开发提供了完整的解决方案。但我国目前嵌入式应用的基础和水平还达不到这个要求,国内自主研发的产品还很少,甚至还是空白。 因此随着嵌入式技术的普及和推广,针对嵌入式系统开发的高级编程语言的研究也势在必行。目前国内几乎所有的嵌入式软件开发技术都是在Linux基础上建立起来的,其他语言在开发嵌入式软件方面不是很少就是几乎没有,局限于一种语言开发嵌入式软件对我国的嵌入式系统开发和发展并无益处。Esterel语言是设计人员用来描述系统的结构和行为的一种形式语言。作为操作编程语言的一种,Esterel语言在我国的使用和介绍的文章目前可以说基本上没有,在国外,也只是欧盟各国之间在实际的产品开发中使用Esterel语言,直到2001年的设计自动化会议期间,Esterel技术公司才把这种语言引入美国。作为一种描述反应式嵌入式系统而开发的同步可编语言—Esterel语言,在开发嵌入式系统上具有一定的优势。 本文从嵌入式系统的软件开发流程、嵌入式系统的组成、嵌入式操作广东工业大学工程硕士学位论文系统的种类、影响嵌入式系统开发的技术以及形式化软件开发的方法等方面入手,提出利用ESterel语言的优势结合其他开发语言,如:ADA语言、C/C十+语言等广泛应用于嵌入式系统开发的高级程序语言来开发嵌入式系统。