分享到:

实时程序设计方法的发展趋势

1.引言 自从计算机在本世纪出现以来,在过程控制、数据采集处理等实时领域中就应用了计算机,并且.随着超大规模集成电路制作工艺等微电子技术的不断进步,微处理机性能的提高和价格的不断下降,使得计算机实时处理的应用更加广泛。这些应用从一般的过程控制、自动化仪器仪表,到复杂的工业机器人、遥控遥测系统、航空航天飞行器控制等领域。 我们从计算机在实时处理领域的应用中看到,实时软件开发、维护手段、实时软件设计的科学性、方法论,不能满足这一应用的需要。随着软件设计科学性的研究,特别是软件工程概念的提出和有关研究的开展,国内外的研究者也开始注意到了这一问题〔1〕〔213〕。 实时程序设计从概念上说与一般的程序设计(数值计算、数据处理)具有根本的不同之处。实时程序执行的正确性不仅与程序逻辑计算结果有关,而且与程序被执行的先后次序和时间限制的关系也十分相关。我们知道,程序是对输人数据进行加工、处理产生出输出数据的过程,与程序被执行的时间影响不大。实时...  (本文共6页) 阅读全文>>

《现代计算机(专业版)》2007年06期
现代计算机(专业版)

实时软件设计方法的发展趋势

0引言实时程序若不能满足时间限制条件,就会直接影响其执行结果的正确性,因此,实时程序设计将会比一般的程序设计更加复杂和困难,由于在实际的计算机应用系统中,人们通常将时间限制的满足强加于物理硬件设备上,因而,就忽视了对这一问题的深入研究。1实时系统概述实时系统是与实时处理密切相关的计算机系统,即需要在规定的时间之内对外部世界的异步、随机事件给子响应、处理的系统。实时系统随着计算机技术和自动控制理论应用的发展已有了新的发展,主要体现在:系统功能的分布、系统的智能性、自适应性和高度的动态重构。对实时系统的研究需要建立一套统一的理论和技术来解决实时系统开发的困难,这些理论和技术将在开发的各个抽象阶段中对实时程序的正确性证明、时间限制条件验证、可靠性等方面发挥作用,目前对这一问题的研究主要集中在以下几个方面:①实时系统的规范和验证;②实时程序设计语言和设计方法;③实时调度理论与实时操作系统;④实时系统的容错处理;⑤实时通信技术。2程序处理...  (本文共4页) 阅读全文>>

《南京邮电学院学报》1987年04期
南京邮电学院学报

程序设计方法学在汇编语言程序设计中的一些应用

汤、、概述 自60年代末到,o年代初,随着科学技术的发展,出现了大型软件系统,如数据库系统、操作系统、人工智能系统等等。大系统的出现使过去只依靠人工作坊式的软件设计成为厉史,取而代之的是很多人共同设计某一项目,例如一个大型操作系统有时需要几午人年的工作量。但是,由于当时没有遵循一定的科学设计方法,研制一个大系统不仅花费大量人力和物力,而且研制的产品常常结构不好,可靠性差,错误多,维护和修改也很困难。当时,计算机科学界称这种普遍性的现象为“软件危机”。这就促使计算机科学工作者开始研究程序设计中的一些最为基本的问题,研究程序结构和风格,探索程序设计的方法和原则。 1969年,Dijkstra首先提出了结构程序设计的概念,它强调了从程序结构和风格上研究程序设计。经过实践证明,用结构程序设计的方法编出的程序不仅结构良好,易写易读,而且易于证明正确性。 70年代以来,程序设计技术的发展是以方法论的研究为特征的。不仅结构程序设计方法日趋完善...  (本文共8页) 阅读全文>>

《小型微型计算机系统》1982年04期
小型微型计算机系统

程序设计方法学注记

