Design and implementation of Safety_SysML consistency verifier for avionics software
The high integration of the civil aircraft avionics systems will lead to an exponential rise in the size of airborne safety-critical software, and cause the numerous and inconsistent sources of its requirements, the transfer of requirements at each level of the avionics system software has duality a...
| Main Authors: | , , , , , |
|---|---|
| Format: | Article |
| Language: | zho |
| Published: |
Editorial Department of Advances in Aeronautical Science and Engineering
2023-08-01
|
| Series: | Hangkong gongcheng jinzhan |
| Subjects: | |
| Online Access: | http://hkgcjz.cnjournals.com/hkgcjz/article/abstract/2022185?st=article_issue |