B-space: dynamic management and assurance of open systems of systems
暂无分享,去创建一个
[1] Klara Nahrstedt,et al. A control-based middleware framework for quality-of-service adaptations , 1999, IEEE J. Sel. Areas Commun..
[2] Frank Eliassen,et al. Using architecture models for runtime adaptability , 2006, IEEE Software.
[3] Mario Trapp,et al. Safety Assurance of Open Adaptive Systems - A Survey , 2011, Models@run.time@Dagstuhl.
[4] Radu Grosu,et al. Runtime Safety Assurance for Adaptive Cyber-Physical Systems: ConSerts M and Ontology-Based Runtime Reconfiguration Applied to an Automotive Case Study , 2018 .
[5] Danny Weyns,et al. Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases , 2017, IEEE Transactions on Software Engineering.
[6] Thomas Vogel,et al. Mechanisms for Leveraging Models at Runtime in Self-adaptive Software , 2014, Models@run.time@Dagstuhl.
[7] Eric Armengaud,et al. DEIS: Dependability Engineering Innovation for Industrial CPS , 2018 .
[8] Holger Giese,et al. Living with Uncertainty in the Age of Runtime Models , 2014, Models@run.time@Dagstuhl.
[9] John M. Rushby,et al. Just-in-Time Certification , 2007, 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007).
[10] Nelly Bencomo,et al. Models@run.time , 2014, Lecture Notes in Computer Science.
[11] Danny Weyns,et al. ENTRUST: engineering trustworthy self-adaptive software with dynamic assurance cases , 2018, ICSE.
[12] Nelly Bencomo,et al. A Goal-Based Modeling Approach to Develop Requirements of an Adaptive System with Environmental Uncertainty , 2009, MoDELS.
[13] Chen-Khong Tham,et al. Integrated quality of service and network management , 2000, Proceedings IEEE International Conference on Networks 2000 (ICON 2000). Networking Trends and Challenges in the New Millennium.
[14] Eric Armengaud,et al. WAP: Digital dependability identities , 2015, 2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE).
[15] Ezio Bartocci,et al. Runtime Verification with State Estimation , 2011, RV.
[16] Carl E. Landwehr,et al. Basic concepts and taxonomy of dependable and secure computing , 2004, IEEE Transactions on Dependable and Secure Computing.
[17] Jean-Claude Laprie,et al. From Dependability to Resilience , 2008, DSN 2008.
[18] Martin Gogolla,et al. Using Models at Runtime to Address Assurance for Self-Adaptive Systems , 2015, Models@run.time@Dagstuhl.
[19] Gabor Karsai,et al. Towards Practical Runtime Verification and Validation of Self-Adaptive Software Systems , 2013, Software Engineering for Self-Adaptive Systems.
[20] Eric Armengaud,et al. Towards Dependability Engineering of Cooperative Automotive Cyber-Physical Systems , 2017, EuroSPI.
[21] Daniel Schneider,et al. Conditional Safety Certification of Open Adaptive Systems , 2013, TAAS.
[22] Bradley R. Schmerl,et al. Software Engineering for Self-Adaptive Systems: A Second Research Roadmap , 2010, Software Engineering for Self-Adaptive Systems.
[23] Alejandra Ruiz,et al. Multidirectional Modular Conditional Safety Certificates , 2014, SAFECOMP Workshops.