Villegas Machado, Norha MilenaTrollmann, FrankSchneider, DanielRumpe, BernhardQureshi, Nauman A.Perini, AnnaPelliccione, PatrizioMüller, Hausi A.Litoiu, MarinGrunske, LarsGogolla, MartinKerstin I., EderCheng, Betty H.C.2017-12-122017-12-122014-01-010302-9743https://link.springer.com/chapter/10.1007%2F978-3-319-08915-7_4http://hdl.handle.net/10906/82391A self-adaptive software system modifies its behavior at runtime in response to changes within the system or in its execution environment. The fulfillment of the system requirements needs to be guaranteed even in the presence of adverse conditions and adaptations. Thus, a key challenge for self-adaptive software systems is assurance. Traditionally, confidence in the correctness of a system is gained through a variety of activities and processes performed at development time, such as design analysis and testing. In the presence of self-adaptation, however, some of the assurance tasks may need to be performed at runtime. This need calls for the development of techniques that enable continuous assurance throughout the software life cycle. Fundamental to the development of runtime assurance techniques is research into the use of models at runtime (M@RT).101-136 páginasDigitalengEL AUTOR, expresa que la obra objeto de la presente autorización es original y la elaboró sin quebrantar ni suplantar los derechos de autor de terceros, y de tal forma, la obra es de su exclusiva autoría y tiene la titularidad sobre éste. PARÁGRAFO: en caso de queja o acción por parte de un tercero referente a los derechos de autor sobre el artículo, folleto o libro en cuestión, EL AUTOR, asumirá la responsabilidad total, y saldrá en defensa de los derechos aquí autorizados; para todos los efectos, la Universidad Icesi actúa como un tercero de buena fe. Esta autorización, permite a la Universidad Icesi, de forma indefinida, para que en los términos establecidos en la Ley 23 de 1982, la Ley 44 de 1993, leyes y jurisprudencia vigente al respecto, haga publicación de este con fines educativos Todo persona que consulte ya sea la biblioteca o en medio electrónico podrá copiar apartes del texto citando siempre la fuentes, es decir el título del trabajo y el autor.http://creativecommons.org/licenses/by-nc-nd/4.0/Using Models at Runtime to Address Assurance for Self-Adaptive Systemsinfo:eu-repo/semantics/openAccesshttps://doi.org/10.1007/978-3-319-08915-7_4Atribución-NoComercial-SinDerivadas 4.0 Internacional (CC BY-NC-ND 4.0)SoftwareComputadorSistema de softwareAutomatización y sistemas de controlCommand and control systemhttp://purl.org/coar/resource_type/c_c94finstname:Universidad Icesireponame:Biblioteca Digitalrepourl:https://repository.icesi.edu.co/http://purl.org/coar/access_right/c_abf2