Architecture for Reactive Autonomic Systems, Fachbücher von Heng Kuang

"Architecture for Reactive Autonomic Systems" ist ein Fachbuch, das sich mit der Modellierung und Entwicklung von Echtzeitsystemen beschäftigt, die auf reaktive und autonome Verhaltensweisen ausgelegt sind. Diese Systeme stellen aufgrund ihrer Komplexität eine besondere Herausforderung dar. Das Buch führt in das TROMLAB-Framework ein, das die Integration des Timed Reactive Object Model (TROM) mit einer praktischen Entwicklungsmethodik ermöglicht. Es adressiert die Lücken im aktuellen TROM-Formalismus, insbesondere in Bezug auf die Spezifikation verteilter autonomer reaktiver Systeme. Diese Systeme sind darauf ausgelegt, die Bedürfnisse der Endnutzer in dynamischen und unsicheren Umgebungen vorherzusehen und zu antizipieren. Der Inhalt des Buches umfasst die Definition der Eigenschaften des Autonomen Systems Timed Reactive Model (AS-TRM), den Aufbau der Architektur und Kommunikationsmechanismen sowie die Modellierung der Zuverlässigkeitsbewertung von AS-TRM, um dessen Entwicklung zu überwachen.