基于模型的软件工程和Ada：安全关键系统开发的协同作用
Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems
摘要：
在本文中，我们概述了一个软件开发过程的安全关键系统，旨在结合一些特定的优势，基于模型的开发与程序设计语言的开发使用的安全关键的Ada子集。基于模型的软件开发和基于模型的测试用例生成技术与代码生成技术和工具相结合，为系统本身及其测试用例提供从模型到代码的转换。这允许开发人员将面向领域的基于模型的技术与基于源代码的验证技术相结合，以符合安全关键软件开发标准，如航空电子标准RTCA/DO-178 B。我们介绍了AutoFocus和Validator建模和验证工具集，并概述了其用于建模，测试用例生成和代码生成的组合方法，这是进一步说明了一个简化的前沿航空航天模型内置的容错。
英文摘要：
In this paper we outline a software development process for safety-critical systems that aims at combining some of the specific strengths of model-based development with those of programming language based development using safety-critical subsets of Ada. Model-based software development and model-based test case generation techniques are combined with code generation techniques and tools providing a transition from model to code both for a system itself and for its test cases. This allows developers to combine domain-oriented, model-based techniques with source code based validation techniques, as required for conformity with standards for the development of safety-critical software, such as the avionics standard RTCA/DO-178B. We introduce the AutoFocus and Validator modeling and validation toolset and sketch its usage for modeling, test case generation, and code generation in a combined approach, which is further illustrated by a simplified leading edge aerospace model with built-in fault tolerance.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
