Avionics Self-adaptive Software: Towards Formal Verification and Validation

2018 ◽  
pp. 3-23
Author(s):  
Meenakshi D’Souza ◽  
Rajanikanth N. Kashi
Keyword(s):  
Formal Verification ◽  
Verification And Validation ◽  
Adaptive Software ◽  
Self Adaptive

Formal verification of avionics self adaptive software

2016 ◽  
Author(s):  
Rajanikanth N. Kashi ◽  
Meenakshi D'Souza ◽  
S. Kumar Baghel ◽  
Nitin Kulkarni
Keyword(s):  
Formal Verification ◽  
Adaptive Software ◽  
Self Adaptive

scholarly journals Towards Practical Runtime Verification and Validation of Self-Adaptive Software Systems

2013 ◽  
pp. 108-132 ◽  
Author(s):  
Gabriel Tamura ◽  
Norha M. Villegas ◽  
Hausi A. Müller ◽  
João Pedro Sousa ◽  
Basil Becker ◽  
...  
Keyword(s):  
Runtime Verification ◽  
Verification And Validation ◽  
Software Systems ◽  
Adaptive Software ◽  
Self Adaptive

Formal verification and validation of embedded systems: the UML-based MADES approach

2013 ◽  
Vol 14 (1) ◽  
pp. 343-363 ◽  
Author(s):  
Luciano Baresi ◽  
Gundula Blohm ◽  
Dimitrios S. Kolovos ◽  
Nicholas Matragkas ◽  
Alfredo Motta ◽  
...  
Keyword(s):  
Embedded Systems ◽  
Formal Verification ◽  
Verification And Validation

Self-Adaptive Software: Internalized Feedback

2006 ◽  
pp. 507-537 ◽  
Author(s):  
Robert Laddaga ◽  
Paul Robertson ◽  
Howard Shrobe
Keyword(s):  
Adaptive Software ◽  
Self Adaptive
Sign in / Sign up

Export Citation Format

Share Document