Author : 
Hanson, Howard P. ; Vouk, Mladen ; Cukic, Bojan
         
        
            Author_Institution : 
Southeast Nat. Marine Renewable Energy Center, Florida Atlantic Univ., Boca Raton, FL, USA
         
        
        
        
            Abstract : 
These keynote speeches discuss the following: marine renewable energy-HASE challenges; high-assurance computing clouds; and software faults.
         
        
            Keywords : 
cloud computing; marine engineering; renewable energy sources; software fault tolerance; systems analysis; HASE challenges; high-assurance computing clouds; high-assurance systems engineering; marine renewable energy; software faults;
         
        
        
        
            Conference_Titel : 
High-Assurance Systems Engineering (HASE), 2011 IEEE 13th International Symposium on
         
        
            Conference_Location : 
Boca Raton, FL
         
        
        
            Print_ISBN : 
978-1-4673-0107-7
         
        
        
            DOI : 
10.1109/HASE.2011.68