Designing Future Aerospace Systems: Integrating BIP Formal Verification Into F Prime Framework
Sign Up to like & getrecommendations! Published in 2025 at "IEEE Access"
DOI: 10.1109/access.2025.3606362
Abstract: Traditional component-based frameworks (CBFs), such as NASA’s F Prime, promote modularity and reuse but lack native support for formal verification, limiting their applicability in safety-critical and real-time domains. Ensuring deterministic behavior and correct synchronization remains… read more here.
Keywords: designing future; aerospace systems; framework; verification ... See more keywords