When the requirements for adaptation and high integrity meet

ASAS'11 - Proceedings of the 8th Workshop on Assurances for Self-Adaptive Systems

Volumn , Issue , 2011, Pages 1-4

  Calinescu, Radu ^a  

^a ASTON UNIVERSITY   (United Kingdom)

Author keywords

high integrity software; model checking; self adaptive software

Indexed keywords

GROWING DEMAND; OPERATION AND MANAGEMENT; RUNTIMES; SELF ADAPTATION; SELF-ADAPTIVE; SELF-ADAPTIVE SOFTWARE; SOFTWARE DEVELOPMENT TECHNIQUES;

ADAPTIVE SYSTEMS; MODEL CHECKING;

SOFTWARE DESIGN;

EID: 80053180862     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2024436.2024438     Document Type: Conference Paper

References (36)

1. A. Aijaz, B. Bochow, F. Dotzer, A. Festag, M. Gerlach, R. Kroh, and T. Leinmuller. Attacks on inter vehicle communication systems - an analysis. In Proc. 3nd Intl. Workshop Intelligent Transportation, pages 189-194, 2006.
2. A. Bauer, M. Leucker, and C. Schallhart. Model-based methods for the runtime analysis of reactive distributed systems. In Proc. Australian Software Engineering Conference, pages 243-252, 2006.
3. R. Calinescu. Run-time connector synthesis for autonomic systems of systems. Journal On Advances in Intelligent Systems, 2(2-3):376-386, 2009.
4. R. Calinescu, L. Grunske, M. Kwiatkowska, R. Mirandola, and G. Tamburrelli. Dynamic QoS management and optimisation in service-based systems. IEEE Transactions on Software Engineering, 37(3):387-409, May 2011.
5. R. Calinescu, K. Johnson, and Y. Rafiq. Using observation ageing to improve Markovian model learning in QoS engineering. In Proceedings 2nd ACM/SPEC International Conference on Performance Engineering, pages 505-510, 2011.
6. R. Calinescu and S. Kikuchi. Formal methods @ runtime. In Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems, volume 6662 of Lecture Notes in Computer Science, pages 122-135. Springer, 2011.
7. R. Calinescu and M. Kwiatkowska. CADS*: Computer-aided development of self-*systems. In M. Chechik and M. Wirsing, editors, Fundamental Approaches to Software Engineering (FASE 2009), volume 5503 of Lecture Notes in Computer Science, pages 421-424. Springer, March 2009.
8. R. Calinescu and M. Kwiatkowska. Using quantitative analysis to implement autonomic IT systems. In Proceedings of the 31st International Conference on Software Engineering (ICSE'09), pages 100-110, 2009.
9. L. Cavallaro, E. Di Nitto, P. Pelliccione, M. Pradella, and M. Tivoli. Synthesizing adapters for conversational web-services from their WSDL interface. In ICSE 2010 SEAMS: Workshop on Software Engineering for Adaptive and Self-Managing Systems, pages 104-113, 2010.
10. J. Collins, W. Ketter, and M. Gini. Flexible decision control in an autonomous trading agent. Electronic Commerce Research & Appl., 8(2):91-105, 2009.
11. J. Crow and J. Rushby. Model-based reconfiguration: Diagnosis and recovery. NASA Contractor Report 4596, NASA Langley Research Center, Hampton, VA, May 1994. (Work performed by SRI International).
12. D. Easley, M. M. L. De Prado, and M. O'Hara. The microstructure of the 'Flash Crash': Flow toxicity, liquidity crashes and the probability of informed trading. Journal of Portofolio Management, 37(2):118-128, 2011.
13. I. Epifani, C. Ghezzi, R. Mirandola, and G. Tamburrelli. Model evolution by run-time adaptation. In Proceedings of the 31st International Conference on Software Engineering, pages 111-121. IEEE Computer Society, 2009.
14. A. Filieri, C. Ghezzi, and G. Tamburrelli. Run-time efficient probabilistic model checking. In Proceedings of the 33rd International Conference on Software Engineering. IEEE Computer Society, 2011.
15. J. Floch, S. Hallsteinsen, E. Stav, F. Eliassen, K. Lund, and E. Gjorven. Using architecture models for runtime adaptability. IEEE Software, 23:62-70, March 2006.
16. S. Fritsch, A. Senart, D. C. Schmidt, and S. Clarke. Time-bounded adaptation for automotive system software. In Proceedings of the 30th International Conference on Software Engineering, ICSE '08, pages 571-580, New York, NY, USA, 2008. ACM.
17. D. Garlan and B. R. Schmerl. Using architectural models at runtime: Research challenges. In European Workshop Software Architecture, pages 200-205, 2004.
18. H. Hartenstein and K. P. Laberteaux, editors. VANET: Vehicular Applications and Inter-Networking Technologies. John Wiley & Sons, 2009.
19. M. C. Huebscher and J. A. McCann. A survey of autonomic computing - degrees, models, and applications. ACM Comp. Surveys, 40(3):1-28, 2008.
20. V. Issarny, A. Bennaceur, and Y.-D. Bromberg. Middleware-layer Connector Synthesis: Beyond State of the Art in Middleware Interoperability. In M. Bernardo and V. Issarny, editors, 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Connectors for Eternal Networked Software Systems, volume 6659 of Lecture Notes in Computer Science, pages 217-255. Springer, 2011.
21. K. Izumi, F. Toriumi, and H. Matsui. Evaluation of automated-trading strategies using an artificial market. Neurocomputing, 72(16-18):3469-3476, 2009.
22. J. O. Kephart and D. M. Chess. The vision of autonomic computing. IEEE Computer Journal, 36(1):41-50, January 2003.
23. B. Kovatchev. Closed loop control for type 1 diabetes. British Medical Journal, 342:d1911, April 2011.
24. G. C. Kramer, M. P. Kinsky, D. S. Prough, J. Salinas, J. L. Sondeen, M. L. Hazel-Scerbo, and C. E. Mitchell. Closed-loop control of fluid therapy for treatment of hypovolemia. Journal of Trauma-Injury Infection &Critical Care, 64(4):S333-S341, April 2008. (Pubitemid 351501427)
25. M. Kwiatkowska. Quantitative verification: Models, techniques and tools. In Proc. 6th Joint Meeting of the European Software Engineering Conf. and the ACM SIGSOFT Symp. Foundations of Software Engineering, pages 449-458. ACM Press, 2007.
26. M. Kwiatkowska, D. Parker, and H. Qu. Incremental quantitative verification for Markov decision processes. In Proceedings 2011 IEEE/IFIP International Conference Dependable Systems and Networks, 2011.
27. M. Kyas, C. Prisacariu, and G. Schneider. Run-time monitoring of electronic contracts. In Proceedings 6th International Symposium on Automated Technology for Verification and Analysis (ATVA'08), 2008.
28. U. Lee, R. Cheung, and M. Gerla. Emerging vehicular applications. In S. Olariu and M. C. Weigle, editors, Vehicular Networks: From Theory to Practice. Chapman and Hall/CRC, 2009.
29. M. Leucker and C. Schallhart. A brief account of runtime verification. Journal of Logic and Algebraic Programming, 78(5):293-303, 2009.
30. G. Meyer. Traders ummoxed by natural gas 'flash crash'. Financial Times. 9 June 2011.
31. B. Morin, O. Barais, J.-M. Jezequel, F. Fleurey, and A. Solberg. Models@run.time to support dynamic adaptation. Computer, 42:44-51, October 2009.
32. A. Pnueli and A. Zaks. PSL model checking and run-time verification via testers. In Proceedings 14th International Symposium on Formal Methods (FM'06), pages 573-586, 2006.
33. J. M. Rushby. Runtime certification. In Proceedings 8th International Workshop on Runtime Verification (RV'08), pages 21-35, 2008.
34. M. Salehie and L. Tahvildari. Self-adaptive software: Landscape and research challenges. ACM Trans. Auton. Adapt. Syst., 4(2):1-42, May 2009.
35. U.S. Food and Drug Administration - Center for Devices and Radiological Health. Infusion pump improvement initiative, April 2010. White paper. Last retrieved from http://www.fda.gov/MedicalDevices/ProductsandMedicalProcedures/ GeneralHospitalDevicesandSupplies/InfusionPumps/ucm205424.htm on 27 June 2011.
36. T. Zheng, M. Woodside, and M. Litoiu. Performance model estimation and tracking using optimal filters. IEEE Transactions on Software Engineering, 34(3):391-406, 2008.