Using Dynamic Adaptive Systems in Safety-Critical Domains
暂无分享,去创建一个
[1] Ch. Ramesh Babu,et al. Internet of Vehicles: From Intelligent Grid to Autonomous Cars and Vehicular Clouds , 2016 .
[2] Julien Delange,et al. Architecture Fault Modeling with the AADL Error-Model Annex , 2014, 2014 40th EUROMICRO Conference on Software Engineering and Advanced Applications.
[3] Julien Delange,et al. Illustrating the AADL error modeling annex (v.2) using a simple safety-critical medical device , 2013, HILT.
[4] Carlo Ghezzi,et al. Self-adaptive software needs quantitative verification at runtime , 2012, CACM.
[5] Andres J. Ramirez,et al. A taxonomy of uncertainty for dynamically adaptive systems , 2012, 2012 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS).
[6] Myra B. Cohen,et al. Using feature locality: can we leverage history to avoid failures during reconfiguration? , 2011, ASAS '11.
[7] Per Runeson,et al. Software product line testing - A systematic mapping study , 2011, Inf. Softw. Technol..
[8] Gabor Karsai,et al. Towards Practical Runtime Verification and Validation of Self-Adaptive Software Systems , 2013, Software Engineering for Self-Adaptive Systems.
[9] Insup Lee,et al. Cyber-physical systems: The next computing revolution , 2010, Design Automation Conference.
[10] Bradley R. Schmerl,et al. Software Engineering for Self-Adaptive Systems: A Second Research Roadmap , 2010, Software Engineering for Self-Adaptive Systems.
[11] Andreas Rausch,et al. Achieving Dependable Component Bindings in Dynamic Adaptive Systems - A Runtime Testing Approach , 2009, 2009 Third IEEE International Conference on Self-Adaptive and Self-Organizing Systems.
[12] Heather Goldsby,et al. Modular verification of dynamically adaptive systems , 2009, AOSD '09.
[13] Gordon S. Blair,et al. Dynamically Adaptive Systems are Product Lines too: Using Model-Driven Techniques to Capture Dynamic Variability of Adaptive Systems , 2008, SPLC.
[14] Mario Trapp,et al. Determining Configuration Probabilities of Safety-Critical Adaptive Systems , 2007, 21st International Conference on Advanced Information Networking and Applications Workshops (AINAW'07).
[15] Frank Ortmeier,et al. Safety and Dependability Analysis of Self-Adaptive Systems , 2006, Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006).
[16] Jürgen Becker,et al. Strategies to On- Line Failure Recovery in Self- Adaptive Systems based on Dynamic and Partial Reconfiguration , 2006, First NASA/ESA Conference on Adaptive Hardware and Systems (AHS'06).
[17] P. Feiler,et al. The Architecture Analysis & Design Language (AADL): An Introduction , 2006 .
[18] Erich Musick,et al. The 1992 London Ambulance Service Computer Aided Dispatch System Failure , 2006 .
[19] Steve Vestal,et al. An Overview of the SAE Architecture Analysis & Design Language (AADL) Standard: A Basis for Model-Based Architecture-Driven Embedded Systems Engineering , 2004, IFIP-WADL.
[20] John C. Knight,et al. Safety critical systems: challenges and directions , 2002, Proceedings of the 24th International Conference on Software Engineering. ICSE 2002.
[21] Jan Bosch,et al. On the notion of variability in software product lines , 2001, Proceedings Working IEEE/IFIP Conference on Software Architecture.
[22] Zhou Hai,et al. Software for fault tree analysis , 2001 .
[23] Jan Bosch,et al. Managing Variability in Software Product Lines , 2000 .
[24] Jonathan P. Bowen,et al. Safety-critical systems, formal methods and standards , 1993, Softw. Eng. J..
[25] Anthony Hall,et al. Seven myths of formal methods , 1990, IEEE Software.
[26] The SAE Architecture Analysis & Design Language ( AADL ) Standard , .