Stock-Wave

코딩) NASA가 C언어로 프로그래밍 하는 방법

1
매매압도
2026.02.13 추천 0 조회수 31 댓글 0

코딩) NASA가 C언어로 프로그래밍 하는 방법_1.webp





NASA는 미션 크리티컬 비행 소프트웨어를 C로 작성한다.
그리고 그 규칙들은 정말 엄청나게 엄격하다.

> 재귀 호출 금지. 절대 안 됨.
> 모든 반복문은 증명 가능한 상한(최대 반복 횟수)이 있어야 한다.
> 초기화 이후에는 동적 메모리 할당 금지.
> 함수 하나당 최대 약 60줄.
> 함수마다 최소 2개의 assertion(검증 구문) 필수.
> 모든 반환값은 반드시 검사해야 한다.
> 컴파일러 경고는 0개여야 한다.
> 정적 분석을 매일 수행하며, 거기서도 경고 0개여야 한다.
> 함수 포인터 사용 금지.
> 포인터 역참조는 엄격히 제한된다.

이것이 NASA / JPL에서 미션 크리티컬 시스템을 작성하는 방식이다.

댓글 0

자유게시판

과거 헐리우드 영화 특징.jpg

N
1
하제
조회수 15
추천 0
2026.02.14 22:00
과거 헐리우드 영화 특징.jpg

일본에서 한국인 관광객의 만행

N
1
Apex1055
조회수 13
추천 0
2026.02.14 22:00
일본에서 한국인 관광객의 만행

중2병 여덕들의 워너비

N
1
연중최저
조회수 17
추천 0
2026.02.14 22:00
중2병 여덕들의 워너비

방금 풀빵장수 할아버지한테 거짓말하고 울리고 옴

N
1
Work7114
조회수 12
추천 0
2026.02.14 22:00

블루아카) ?? : 오늘은 이걸 먹는 날이래요

N
1
상승장장인A
조회수 13
추천 0
2026.02.14 22:00
블루아카) ?? : 오늘은 이걸 먹는 날이래요

많은 사람들이 두만강에 대해 모르는 사실

N
1
하제
조회수 13
추천 0
2026.02.14 22:00

한반도를 평생 그리워했던 헐리우드 레전드 배우

N
1
부의신
조회수 12
추천 0
2026.02.14 22:00
한반도를 평생 그리워했던 헐리우드 레전드 배우

어느 일본인이 뽑은 강철의 연금술사 좋은점

N
1
Alpha4431
조회수 14
추천 0
2026.02.14 22:00
어느 일본인이 뽑은 강철의 연금술사 좋은점

만화가 진짜 스릴러네ㅋㅋㅋㅋ

N
1
다우존스
조회수 14
추천 0
2026.02.14 22:00
만화가 진짜 스릴러네ㅋㅋㅋㅋ

쉬었음 청년하려고 했더니 재입사하란다

N
1
Velocity77
조회수 14
추천 0
2026.02.14 22:00
쉬었음 청년하려고 했더니 재입사하란다

보이시와 톰보이의 차이는

N
1
조정장
조회수 14
추천 0
2026.02.14 22:00
보이시와 톰보이의 차이는

프리코네) 미쳐버린 8주년 광고

N
1
Slow3965
조회수 13
추천 0
2026.02.14 22:00
프리코네) 미쳐버린 8주년 광고

헤븐헬즈)솔직히 페미나 PC땜에 망했다고 생각하진 않음

N
1
Huge3397
조회수 13
추천 0
2026.02.14 22:00
헤븐헬즈)솔직히 페미나 PC땜에 망했다고 생각하진 않음

사람마다 갈린다는 '삼겹살 굽기 취향'

N
1
차트박사
조회수 19
추천 0
2026.02.14 22:00
사람마다 갈린다는 '삼겹살 굽기 취향'

계속 악플을 남기는 독자를 받아들인 작가.jpg

N
1
Flare
조회수 14
추천 0
2026.02.14 22:00
계속 악플을 남기는 독자를 받아들인 작가.jpg
44 45 46 47 48
채팅 검색

실시간채팅 접속중...