Story Diagrams in Real-Time Software
Story Diagrams in Real-Time Software
复制标题
实时软件中的故事图
DOI：
--
复制
发表时间：
2006
期刊：
影响因子：
--
通讯作者：
Andreas Seibel
中科院分区：
文献类型：
--
作者：
M. Tichy;H. Giese;Andreas Seibel
软件在当今嵌入式系统中扮演着越来越重要的角色。嵌入式软件的开发工作必须考虑快速开发、维护代码、正确以及高性能软件之间的权衡。图形化面向对象语言可以帮助创建更多的可维护代码，同时也提供了更好的方法来确保正确性。可预测的实时行为，此外，操作的执行时间在嵌入式领域中特别重要。在本文中，我们提出了一种图形语言，采用图形变换作为一个正式的基础。该语言特别适合于数据结构的事件驱动转换。此外，我们提出了我们的最坏情况下的执行时间估计的方法来预测软件的时域行为。我们评估我们的方法，从铁路领域的一个例子。
Software plays an increasingly important part in todays embedded systems. Development efforts for embedded software must consider the trade-off between fast development, maintainable code, correct as well as high-performance software. Graphical object-oriented languages can help in creating more maintainable code, while also providing better means to ensure correctness. Predictable real-time behavior w.r.t. the execution time of operations is additionally of particularly importance in the embedded domain. We present in this paper a graphical language employing graph transformations as a formal foundation. The language is especially geared for event-driven transformations of data structures. Additionally, we present our approach for worst case execution times estimation to predict software behavior in the time domain. We evaluate our approach using an example from the railway domain.