Optimizing the Robustness of Software against Communication Latencies in Distributed Reactive Embedded Systems
This paper presents a formal approach of designing software robust against communication latencies that typically occur in distributed embedded systems. In this approach, the software’s data-flow is retimed and scheduled in order to achieve the maximum robustness against possible communication latencies. This robustness is derived individually for a given software and its distribution on a platform’s communication topology. Robustness is interpreted as the guaranteed amount of time, up to which the system does not change its externally observable behavior due to communication latencies. The software’s data-flow is given as a data-flow graph with nodes representing tasks and edges representing communication channels. A linear problem approach is employed that transforms elements of data-flow into variables of linear expressions. An implementation of the approach in the tool Cadmos together with the application on a case example from the automotive software engineering domain shows its practicability.
KeywordsDistributed Systems Embedded Systems Reactive Systems Data-Flow Retiming Linear Problem Scheduling Communication Latency Robustness
Unable to display preview. Download preview PDF.
- 1.Harel, D., Pnueli, A.: On the development of reactive systems, pp. 477–498. Springer-Verlag New York, Inc., New York (1985) Google Scholar
- 5.Sriram, S., Bhattacharyya, S.S.: Embedded Multiprocessors: Scheduling and Synchronization, 1st edn. Marcel Dekker, Inc., New York (2000)Google Scholar
- 7.Leiserson, C., Rose, F., Saxe, J.: Optimizing synchronous circuitry by retiming. In: Third Caltech Conference on Very Large Scale Integration, pp. 87–116. Computer Science Press, Incorporated (1983)Google Scholar
- 11.Schwitzer, W., Popa, V., Chessa, D., Weissenberger, F.: Cadmos - A concurrent architectures toolkit (2012), http://code.google.com/p/cadmos/ (accessed April 03, 2012)
- 12.LP_Solve Developers: LP_Solve Website (2012), http://lpsolve.sourceforge.net/ (accessed April 03, 2012)
- 13.Feilkas, M., Fleischmann, A., Hölzl, F., Pfaller, C., Scheidemann, K., Spichkova, M., Trachtenherz, D.: A Top-Down Methodology for the Development of Automotive Software. Technical report, Technische Universität München (2009)Google Scholar