Advanced Model-Based Software Engineering Technologies for Software Defined Radio Configuration
Model based technologies can be used to reduce the cost of development and maintenance software intensive systems and to enable additional capabilities such as load time configuration and run time adaptation. Such systems include complex communications systems based on software defined radios that have adaptive or cognitive capabilities. Advanced methodologies and tools for developing adaptive software are needed to build such systems at an acceptable cost while maintaining safety and correctness. The authors have developed such methodologies and tools and have used two experimental platforms to validate them in realistic domains: flight control and vehicle management software and software defined radios.