“고신뢰성” 태그의 글
“고신뢰성” 태그가 붙은 글 5건을 최신순으로 정리했습니다.
-
Ada 제네릭 프로그래밍 ── 타입으로 계약을 작성하고 재사용을 제로 코스트로 실현하기
Ada의 제네릭 프로그래밍을 총칭 서브프로그램, 총칭 패키지, 가인수 서브프로그램, 타입 카테고리, 정식 패키지 파라미터, 실무 설계 지침까지 체계적으로 설명합니다. Mermaid 다이어그램과 실제 예제를 곁들여 타입 안전한 재사용과 제로 코스트 추상화의 개념을 정리합니다.
-
Ada를 활용한 실시간 시스템 프로그래밍 ── 우선순위·주기·실행 시간 제어의 실전
Ada의 Annex D(실시간 시스템)가 제공하는 실시간 기능──태스크 우선순위, Ceiling_Locking 프로토콜, delay until에 의한 주기 실행, Ravenscar 프로파일, 타이밍 이벤트, 보호 큐, 태스크별 실행 시간 계측, 다중 주기 통합──을 8개의 실전 코...
-
Ada의 안전한 동시성 처리 ── 태스크와 보호 객체 실전 가이드
Ada의 언어 내장 동시성 처리인 태스크와 보호 객체를 다루는 실전 입문 글입니다. 랑데부(entry/accept), 선택적 accept, 생산자·소비자, 보호 객체를 통한 배타 제어, 배리어가 있는 보호 엔트리, 타임아웃이 있는 호출, 태스크 우선순위와 실시간 스케줄링까지 안전한...
-
SPARK를 이용한 형식 검증 입문 —— Ada의 계약에서 수학적 증명으로
Ada의 서브셋 언어인 SPARK를 이용한 형식 검증의 실전 입문 글입니다. 계약(Pre/Post)에서 증명으로 단계를 밟아가는 방법, GNATprove 사용법, 루프 불변조건, 데이터 흐름 계약, 증명 레벨, 그리고 실제 프로젝트 적용 방법까지 정리합니다.
-
Ada 언어의 매력 —— 타입으로 설계를 말하고, 수십 년간 동작하는 소프트웨어를 지탱하는 언어
Ada 언어의 매력을 소개합니다. 강한 타입, 범위 제약, 패키지를 통한 사양과 구현의 분리, 계약에 의한 설계, 언어에 내장된 태스크, SPARK를 통한 정형 검증, GNAT와 Alire를 이용한 개발 환경까지, 고신뢰 소프트웨어를 지탱하는 설계 사상을 정리합니다.