在控制领域提高嵌入式计算机的完整性.docVIP

本科毕业设计外文翻译（2） 题目：在控制领域提高嵌入式计算机的完整性 学 院： 专 业： 班 级： 学 号： 学生姓名： 指导老师： 提交日期：  在控制领域提高嵌入式计算机的完整性 Matjaz Colnaric, Domen Verber ，Wolfgang A. Halang 本文全面概述了一个工程处理嵌入式控制系统的设计,及其进入更高水平的安全完整性要求。它说明了如何适应和合理使用现有的方法来解决问题，只要有可能，就不必诉诸新的创新。首先，处理和广泛的阐述硬件问题，特别是外围接口与综合处理能力。其次，经过简单处理证明可以正确的在实时操作系统上执行自己的专用处理器，最后，规划问题，包括说明具体的编程语言，时间有界的例外处理，以及如何处理时间过载问题。 关键词：实时；嵌入式；坚定；安全系统；外围接口；例外处理；过载；容错 1 引言 　　　　3 操作系统 　　 4 编程 　　4.1 MiniPEARL 　　MiniPEARL是一个严格的分类化和结构化的程序设计语言，添加了一些功能以提高任务操作及支持实时的具体编程。 　　不成熟的行为都被放弃或修改了。例如，没有可以导致非结构化的代码，没有动态特征像指针，递归可能导致内存管理的问题。 　　在续篇中，将列举MiniPEARL的一些增加程序执行的时间可预测性特点。 　　每个循环模块紧紧包围。在 REPEAT 语句中，循环迭代次数的最高最低计数必须表现并且用编译时常量表达式表示，使一环的最长执行时间可估计。此外，放弃WHILE部分，取而代之的是一个明确的IF-EXIT 表内循环。 　　每个同步建设有时间范围。经典编程语言同步方法（例如关键区域或信号）可以任意长的延长。在MiniPEARL，每个这样的命令都有时间上的控制，一个明确的行动在课题中定义为超时事件。 　　明确生效执行时间。在某些案例中，由于程序的性质，可能产生太悲观的执行时间。要解决这个问题，程序员必须给程序流程更多信息(Park, 1993; Puschner Koza,1989)。但是，这些方法需要复杂的程序结构知识，在所有案例中是不可行的。为了克服这个问题，一部分系统开发者可以明确地断言代码的执行时间。在这种情况下，预计结果将被分析器宣布的执行时间推翻。然而，为了保证实际执行时间不长于宣布的执行时间，必须采取暂停控制，暂停行动必须存在。 　　操作系统内核处理器的调度算法依赖于每一项任务的残余执行时间更新剩余任务执行时间。这个时间计算为任务的最大执行时间减去累计运行时间。然而，随着该计划的进展，是可以更准确地估计剩余执行时间。新的UPDATE语句可以明确地使用，并在必要的时候，对剩余运行时间进行新的估计。 　　　4.2 例外处理 　　当一个系统表现出超出其正常规格的行为也就是说它在一个特殊的状态。这种状态显示了异常情况和对其完整性的潜在危险。因此重要的是，它是一贯执行，系统纳入一种安全运行状态，或缓慢停止。 　　如果时间可预测的行为是必要的，异常处理是一个需要解决的问题。当一个程序中出现异常，后者是不可避免的延迟执行相关程序（处理器）造成的关于检验确定任务执行时间的问题方面。因此，应尽可能地通过一切手段防止异常（Black，1983）。 　　来源于实时系统的异常经仔细检查可以下分为三类：预防，避免以及灾难性的例外。在续篇中，三个分类是以务实的态度处理。 　　4.2.1 预防例外 　　如果可能的话，处理异常的最好方法是防止他们发生。通过在潜在的危险特征上施加一定的限制使用可以预防一些例外。通常，这些限制在程序执行中会必不可少的提供时间可预测性，像放弃动态结构、指针或虚拟内存。 　　防止非法数据所造成的异常，如非法操作、和违规操作（例如负数的平方根的论点、数组或索引超出范围、申报/运行时的值不匹配）或在算术运算溢出或下溢，可以采取各种措施。一种方法是在语言使用上实行严格的类型检查，使可能的违规操作，可以检测并报告在编译时间上。这也是合理使用二进制浮点运算标准的原则 (IEC, 1989;IEE, 1985）。输入和输出数据类型扩展的“不规则”值代表签署“无限容纳溢出和下溢”以及“未定义（not-a-number—NaN)）”正式无效操作的结果。因此，产生不规则的结果不引发异常，可以传播到可能能够处理它们的随后的或更高水平的模块。 　　4.2.2 可预防的例外 在有些情况下不规则和意外事件一定会发生。在他们的程序中，程序员往往倾向于需要他们在场的服务事件，和像那种不想要的意外：它是不相干的事件，无论你是否想要。 如果这样的活动可以在设计阶段预期测到，应纳入规范来充分处理。因此，