Communications of the ACM
Feedback Control Scheduling in Distributed Real-Time Systems
RTSS '01 Proceedings of the 22nd IEEE Real-Time Systems Symposium
ReCoNet: Modeling and Implementation of Fault Tolerant Distributed Reconfigurable Hardware
SBCCI '03 Proceedings of the 16th symposium on Integrated circuits and systems design
Task-level timing models for guaranteed performance in multiprocessor networks-on-chip
Proceedings of the 2003 international conference on Compilers, architecture and synthesis for embedded systems
Organic computing: on the feasibility of controlled emergence
Proceedings of the 2nd IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
A formal approach to robustness maximization of complex heterogeneous embedded systems
CODES+ISSS '06 Proceedings of the 4th international conference on Hardware/software codesign and system synthesis
Organic Computing - Addressing Complexity by Controlled Self-Organization
ISOLA '06 Proceedings of the Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
Real-Time Property Verification in Organic Computing Systems
ISOLA '06 Proceedings of the Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
Hi-index | 0.00 |
This paper introduces compositional performance analysis into evolving organic systems. It presents a layered distributed framework that can follow the platform and system evolution, continuously monitoring the effect of changes in the application on real-time constraints. For that purpose, an existing methodology based on iterative compositional performance analysis was adapted to a distributed algorithm. A buffering strategy is introduced to improve the algorithm convergence to the same order as the existing centralized offline algorithm. The effects are demonstrated in experiments.