Published Articles >> Table of Contents >> Abstract

13th Euromicro Conference on Real-Time Systems (ECRTS'01)   p. 0143
Partitioning of Hierarchical Automation Systems
Emanuele Ciapessoni, CESI Centro Elettrotecnico Sperimentale Italiano
Francesco Maestri, CESI Centro Elettrotecnico Sperimentale Italiano
Judit Szanto, CESI Centro Elettrotecnico Sperimentale Italiano
Stefano Crespi-Reghizzi, Politecnico di Milano
Andrea Ornstein, Politecnico di Milano
Giuseppe Psaila, Università degli Studi di Bergamo

Full Article Text:

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/EMRTS.2001.934018
Send link to a friend

Abstract
Abstract: The research described concerns the partitioning of large control applications for a multi-computer system in order to meet plant localization requirements and to exploit parallelism. The considered applications have hierarchical structure and are composed by a network of automata. Our application domain is the automation of power stations and electricity distribution. Because of strong EM noise in such environments, the software architecture is organized to be tolerant to transient faults, which could affect the stability of the control system. The hierarchical structure provides a decompositional approach to the design of complex applications. The context for this work is the ASFA platform, originally designed by the Italian board of electricity. The main result is a new partitioning algorithm for hierarchical automata networks, that splits the application into sub-networks which are deadlock-free, compliant with localization constraints, and as parallelizable as possible. The algorithm is also able to satisfy mutual exclusion constraints and to take into account computation/communication weights to achieve balancing of partitions.
Back to Top Additional Information
Citation:  Emanuele Ciapessoni, Francesco Maestri, Judit Szanto, Stefano Crespi-Reghizzi, Andrea Ornstein, Giuseppe Psaila, "Partitioning of Hierarchical Automation Systems," ecrts, p. 0143,  13th Euromicro Conference on Real-Time Systems (ECRTS'01),  2001