基于模型的分布式嵌入式系统开发——以Scicos/SynDEx框架为例
Model-Based Development of Distributed Embedded Systems by the Example of the Scicos/SynDEx Framework
AI总结：
本文通过Scicos/SynDEx框架研究基于模型的开发（MBD）在分布式嵌入式系统中的可行性，实验表明MBD在单处理器应用中会带来额外内存消耗，且分布式代码生成需大幅修改调度表，目前仅推荐用于实验目的。
摘要：
嵌入式系统工程行业面临着对更多功能、快速演进的组件以及缩短的开发周期的日益增长的需求。需要具备快速适应变化、以安全设计开发产品、最小化项目成本以及及时交付的能力。基于模型的开发（MBD）通过以适当的强度对系统进行抽象来遵循关注点分离。MBD通过在多个抽象层次上建模、形式化验证和自动代码生成，有望提高理解度。本论文以Scicos/SynDEx框架为例，在分布式嵌入式系统上展示了MBD。Scicos是用于混合系统的建模与仿真环境。SynDEx是用于分布式系统的快速原型集成开发环境。执行的示例在包含多个联网微控制器、传感器和执行器的目标系统上实现了著名的控制算法。所解决的研究问题涉及MBD对中型嵌入式系统的可行性。在单处理器应用中，实验表明，与手动编写方法相比，工具提供的仿真、验证和代码生成的便利性必须与动态和静态内存中的额外内存消耗相权衡。使用Scicos/SynDEx建立近乎无缝的建模框架代价高昂。增加的开发展示了开发单个应用程序的高昂代价，但对于产品系列可能值得。另一个缺点是，使用SynDEx生成的分布式代码无法在不显著修改调度表的情况下适应微控制器。Scicos/SynDEx框架形成了一个有价值的工具集，但仍需许多改进。因此，仅推荐将其用于实验目的。
英文摘要：
The embedded systems engineering industry faces increasing demands for more functionality, rapidly evolving components, and shrinking schedules. Abilities to quickly adapt to changes, develop products with safe design, minimize project costs, and deliver timely are needed. Model-based development (MBD) follows a separation of concerns by abstracting systems with an appropriate intensity. MBD promises higher comprehension by modeling on several abstraction-levels, formal verification, and automated code generation. This thesis demonstrates MBD with the Scicos/SynDEx framework on a distributed embedded system. Scicos is a modeling and simulation environment for hybrid systems. SynDEx is a rapid prototyping integrated development environment for distributed systems. Performed examples implement well-known control algorithms on a target system containing several networked microcontrollers, sensors, and actuators. The addressed research question tackles the feasibility of MBD for medium-sized embedded systems. In the case of single-processor applications experiments show that the comforts of tool-provided simulation, verification, and code-generation have to be weighed against an additional memory consumption in dynamic and static memory compared to a hand-written approach. Establishing a near-seamless modeling-framework with Scicos/SynDEx is expensive. An increased development effort indicates a high price for developing single applications, but might pay off for product families. A further drawback was that the distributed code generated with SynDEx could not be adapted to microcontrollers without a significant alteration of the scheduling tables. The Scicos/SynDEx framework forms a valuable tool set that, however, still needs many improvements. Therefore, its usage is only recommended for experimental purposes.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
