Filters








2 Hits in 3.6 sec

D5.1: Test Strategy and V&V Specification

QUB, VECTOR, KIT
2021 Zenodo  
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

D2.1: Modelling Requirements for System's and Interface Specifications

VECTOR, KIT, UOP, QUB
2021 Zenodo  
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