Abstract
Continually verify self-adaptation decisions taken by critical software in response to changes in the operating environment.
- Allan, C., Avgustinov, P., Christensen, A.S., Hendren, L., Kuzins, S., Lhotak, O., de Moor, O., Sereni, D., Sittampalam, G., and Tibble, J. Adding trace matching with free variables to AspectJ. In Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (San Diego, Oct. 16--20). ACM Press, New York, 2005, 345--364. Google ScholarDigital Library
- Barringer, H. and Havelund, K. A Scala DSL for trace analysis. In FM 2011: Formal Methods, Volume 6664 of Lecture Notes in Computer Science, M. Butler and W. Schulte, Eds. Springer, Berlin/Heidelberg, 2011, 57--72. Google ScholarDigital Library
- Barringer, H., Havelund, K., Rydeheard, D., and Groce, A. Rule systems for runtime verification: A short tutorial. In Run-time Verification, Volume 5779 of Lecture Notes in Computer Science, S. Bensalem and D. Peled, Eds. Springer, Berlin/Heidelberg, 2009, 1--24. Google ScholarDigital Library
- Brun, Y., Di Marzo Serugendo, G., Gacek, C., Giese, H., Kienle, H.M., Litoiu, M., Muller, H.A., Pezze, M., and Shaw, M. Engineering self-adaptive systems through feedback loops. In Software Engineering for Self-Adaptive Systems, Volume 5525 of Lecture Notes in Computer Science. Springer, Berlin/Heidelberg, 2009, 48--70. Google ScholarDigital Library
- Calinescu, R., Grunske, L., Kwiatkowska, M., Mirandola, R., and Tamburrelli, G. Dynamic QoS management and optimization in service-based systems. IEEE Transactions on Software Engineering 37, 3 (May--June 2011), 387--409. Google ScholarDigital Library
- Calinescu, R., Johnson, K., and Rafiq, Y. Using observation ageing to improve Markovian model learning in QoS engineering. In Proceedings of the second ACM/SPEC International Conference on Performance Engineering (Karlsruhe, Germany, Mar. 14--16). ACM Press, New York, 2011, 505--510. Google ScholarDigital Library
- Calinescu, R. and Kwiatkowska, M. CADS*: Computer-aided development of self-* systems. In Fundamental Approaches to Software Engineering, Volume 5503 of Lecture Notes in Computer Science, M. Chechik and M. Wirsing, Eds. Springer, Berlin/Heidelberg, 2009, 421--424. Google ScholarDigital Library
- Calinescu, R. and Kwiatkowska, M. Using quantitative analysis to implement autonomic IT systems. In Proceedings of the 31st International Conference on Software Engineering (Vancouver, Canada, May 16--24). IEEE Computer Society Press, Washington, D.C., 2009, 100--110. Google ScholarDigital Library
- Cheng, B.H. et al. Software engineering for self-adaptive systems: A research roadmap. In Software Engineering for Self-Adaptive Systems, B.H. Cheng, R. Lemos, H. Giese, P. Inverardi, and J. Magee, Eds. Springer-Verlag, Berlin/Heidelberg, 2009, 1--26. Google ScholarDigital Library
- Clarke. E.M. and Lerda, F. Model checking: Software and beyond. Journal of Universal Computer Science 13, 5 (May 2007), 639--649.Google Scholar
- Crow, J. and Rushby, J. Model-Based Reconfiguration: Diagnosis and Recovery. NASA Contractor Report 4596. NASA Langley Research Center, Hampton, VA, May 1994; work performed by SRI International. Google ScholarDigital Library
- Epifani, I., Ghezzi, C., Mirandola, R., and Tamburrelli, G. Model evolution by run-time adaptation. In Proceedings of the 31st International Conference on Software Engineering (Vancouver, Canada, May 16--24). IEEE Computer Society Press, Washington, D.C., 2009, 111--121. Google ScholarDigital Library
- Filieri, A., Ghezzi, C., and Tamburrelli, G. Run-time efficient probabilistic model checking. In Proceedings of the 33rd International Conference on Software Engineering (Honolulu, May 21--28). IEEE Computer Society Press, New York, 2011, 341--350. Google ScholarDigital Library
- Floch, J., Hallsteinsen, S., Stav, E., Eliassen, F., Lund, K., and Gjorven, E. Using architecture models for runtime adaptability. IEEE Software 23, 2 (Mar. 2006), 62--70. Google ScholarDigital Library
- Garlan, D. and Schmerl, B.R. Using architectural models at runtime: Research challenges. In Proceedings of the first European Workshop on Software Architecture, Volume 3047 of Lecture Notes in Computer Science, F. Oquendo, B. Warboys, and R. Morrison, Eds. (St. Andrews, Scotland, May 21--22). Springer-Verlag, Berlin/Heidelberg, 2004, 200--205.Google Scholar
- Ghezzi, C., Mocci, A., and Monga, M. Synthesizing intensional behavior models by graph transformation. In Proceedings of the 31st International Conference on Software Engineering (Vancouver, Canada, May 16--24). IEEE Computer Society, Washington, D.C., 2009, 430--440. Google ScholarDigital Library
- Ghezzi, C., Mocci, A., and Salvaneschi, G. Automatic cross-validation of multiple specifications: A case study. In Proceedings of Fundamental Approaches to Software Engineering, Volume 6013 of Lecture Notes in Computer Science. Springer, Berlin/Heidelberg, 2010, 233--247. Google ScholarDigital Library
- Hinton, A., Kwiatkowska, M., Norman, G., and Parker, D. PRISM: A tool for automatic verification of probabilistic systems. In Proceedings of the 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Volume 3920 of Lecture Notes in Computer Science, H. Hermanns and J. Palsberg, Eds. Springer, Berlin/Heidelberg, 2006, 441--444. Google ScholarDigital Library
- Huebscher, M.C. and McCann, J.A. A survey of autonomic computing: Degrees, models, and applications. ACM Computing Surveys 40, 3 (Aug. 2008), 1--28. Google ScholarDigital Library
- Kephart, J.O. and Chess, D.M. The vision of autonomic computing. Computer 36, 1 (Jan. 2003), 41--50. Google ScholarDigital Library
- Kwiatkowska, M. Quantitative verification: Models, techniques, and tools. In Proceedings of the Sixth Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium Foundations of Software Engineering (Dubrovnik, Croatia, Sept. 3--7). ACM Press, New York, 2007, 449--458. Google ScholarDigital Library
- Kwiatkowska, M., Parker, D., and Qu, H. Incremental quantitative verification for Markov decision processes. In Proceedings of the 2011 IEEE/IFIP International Conference on Dependable Systems and Networks (Hong Kong, June 27--30). IEEE Computer Society, Los Alamitos, CA, 2011, 359--370. Google ScholarDigital Library
- Kyas, M., Prisacariu, C., and Schneider, G. Run-time monitoring of electronic contracts. In Proceedings of the Sixth International Symposium on Automated Technology for Verification and Analysis (Seoul, Oct. 20--23). Springer-Verlag, Berlin/Heidelberg, 2008, 397--407. Google ScholarDigital Library
- Lehman, M.M. and Belady, L.A., Eds. Program Evolution: Processes of Software Change. Academic Press Professional, Inc., San Diego, 1985. Google ScholarDigital Library
- Leucker, M. and Schallhart, C. A brief account of runtime verification. Journal of Logic and Algebraic Programming 78, 5 (May 2009), 293--303.Google ScholarCross Ref
- Morin, B., Barais, O., Jezequel, J.-M., Fleurey, F., and Solberg, A. [email protected] to support dynamic adaptation. Computer 42, 10 (Oct. 2009), 44--51. Google ScholarDigital Library
- Pnueli, A. and Zaks, A. PSL model checking and runtime verification via testers. In Proceedings of the 14th International Symposium on Formal Methods (Hamilton, Canada, Aug. 21--27). Springer-Verlag, Berlin/Heidelberg, 2006, 573--586. Google ScholarDigital Library
- Rao, J. and Su, X. A survey of automated Web service composition methods. In Semantic Web Services and Web Process Composition, Volume 3387 of Lecture Notes in Computer Science, J. Cardoso and A. Sheth, Eds. Springer, Berlin/Heidelberg, 2005, 43--54. Google ScholarDigital Library
- Rushby, J.M. Runtime certification. In Proceedings of the Eighth International Workshop on Runtime Verification, Volume 5289 of Lecture Notes in Computer Science, M. Leucker, Ed. (Budapest, Mar. 30). Springer-Verlag, Berlin/Heidelberg, 2008, 21--35. Google ScholarDigital Library
- Salehie, M. and Tahvildari, L. Self-adaptive software: Landscape and research challenges. ACM Transactions on Autonomous and Adaptive Systems 4, 2 (May 2009), 14:1--14:42. Google ScholarDigital Library
- Zave, P. and Jackson, M. Four dark corners of requirements engineering. Transactions on Software Engineering and Methodology 6, 1 (Jan. 1997), 1--30. Google ScholarDigital Library
- Zheng, T., Woodside, M., and Litoiu, M. Performance model estimation and tracking using optimal filters. IEEE Transactions on Software Engineering 34, 3 (May-June 2008), 391--406. Google ScholarDigital Library
Index Terms
- Self-adaptive software needs quantitative verification at runtime
Recommendations
Runtime verification method for self-adaptive software using reachability of transition system model
SAC '17: Proceedings of the Symposium on Applied ComputingSelf-adaptive software can change its own behavior in order to achieve an intended objective in a changing environment. Consequently, self-adaptive software requires practical runtime verification and validation. We propose an approach for runtime ...
Runtime Evolution of the Adaptation Logic in Self-Adaptive Systems
ICAC '15: Proceedings of the 2015 IEEE International Conference on Autonomic ComputingSelf-adaptive systems, which are highly related to Autonomic Computing, are a response to the increasing complexity and size of information systems. They are able to adapt their behavior to changes in the environment or system resources. A self-adaptive ...
Model-Driven Engineering of Self-Adaptive Software with EUREMA
Special Section on Best Papers from SEAMS 2012The development of self-adaptive software requires the engineering of an adaptation engine that controls the underlying adaptable software by feedback loops. The engine often describes the adaptation by runtime models representing the adaptable software ...
Comments