Technologies, Development Tools, and Patterns for Automatic Generation and Customization of Adaptable Distributed Real-Time and Embedded (DRE) Middleware

摘要

Large-scale, distributed real-time and embedded (DRE) systems are increasingly being used to control critical aspects of DoD systems. PCES work has shown how model-integrated computing and adaptive and flexible middleware frameworks can be applied for defining, analyzing, generating, and customizing large-scale high-assurance, high-performance DRE systems. KSU aims to provide development frameworks that contain as a centerpiece a variety of forms of software models. We have been able to demonstrate that extending software modeling tools with analysis and optimization tools tied to actual development processes can dramatically decrease costs associated with developing DRE systems. To validate the technologies we developed, we have built a model- integrated development environment called Cadena. Cadena provides a variety of capabilities for model-driven implementation and analysis of component middleware systems. Through the PCES project, we have demonstrated that Cadena can dramatically reduce the effort required to construct component-based systems in the context of product-line architectures such as Boeing's Bold Stroke avionics mission-control software. Moreover, Cadena's verification and 'correct-by-construction' modeling techniques provide increased confidence in the safety and correctness of the resulting system.