Code generation from hybrid systems models for distributed embedded systems

Code generation from hybrid system models is a promising approach to producing reliable embedded systems. This approach presents new challenges as the precise semantics of the model are hard to capture in the code. A framework for generating code was introduced for single threaded/processor environments. We extend it by considering code generation for distributed environments. We also define criteria for faithful implementation of the model. To this end, we define faulty and missed transitions. For preventing faulty transitions, we build on the idea of instrumentation we have developed for sound simulation of hybrid systems. Finally, we present sufficient conditions to avoid missed transitions and provide examples.

从混合系统模型生成代码是一种很有前景的生成可靠嵌入式系统的方法。由于模型的精确语义很难在代码中体现，这种方法带来了新的挑战。针对单线程/处理器环境引入了一种代码生成框架。我们通过考虑分布式环境下的代码生成对其进行了扩展。我们还定义了忠实实现模型的标准。为此，我们定义了错误转换和遗漏转换。为了防止错误转换，我们基于为混合系统的合理模拟所开发的插装思想。最后，我们给出了避免遗漏转换的充分条件并提供了示例。