The article is devoted to solving urgent problems of efficient use of resources of the critical information infrastructure of a smart city. A comprehensive methodology is proposed that integrates formal models of distributed systems based on labeled transition systems, a method for representing and justifying architecture with extended UML stereotypes, and an adaptive incentive system based on blockchain technology. The formal model of labeled transition systems provides a verifiable description of the interaction of critical processes of the critical information infrastructure and their parallel composition. The method for representing and justifying architecture, implemented through stereotypes with criticality and monitoring attributes, supports documentation, justification (qualitative, quantitative, alternative) and tracking of architecture evolution. The core of the adaptive incentive system is a mathematical model that reduces transaction costs of resource management through the use of smart contracts. The proposed solution ensures transparency, adaptability and verifiability of intelligent infrastructure management.