A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is
Verification & validation (V&V) are critical activities of developing any real-time embedded software systems, including cars, airplanes, and helicopters. ... Additionally, the XANDAR methods used by the XANDAR tools will be verified and validated via WP5 to prove X-by-Construction (XbC) guarantees. ... X-by-Construction Design framework for Engineering Autonomous & Distributed Real-time Embedded Software Systems In this technical report (Deliverable D5.1: Test Strategy and V&V Specification), we specify ...doi:10.5281/zenodo.6539505 fatcat:iw3hhcwklbarfjt6t7fo4p757y
Design framework for Engineering Autonomous & Distributed Real-time Embedded Software Systems is given. ... description of the status quo and a list of requirements, which are directly derived from the work on the demonstrator, a clear view of the existing deficits and, consequently, of the next steps to achieve a X-by-Construction ... That way, a solution for handling timing information during all steps of the design process of embedded real-time systems is provided. ...doi:10.5281/zenodo.6539461 fatcat:ciojvukdnjafjc36yuhgqhq6um