Automated Test Case Generation of Self-Managing Policies for NASA Prototype Missions Developed with ASSL
暂无分享,去创建一个
[1] David H. Lehman,et al. Results from the Deep Space 1 technology validation mission , 2000 .
[2] Joey Paquet,et al. A Self-Scheduling Model for NASA Swarm-Based Exploration Missions Using ASSL , 2008, Fifth IEEE Workshop on Engineering of Autonomic and Autonomous Systems (ease 2008).
[3] Emil Vassev,et al. Modeling the Image-Processing Behavior of the NASA Voyager Mission with ASSL , 2009, 2009 Third IEEE International Conference on Space Mission Challenges for Information Technology.
[4] Michael G. Hinchey,et al. Towards an ASSL specification model for NASA swarm-based exploration missions , 2008, SAC '08.
[5] Edmund M. Clarke,et al. Model Checking , 1999, Handbook of Automated Reasoning.
[6] Aaron J. Quigley,et al. Model Checking for Autonomic Systems Specified with ASSL , 2009, NASA Formal Methods.
[7] George Powell,et al. Reliability and Maintainability Programs for Modern Helicopters and VTOL Aircraft , 1961 .
[8] David Sinreich,et al. An architectural blueprint for autonomic computing , 2006 .
[9] Walter Truszkowski,et al. NASA's Swarm Missions: The Challenge of Building Autonomous Software , 2004, IT Prof..
[10] Joey Paquet,et al. Towards a framework for specification and code generation of automatic systems , 2008 .
[11] Emil Vassev. ASSL: Autonomic System Specification Language -- A Framework for Specification and Code Generation o , 2009 .