Abstract | ||
---|---|---|
This paper compares two test engine architectures, one based on the RT-Tester test system, and one based on FMI, and analyzes how these different approaches satisfy the needs for verification and validation of safety-critical avionics software. The study is based on an aircraft controller application, which motivates the requirements to the test engine designs. |
Year | Venue | Field |
---|---|---|
2018 | ISoLA | Control theory,Avionics software,Verification and validation,Computer science,Reliability engineering |
DocType | Citations | PageRank |
Conference | 1 | 0.36 |
References | Authors | |
2 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jörg Brauer | 1 | 219 | 19.33 |
Oliver Möller | 2 | 3 | 0.73 |
Jan Peleska | 3 | 532 | 48.74 |