항공 임베디드 아키텍처 설계 도구

항공 소프트웨어는 ARINC 653과 FACE 같은 국제 표준을 지켜야 하고, 구조를 잘못 잡으면 나중에 되돌리는 비용이 큽니다. 그런데 설계는 문서로 하고 검증은 구현 이후에 하다 보니 문제가 늦게 드러났습니다.

• 표준 규격을 정확히 따라야 하며, 해석이 틀리면 도구 자체가 쓸모없어집니다.
• 설계 도구는 잘못된 구조를 만들지 못하게 막아야 합니다. 틀린 설계를 통과시키면 도구를 신뢰할 수 없습니다.

1. 1

   시스템 구조를 화면에서 조립하고, 표준에 어긋나는 구성은 그 자리에서 걸러내도록 만들었습니다.

2. 2

   설계 결과에서 코드 뼈대를 자동으로 만들어, 설계와 구현이 어긋나지 않게 했습니다.

3. 3

   표준 해석이 걸린 규칙을 테스트로 고정했습니다. 규칙이 바뀌면 테스트가 먼저 알려줍니다.