一、什么是程序设计方法学 程序设计方法学(progra胡mingm‘hod。-扣gy)是七十年代程序设计的主要研究方向,它的内容涉及到程序设计活动的各个方面,根据E。T.yeh编辑的((C环rrenr trendsi:prog-犷“mmingm。认od。如盯》,它包括软件规定和设计(Software speeiffeatioo anddesig,:),正确性(,a工fdatfon),模型(、ode工ing)以及程序和数据结构( sturet“res oj programsa,:d data)四个方面。有人甚至还将程序的管理和维护也归入方法学的范畴。我们的看法是,方法学的核心是由五.W.Dij眺t;。和C.A。R.HOar。所倡导和发展的一整套程序设计技术。因而,我们也突出了这个重点。 程序设计方法学的发展,大致可分为两个阶段:前一阶段是结构程序设计,强调从程序结构和风格上来研究程序设计,旨在追求程序的可靠性,第二阶段是程序展开系...  (本文共6页) 阅读全文>>

《临沂师专学报》1960年30期
临沂师专学报

程序设计方法学中的结构化程序设计

程序设计方法学中的结构化程序设计张正瑜(山东财政学院信息系,济南,250014)随着计算机技术的日新月异的发展,计算机无论在容量上,还是在速度上都大大提高,从而形成了硬件费用日趋下降而软件费用急剧上升的情况.在这种情况下,传统的程序设计方法也从单纯的强调效率变为“清晰第一,效率第二”.为了解决以上问题,提高软件生产率以及软件的可靠性和可维护性,就需要研究程序设计方法及其工具和规范问题.这对软件产业的发展,应用社会化、开发工程化、产品商品化具有深远的指导意义和经济效益.1程序设计方法的革命自荷兰著名计算机专家E·D·Dijkstra于1969年提出“结构化程序设计方法”后,引起了程序工作者的强烈反映,并成为程序设计方法学的一个重要组成部分.程序设计成为一门科学,而不仅是原来的“艺术”或“技巧”了,它有了自己的基本原理和方法.结构程度设计强调的是从程序结构和风格上来研究程序设计.TongHoars对结构程序设计作了以下确切的定义:“...  (本文共3页) 阅读全文>>

《计算机研究与发展》1983年05期
计算机研究与发展

程序设计方法学的发展

一己!生. 、J二二翻 Ada语言一开始就引起了人们的注意。这部分是因为这语言是在象美国国防部那样庞大的机构的赞助下发展的;部分是因为这是人们为减少埋人式计算机系统(The EmbeddedComputer Systems)的软件成本而作的一次认真的尝试。它的要求(STEELMAN)〔”〕旨在直接处理在过去十余年间所出现的软件工程的许多关键性问题。现在,Ada语言的最后文本已经公诸于世。虽然可以期望仍会有若干小的修改,但它的体系及其原理〔了“似乎不会有什么变化。作者相信,为了了解在过去十余年间我们在程序设计方法学的发展中学到了什么,考察Ada所提供的若干设备是一件很有意义的事。因为Ada是一种计算机专业的大型通用语言,它实际上支持了软件工程的许多新概念,因此不可能阐述语言的各个方面,仅对下列几个特点作一分析,即抽象,模块化及多任务处理。 二、抽象 在许多科学领域内,人们早就认识到抽象是一种有力的思想工具。但在计算机科学内,抽象的...  (本文共8页) 阅读全文>>

《兰州大学学报》1992年S1期
兰州大学学报

面向对象的程序设计方法初探

0引言二.· 计算机科学的发展速度之快,是其它任何学称技术都无法比脚吓自从世界上第一个高级程序设计语言的出现,各种各样的高级程序设计语言如雨后春笋般地发展起来。现在经常使用的少说也有几十种.;但是在程序设计方法学上有重大变革的却甚少.70年代在程序设计方法学研究中获得了3个重要成果:①数据抽象机制,②异常处理机制,③并行控制机制.这三个特性在80年代出现的Ada语言中得到了充分体现.在程序设计方法学上有重大突破的结构化程序设计,例如Pascal语言,另外逻辑程序设计以其强有力的知识表达能力,严密的逻辑基础和有效的实用系统为广大计算机工作者所欣然接受,人们在对应研究的基础上取得了许多可喜的成果。这些可以毫不夸张地说传统的程序设计语言已经发展到了顶峰.随着计算机科学技术的发展,软件设计方法不断涌现,面向对象程序设计(Objeet一Orientedp:ogramming)就是近年来发展起来的新的软件设计方法。它集数据抽象、抽象数据类型...  (本文共4页) 阅读全文>>