2008 | OriginalPaper | Buchkapitel
AMOEBA-RT: Run-Time Verification of Adaptive Software
verfasst von : Heather J. Goldsby, Betty H. C. Cheng, Ji Zhang
Erschienen in: Models in Software Engineering
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Increasingly, software must dynamically adapt its behavior in response to changes in the supporting computing, communication infrastructure, and in the surrounding physical environment. Assurance that the adaptive software correctly satisfies its requirements is crucial if the software is to be used in high assurance systems, such as command and control or critical infrastructure protection systems. Adaptive software development for these systems must be grounded upon formalism and rigorous software engineering methodology to gain assurance. In this paper, we briefly describe
AMOebA-RT
, a run-time monitoring and verification technique that provides assurance that dynamically adaptive software satisfies its requirements.