만든 뒤에 드러나는 설계 결함을,
만들기 전에 찾아냅니다.

이런 결함을 걸러내 온 것은 오래 해온 숙련 기술자의 감각이었습니다. 설계를 보는 순간 “이건 위험하다”고 알아차리는, 그 감각입니다.

그분들이 현장을 떠나고 있습니다. 그리고 그 자리를 이을 젊은 기술자는 해마다 뽑기 어려워지고 있습니다. 문제는 그대로인데, 막아주던 그물만 얇아지고 있습니다 — 시간이 갈수록 이 격차는 벌어집니다.

장비를 만들기 전에, 설계 안에 숨어 있는 결함을 찾아 돌려드립니다. 사람이 미처 떠올리지 못한 상황까지 포함해, 그 장비가 놓일 수 있는 경우를 하나도 남김없이 훑어 찾아냅니다.

숙련 기술자를 한 분 더 모시는 대신, 그 역할을 저희가 맡는다고 생각해 주시면 됩니다.

“그런 일이 정말 가능한가” 하고 생각하실 겁니다. 당연한 의문입니다.

이것은 저희의 발명이 아닙니다. 세계에서 가장 높은 수준을 요구받는 기업들이 이미 오래전부터 이 방법을 써 왔습니다. 항공과 철도의 안전 인증은 아예 이 방법을 요구합니다. 저희가 하는 일은, 이미 검증이 끝난 방법을 귀사의 현장에 맞는 형태로 옮겨 오는 것뿐입니다.

형식기법의 가장 큰 장벽은 어려움이 아니라 낯섦입니다. 전문가 130명을 대상으로 한 조사에서 71.5%가 “엔지니어의 교육 부족”을 도입의 최대 장벽으로 꼽았습니다 — 기술 자체에 대한 의문이 아니라.

그래서 저희는 영업보다 설명을 먼저 놓습니다. 장비를 만드는 현장의 언어로, 형식기법이란 무엇인지, 테스트와 무엇이 다른지, 왜 안전규격이 그것을 요구하는지를 쓰고 있습니다.