임베디드 시스템을 위한 소프트웨어 공학 총론(에이콘 임베디드 시스템 프로그래밍 시리즈)

★ 이 책에서 다루는 내용 ★



■ 임베디드 시스템을 위한 훌륭한 아키텍처 원칙

■ 임베디드 프로젝트를 성공적으로 만드는 데 도움을 주는 설계 관례

■ 디지털 신호 처리, 안전 필수 원칙, 개발 프로세스를 비롯해 임베디드 시스템의 일부분을 이루는 세부 원칙

■ 임베디드 시스템을 위한 사용자 인터페이스 개발 방법

■ 임베디드 시스템 테스팅과 배포 전략, 품질 개발 프로세스 보장 전략

■ 성능, 메모리, 전력에 대한 임베디드 소프트웨어 최적화 실무 기술

■ 임베디드 시스템을 위한 다중 코어 소프트웨어 개발 고급 가이드라인

■ 네트워킹, 스토리지, 자동차 세그먼트를 위한 임베디드 소프트웨어 개발 방법

■ 임베디드 개발 프로세스 관리 방법

■ 핵심 문제/이슈 로드맵과 본문 솔루션에 대한 참고 문헌

■ 적용 방안이라는 맥락에서의 핵심 방법들에 대한 리뷰

■ 시대를 뛰어 넘는 구현 세부 사항들을 보여주는 사례

■ 핵심 아이디어 구현 방법, 결정된 선택 근거, 설계 가이드라인과 트레이드오프를 보여주는 짧고 간결한 사례 연구



★ 이 책의 구성 ★



1장, '임베디드와 실시간 시스템을 위한 소프트웨어 공학' 임베디드 시스템은 대규모 시스템의 특정 기능을 수행하기 위해 설계된 컴퓨터 시스템으로, 종종 하나 이상의 실시간 컴퓨팅 제약 사항을 갖는다. 이는 하드웨어와 기계적 부분을 포함하는 큰 장치의 부분으로서 내장된다. 이 시스템은 최종 사용자의 다양한 요구에 부응하면서 유연한 범용 컴퓨터와는 극명하게 비교된다. 범용 시스템에 성공적으로 적용됐던 소프트웨어 시스템의 개발 방법과 기법, 툴은 더 이상 임베디드 시스템에는 쉽게 적용되지 못한다. 모바일 임베디드 장치에서 동작하는 소프트웨어 시스템은 근접 최적 성능, 강건성, 분산, 역동성, 이동성 같은 더 전통적인 시스템에서 는 요구되지 않는 특징을 가져야 한다. 1장은 임베디드, 자원 제약, 모바일, 고도로 분산된 세계에 존재하는 소프트웨어 시스템의 핵심 특징을 조사한다. 그리고 이 분야의 맥락 속에서 소프트웨어 공학 방법의 핵심 부분에 대한 적용 가능성을 평가하고 기법(예를 들어 소프트웨어 설계, 컴포넌트 기반 개발, 소프트웨어 아키텍처, 시스템 통합, 테스트)도 다룬다. 1장은 임베디드와 실시간 소프트웨어를 개관적으로 설명한다.

2장, '임베디드 시스템 하드웨어/소프트웨어 공동 개발' 최신 임베디드 시스템에 대한 개발을 기획할 때 하드웨어와 소프트웨어를 독립적으로 고려하지 않는다. 지난 20여 년간 전용 하드웨어 구현에서 범용 임베디드 프로세스를 실행하는 소프트웨어로 시스템의 기능성이 이동된 반면, 칩과 시스템의 복잡성은 엄청날 정도의 성장률을 보였다. 2010년까지 소프트웨어를 개발하려는 노력이 하드웨어를 개발하려는 노력보다 더 커졌으며, 복잡성은 소프트웨어에 비례해 계속 증가하는 추세였다. 독립적인 하드웨어와 소프트웨어 설계 같은 전통적인 설계 기법은 칩 위에 복잡한 시스템을 만들기 위해 통합되는 이기종의 모델과 애플리케이션 때문에 도전이 되고 있다. 설계자는 하드웨어와 소프트웨어의 공동 설계에 사용되는 적절한 기법을 이용해 시스템의 특정 행위와 주어진 성능 목표, 기술이 드러날 수 있도록 시스템의 하드웨어와 소프트웨어 컴포넌트를 함께 작업하는 방법을 고려해야 한다.

3장, '임베디드 시스템을 위한 소프트웨어 모델링' 임베디드 시스템을 위해 모델을 생성하는 것은 아주 간단하거나 믿을 수 없을 정도로 복잡한 동적인 제어 시스템에 대한 시간과 비용 측면에서의 효과적인 접근법을 제공하며, 이 모든 것은 밀접하게 통합된 소프트웨어 집합에서 유지되는 단일 모델을 기반으로 한다. 최신 모델링 소프트웨어 툴을 이용하면 오프라인 시뮬레이션에서 초기 밸리데이션(validation)을 설계하고 수행할 수 있다. 이러한 모델은 차후 수행되는 모든 개발 단계의 기초를 형성한다. 임베디드 설계를 위해 모델을 생성하는 것은 전통적인 설계 접근법보다 더 다양한 이점을 제공한다. 하드웨어 프로토타이핑과 결합된 접근법을 이용하면 베리피케이션(verification)과 밸리데이션이 최종 테스팅 단계에서만 수행되는 것이 아니라 개발 전 기간에 걸쳐 수행되기 때문에 실수할 리스크가 줄어들고 개발 수명주기도 짧아진다. 시스템 모델을 베이시스(basis)로서 이용하면 훨씬 더 빠르고 신뢰성 있는 설계 평가와 예측을 만들어낼 수 있다. 반복적인 접근법은 성능과 신뢰성 관점에서 설계를 향상시키는 결과를 가져온다. 그리고 설계 팀과 설계 단계, 다양한 프로젝트 사이에서 모델을 재사용할 수 있기 때문에 자원에 들어가는 비용이 줄어들며, 물리적 프로토타입에 대한 종속성도 줄어든다. 자동 코드 생성 기법을 이용하면 개발 오류와 부담도 줄일 수 있다. 이러한 이점은 더 정확하고 강인한 제어 설계와 더 짧아진 시장 적시성, 설계 비용에 대한 감소로 이어진다.

4장, '임베디드 시스템을 위한 소프트웨어 설치 아키텍처와 패턴' 임베디드 컴퓨팅 시스템의 소프트웨어 아키텍처는 시스템이 어떻게 동작할 것인지 추론하거나 이해하는 것을 도와주는 시스템의 구조로 묘사할 수 있다. 소프트웨어 아키텍처는 시스템 개발 프로젝트뿐만 아니라 시스템을 위한 청사진으로 동작한다. 아키텍처는 성능, 변경 가능성, 보안성 같은 임베디드 시스템의 주요 품질에 대한 기본적인 프레임워크이며, 아키텍처 비전을 통합하지 않고는 시스템의 어떠한 품질도 획득할 수 없다. 아키텍처는 설계 접근법이 적절한 시스템의 개발로 이어진다는 것을 보장하는 초기 분석에서 만들어지는 산물이다. 4장은 임베디드 소프트웨어 아키텍처의 여러 양상에 대한 세부 사항을 다룬다.

5장, '실시간 빌딩 블록: 이벤트와 트리거' 4장까지는 임베디드 시스템을 개발하기 위한 높은 수준의 추상화와 시스템 설계 아키텍처, 구현 단계에서의 설계 패턴 적용 같은 접근법을 설명했다. 5장에서는 실시간 시스템의 두 가지 기본 개념과 설계 패턴을 소개한다. 여기서 두 가지 기본 개념은 비동기 이벤트(Event) 플래그를 설정하는 능력과 적절한 시기에 어떤 상황을 트리거(Trigger)하는 능력이다. 이들 두 가지 개념은 실시간 운영체제(RTOS)를 이용하지 않는 시스템뿐만 아니라 RTOS를 이용하는 시스템에도 모두 사용된다. 5장은 유스케이스로 시작해서 이벤트와 트리거를 구현하는 서로 다른 방식을 개발한다. 그리고 이들 각각에 대한 세부 구현 내용도 제시하며, 이들에 대한 장단점도 다룬다. 이벤트와 트리거 구현을 위한 소스는 이 장의 끝 부분에서 제공한다.

6장, '임베디드 소프트웨어에 대한 하드웨어 인터페이스' 임베디드 소프트웨어에 제공되는 하드웨어 인터페이스에 대해 다룬다. 그리고 하드웨어 인터페이스를 제공하는 레지스터와 인터럽트에 대해서도 다룬다. 그 외 프로젝트에서 하드웨어 팀과 임베디드 소프트웨어 팀 간 협력을 위한 인간적인 측면에 대해서도 논의한다. 협력은 설계 단계, 공동 개발 단계, 통합 단계, 디버깅 단계 동안 필요하며, 6장에서는 이들 각 단계에서 요구되는 협력의 개념에 대해 알아본다. 그리고 제품의 품질을 향상시키는 다양한 하드웨어 설계 양상과 하드웨어 버전을 지원하는데 도움을 주는 소프트웨어 설계 양상에 대해서도 다룬다.

7장, '임베디드 소프트웨어 프로그래밍과 구현 가이드라인' 임베디드 소프트웨어 개발에 일반적으로 사용되는 몇 가지 가이드라인을 제공한다. 프로그래밍 원칙에서 시작해 가독성, 테스트용이성, 유지 보수성을 포함한다. 7장은 하드웨어 고려 사항, 파일 구조, 개발 가이드라인을 비롯해 임베디드 소프트웨어 프로젝트를 어떻게 시작하는지 대한 논의를 계속 이어간다. 그런 다음 문법 코딩 표준의 중요성을 비롯해 소프트웨어 개발 프로젝트에서 매우 중요한 프로그래밍 가이드라인으로 초점을 바꿔 논의한다. 7장은 변수와 정의에 대한 설명과 이들이 어떻게 임베디드 소프트웨어 프로젝트에 사용되는지 대한 논의로 마무리한다.

8장, '임베디드 운영체제' 실시간 운영체제(RTOS)는 임베디드 시스템 어디에나 존재한다. 8장은 실시간 커널이 무엇인지, 운영체제가 제품 개발자에게 제공하는 서비스가 무엇인지 설명하고, 커널 내부 일부에 대해 설명한다. 커널은 RTOS의 컴포넌트다. 8장에서는 작업 관리, 인터럽트 핸들링, 스케줄링, 문맥 스위칭, 시간 관리, 자원 관리, 메시지 패싱, 우선순위 변환 등 많은 부분을 살펴본다.

9장, '임베디드 시스템에서 설계에 의한 소프트웨어 재사용' 임베디드 시스템에서 재사용을 제한하는 과제와 이의 극복 전략을 알아본다. 이러한 탐구에는 재사용의 제한 사항이 무엇인지, 하드웨어 추상화 계층이나 RTOS 포팅(porting) 계층과 같은 제한 사항을 극복하는 전통적인 접근법이 무엇인지를 포함한다. 그러나 여기서 그치지 않는다. 계층화된 소프트웨어가 가진 단점은 고도로 최적화되고 재사용이 가능한 소프트웨어 컴포넌트를 사용할 수 있게 만들어준다. 9장은 하드웨어와 RTOS에 상관없이 전문가 시스템에 의해 생성된 재구성과 재사용이 가능한 컴포넌트를 만드는 메커니즘인 컴포넌트 팩토리(factory)에 대한 개념을 소개한다.

10장, '임베디드 시스템을 위한 소프트웨어 성능 공학' 임베디드 시스템은 보통 하나 이상의 실시간 요구 사항을 갖는다. 최근 임베디드 소프트웨어 시스템의 복잡성으로 인해 이들 시스템의 성능 목표를 성취하기 위해서는 체계적인 접근법이 요구된다. 애드혹(ad hoc) 프로세스는 마감 시간을 놓치게 할 수 있고, 시스템의 성능을 빈약하게 만들 수 있으며, 프로젝트를 취소하게 만들 수도 있다. 다중 실시간 성능 요구 사항을 정의하고 관리하며 전달하기 위해서는 성숙도(maturity)가 필요하다. 소프트웨어 성능 공학(SPE)은 성능 공학 프로세스의 성숙도를 향상시킬 수 있는 시스템 공학의 범주에 속해 있는 교과목이다. SPE는 성능 목표를 만족하는 소프트웨어 시스템의 구축에 필요한 체계적이고 정량적인 접근법이다. SPE는 아키텍처, 설계, 구현에 초점을 둔 소프트웨어 지향 접근법으로, 임베디드 소프트웨어 개발 수명주기의 모든 단계에 적용되는 활동이나 기법, 산출물에 초점을 둔다. 특히 소프트웨어가 시스템의 성능 관련 요구 사항을 만족시키기 위해 설계되고 구현된다는 것을 보장하기 위해 민감성과 확장성에 초점을 둔다.

11장, '임베디드 소프트웨어의 성능 최적화' 코드 최적화는 개발 프로세스에서 시스템의 능력에 직접 영향을 미치는 핵심 단계다. 코드가 더 빠르게 실행된다는 것은 채널이 더 넓다는 것과 수행되는 것이 더 많다는 것, 더 경쟁적인 이점을 가진다는 것을 의미한다. 코드가 더 적은 메모리에서 실행된다는 것은 휴대폰에 더 적합한 애플리케이션 특징을 가질 수 있음을 의미한다. 그리고 코드가 실행 시 더 적은 전력을 소비한다는 것은 배터리의 수명을 증가시키거나 전력 기지국에서 소비되는 비용을 줄여줄 수 있음을 의미한다. 11장은 프로그래머에게 코드를 효과적으로 작성할 수 있게 도움을 줄 목적으로 작성됐다. 먼저 툴 체인의 이용법에 대한 소개부터 시작해, 최적화 이전에 임베디드 아키텍처를 아는 것이 중요하다는 점을 설명하고, 그런 다음 넓은 범위의 최적화 기법에 대해 설명한다. 11장에서 제시하는 기법은 C 언어 최적화 기법과 범용 루프 변환 같은 프로그램이 가능한 모든 아키텍처에 유효한 기법이다. 실세계에 대한 사례는 이 장 전체에 걸쳐 제시한다.

12장, '임베디드 소프트웨어의 메모리 최적화' 목표 아키텍처에서 클록 주기의 실행 결과로 인해 컴파일 코드에 대한 최적화 메트릭이 항상 측정되는 것은 아니다. 무선 네트워크 연결 또는 백홀(backhaul) 기반 구조에서 다운로드로 실행 가능한 휴대폰이나 무선 장치를 고려한다. 이러한 경우 보통 이점을 갖거나 무선 장치로 다운로드해야만 하는 컴파일 코드의 크기를 컴파일러가 줄여준다. 다운로드될 필요가 있는 코드의 크기를 줄임으로써, 다운로드되는 각 무선 지점에 요구되는 대역폭의 관점에서 비용이 줄어드는 결과를 얻는다. 컴파일 코드의 메모리 시스템 성능과 같은 최적화 메트릭은 개발자에게는 흔하게 중요한 또 다른 메트릭이다. 이들 메트릭은 목표 프로세서상의 컴파일 코드뿐만 아니라 기본이 되는 메모리 시스템, 캐시, DRAM, 버스 등과 같은 동적 실시간 동작과 긴밀히 연관돼 있다. 애플리케이션 내 데이터 또는 더 특별하게 실시간에서 동적으로 평가되는 데이터와 이에 대응되는 데이터 구조의 순서를 효율적으로 조정함으로써 메모리 시스템 레벨에서 중요한 성능 개선을 얻을 수 있다. 이에 추가해 SIMD 명령 집합이 제시되고 다양한 메모리 시스템의 정렬 조건이 만족되면 데이터의 공간적 위치로 인해 벡터화 컴파일러도 시스템의 성능을 개선할 수 있다.

13장, '임베디드 소프트웨어의 전력 최적화' 임베디드 프로젝트의 제품 수명주기에서 가장 중요한 고려 사항 중 하나가 장치에 대한 전력 소모를 이해하고 최적화하는 것이다. 재충전 동안 최소 사용 시간과 유휴 시간을 보장할 수 있는 정도의 배터리 전력을 요구하는 휴대용 단말기에서는 전력 소모가 아주 잘 드러난다. 그 외의 주요 임베디드 애플리케이션, 즉 의료장비, 테스트, 측정, 미디어, 무선 기지국 등도 전력에 매우 민감하다. 증가되고 있는 강력한 프로세서의 열 손실과 전원 공급장치에 들어가는 비용, 에너지 소비로 인한 비용을 관리해야 할 필요가 있기 때문이며, 특히 전력 소모는 간과될 수 없는 사실이다. 전력 요구 사항을 정하고 유지하는 책임은 보통 하드웨어 설계자의 몫으로 돌아가지만, 소프트웨어 프로그래머도 전력 최적화에 큰 기여를 제공할 수 있는 능력이 있다. 보통 소프트웨어 공학자가 이러한 장치들의 전력 소모에 큰 영향을 미친다는 사실은 간과되거나 저평가되고 있다. 13장의 목적은 전력 소모를 최적화하기 위해 소프트웨어가 어떻게 사용될 수 있는지에 대해 알아보는 것이다. 이를 위해 먼저 기본적인 전력 소모의 구성부터 시작해서 전력 소모에 대한 적절한 측정 방법, 알고리즘 레벨과 하드웨어 레벨, 데이터 흐름에서 소프트웨어로 전력 소모를 최소화하는 기법을 알아본다. 또한 특정 방법이 전력을 줄이는 데 어떻게 왜 효과적인지 이의 다양한 기법에 대한 데모와 설명을 포함하며, 이에 따라 독자는 자신의 애플리케이션에 이 방법을 즉시 선택해 적용할 수 있다.

14장, '임베디드 시스템을 위한 인간 요소와 사용자 인터페이스 설계' 임베디드 시스템을 설계할 때, 특히 사용자 인터페이스를 설계할 때는 특별한 주의가 요구된다. 간단한 장치에 대해서는 단순 텍스트, 명령 버튼, LED가 적절하다. 더 복잡한 시스템에 대해서는 완전한 그래픽 사용자 인터페이스GUI와 터치 패널이 요구된다. 사용자 인터페이스 설계는 a) 서로 다른 소프트웨어 컴포넌트 간 인터페이스 설계, b) 소프트웨어와 인간이 아닌 정보 생산자와 소비자 간 인터페이스 설계, c) 인간과 컴퓨터 간 인터페이스 설계 같은 핵심 영역에 초점을 맞춰야 한다. 14장은 효과적인 사용자 인터페이스 설계에 요구되는 프로세스, 가이드라인, 인간 요소, 기술에 초점을 맞춘다.

15장, '임베디드 시스템 품질, 통합, 테스팅 기법' 임베디드 소프트웨어 개발에서 실용적 결정이 이뤄져야 하는 가용한 테스트 시간과 예산 요구에 대한 효과성을 최적화할 필요가 있을 때 최신 기법과 모범 사례는 (항공기의 비행제어기, 자동차의 브레이크 시스템 또는 의료 장치와 같은) 고신뢰성 장치뿐만 아니라 신뢰성이 떨어지는 애플리케이션에도 적용된다. 이러한 다중 소프트웨어테스트 기법을 보완하기 위해, 기법을 자동화한 유사한 테스트 툴이 많다. 이들 툴은 안전 필수 애플리케이션의 개발에서는 아주 흔하게 사용되지만, 모든 툴을 구입하거나 심지어 이들 툴의 일부라도 구입할 만한 예산을 가진 사람은 별로 없을 것이다. 물론 이들 툴의 제공자는 툴 각각이나 그렇지 않으면 툴 모두에 대한 구입을 지지할 것이다. 그렇다면 제한된 예산을 어떻게 적절하게 할당할 것인가? 그리고 예산이 없다면 최종 제품이 적절한 품질을 가질 것이라는 확신을 사람들에게 믿게 만드는 그러한 툴도 없이 어떻게 유사한 원칙을 적용할 것인가? 이러한 이슈를 다루기 위해 15장에서는 제시된 기법 뒤에 숨어있는 개념뿐만 아니라 실제 어떻게 구현했는지를 설명하는 소프트웨어 코드에 대한 몇 가지 사례연구도 함께 제시한다.

16장, '임베디드 시스템용 소프트웨어 개발 툴' 임베디드 시스템의 소프트웨어 개발 툴, 특히 디버깅과 조사 툴에 초점을 둔다. 16장은 현재의 실행 시점에서 개발자에게 프로그램의 내부에 무엇이 있는지, 또는 프로그램이 언제 충돌하는지 그 시점을 알려주는 소스코드 디버거 툴의 능력 제시부터 시작한다. 디버거의 특징은 가장 대중적이고 많이 사용되는 디버거 중 하나인 GDB, 즉 프리소프트웨어 재단(FSF)에서 제공하는 GNU 디버거의 사례를 이용해 설명한다. 임베디드 시스템의 모든 요구 사항을 다루기 위해 16장은 간단한 디버거 루틴부터 시작해 디버거의 완전한 특징을 포함하는 특별한 대상 요구 사항에 적합한 디버거 에이전트를 어떻게 설계하는지 제시한다. 또한 전형적인 사용 사례와 문맥 전환, 위치 독립적 실행 파일, 디버거 이벤트 핸들링과 다중 코어 같은 설계에 대한 핵심 내용을 제시한다. 그런 다음 JTAG을 이용하는 이점과 디버거를 대상에 직접 연결하는 데 사용되는 외부 장치를 제시한다. 이때 디버거는 대상과 자기 자신의 자원을 완전히 제어하는 기능을 갖는다. 이 장의 끝부분에서는 이클립스(Eclipse)와 GDB 같은 무료 공개 소프트웨어를 기반으로 하는 통합 개발 툴, 측정 코드, 분석 툴과 같이 디버깅 프로세스에 도움을 줄 수 있는 기타 툴도 소개한다.

17장, '임베디드 시스템용 다중 코어 소프트웨어 개발' 다중 코어 소프트웨어 개발은 자동차부터 네트워킹과 무선 기지국까지 임베디드 시스템의 많은 영역에서 그 중요성과 적용 가능성이 점점 더 커지는 분야다. 17장은 다중 코어 연합(MCA)에서 최근 발표한 다중 코어 프로그래밍 사례(MPP)의 핵심 부분을 요약해서 보여준다. 모범 사례 가이드라인을 표준화한 MPP는 다중 코어 프로세서를 비롯한 개발 프로젝트를 고려하거나 구현하려는 회사와 기존 다중 코어 기술의 사용을 선호하는 회사의 공학자와 공학 관리자를 위해 특별하게 작성된 문서다. 다중 코어 준비를 위해 오늘날의 C/C++ 코드가 어떻게 작성됐는지를 더 잘 이해하는 것이 중요한데, 이것은 MPP 워킹 그룹의 영향하에서 성취됐다. 이 가이드라인을 이용하면 a) 더 높은 성능을 가진 소프트웨어를 만들 수 있고, b) 다중 코어 소프트웨어 이슈로 인해 버그 비율을 줄일 수 있으며, c) 다중 플랫폼에서 목표가 될 수 있는 휴대용 다중 코어 코드를 개발할 수 있고, d) 다중 코어 프로그래밍의 학습 커브를 줄이면서 개발 시간은 증가시킬 수 있으며, e) 다중 코어 연합의 API 기반 구조의 현 구조와 로드맵을 함께 묶을 수 있다.

18장, '안전 필수 소프트웨어 개발' 안전 필수 소프트웨어 개발의 여러 양상에 대해 다룬다. 18장의 첫 번째 부분은 프로젝트 기획 부분으로, 이는 프로젝트의 첫 시작 부분이자 공수(effort)의 범위를 정하는 중요한 단계다. 이는 안전 필수 요구 사항에 대한 관리와 개발 도중 대처 방법에 대한 통찰력을 제공한다. 또한 프로젝트 관리의 핵심 전략도 제공한다. 두 번째 부분은 결점, 장애, 위험에 대한 분석을 설명한다. 그리고 리스크 분석에 대한 서술도 역시 포함한다. 다음으로 임베디드 시스템에 사용될 수 있는 몇 가지 안전 필수 아키텍처를 다룬다. 마지막 부분은 안전 필수 소프트웨어를 개발하기 위한 소프트웨어 구현 가이드라인을 다룬다.

19장, '지적 재산' 지적 재산권은 보통 사람들의 발명품이나 설계 자체를 보호하기 위해 축적한 특허권 또는 기타 법적 보호조치의 두 가지 사항을 의미한다. 그래서 사람들은 지적 재산권과 관련된 라이선싱에 대해 많은 얘기를 하고 있는데, 이는 특허로 등록된 아이디어를 다른 사람 이 사용할 수 있도록 누군가에게 라이선스를 팔거나 프로세서와 기타 설계 사항을 가진 ARM이나 컴파일러와 운영체제 제품을 가진 툴처럼 제품을 만들어 배포하며, 또는 사용하기 위해 라이선스를 파는 것을 의미한다. 19장에서는 사람들의 일에 연관된 법적 보호조치를 처리하는 첫 번째 의미에 더 집중하며, 다음과 같은 두 가지 주요 영역에 대한 기본적인 사항을 다룬다. 첫째, 사람들이 썼거나 또는 구입했던 소프트웨어가 실제로 자신의 것이라는 것을 보장하기 위해 필요한 것이 무엇인지, 공개 소프트웨어에 대한 역할을 비롯해 그러한 소프트웨어를 팔 때나 다른 사람에게 라이선싱할 때 필요한 것이 무엇인지에 관련된 이슈를 다룬다. 둘째, 사람들이 가진 소프트웨어와 그 외의 가치 있는 발명품에 대해 획득될 수 있는 다양한 보호조치에 대해 다룬다.

20장, '임베디드 소프트웨어 개발 관리' 어떠한 임베디드 소프트웨어 프로젝트나 프로그램에 대해서든 성공적으로 구성하고 관리할 수 있는 정보를 제공한다. 20장은 시스템의 품질, 소프트웨어를 스택으로 구성하는 OSI 모델, 다양한 소프트웨어 개발 모델, 팀 구성 방식, 의사소통에 대한 개요를 소개한다. 자원이나 품질, 고객의 만족을 포함하는 프로젝트나 프로그램의 범위와 스케줄, 비용에 대한 제약 사항을 관리하는 것은 프로젝트나 프로그램이 가진 작업과 활동 모두를 다루는 것과 마찬가지다. 20장은 소프트웨어를 배포할 때까지 소요되는 수명주 기의 전 단계에 걸쳐 소프트웨어 개발에 대한 정상적인 진행 방법을 알아본다. 그리고 소프트웨어 명세를 테스트하기 위해 요구 사항부터 각각의 공학적 대응 방법까지 확장시킨 자원 관리, 리스크 관리, 문제 해결과 작업 추적성을 성공적으로 기획하고 실행하기 위한 툴도 함께 제시한다.

21장, '임베디드 시스템을 위한 애자일 개발' 애자일 소프트웨어 개발은 반복 개발을 기반으로 하는 소프트웨어 개발 기법을 집합시켜 놓은 개발 방법이다. 요구 사항과 소프트웨어 시스템은 자기 구성과 교차 기능 팀 간의 협력을 통해 발전한다. 애자일 개발은 적응적 기획, 진화적 개발과 배포, 타임박스(timebox)를 갖는 반복 접근법을 지원한다. 애자일의 목적은 변화에 대해 신속하고 유연한 대응을 하는 것이다. 애자일은 개념적 프레임워크로서 개발 주기를 통해 상호작용을 촉진한다. 애자일을 임베디드 소프트웨어 프로젝트에 적용하기 위해 소프트웨어 특징을 발전시키는 더 어렵고 효과적인 테스팅과 같은 몇 가지 특별한 도전을 소개한다. 이는 하드웨어 구성이 기획과 설계 단계에서 더 솔직한 스타일을 요구한다는 점을 고려해 대응 하드웨어의 변경이 수용하기에는 비용이 너무 높다거나 시간이 지날수록 학습하는 능력이 떨어질지도 모른다는 사실로 인해 대응 하드웨어가 적시에 가용하지 못하거나 변경에 대해서도 덜 자유로울 수 있기 때문이다. 21장은 애자일 소프트웨어에 대한 개발 기법을 소개하고 이들 기법이 어떻게 임베디드 시스템에 적용되는지 보여준다.

22장, '자동차 애플리케이션용 임베디드 소프트웨어' 다른 애플리케이션과는 달리 엄격한 기획, 아키텍처 개발, 테스팅, 밸리데이션과 베리피케이션이라는 특징을 갖는 자동차 시스템을 소개한다. 다른 애플리케이션 영역과 대비해 자동차 애플리케이션용 임베디드 소프트웨어를 작성하는 물리적인 작업은 다른 임베디드 시스템과 비교해 그리 크게 다르지 않지만, 개발과 테스트 프로젝트에 반드시 수반돼야 하는 품질 표준이 핵심 차이라 할 수 있다. 자동차 소프트웨어를 작성하기 위해 공학자는 자동차 시스템이 오늘날 어떻게 왜 복잡한 환경으로 발전됐는지 이해할 필요가 있다. 공학자는 자동차 하위 시장 간의 차이점과 공통점을 인식해야만 한다. 또한 적용 가능한 품질 표준에 대해서도 잘 알아야 하고, 품질이 어떻게 테스트되고 측정되는지도 알아야 하며, 이에 덧붙여 그러한 엄격한 품질 제어가 왜 있어야 하는지에 대해서도 잘 알아야 한다. 22장에서는 이러한 모든 내용에 대해 가장 흔한 모범 사례를 이용해 설명한다. AEC, OBD-II, MISRA와 같은 더 전통적인 표준뿐만 아니라 최근에 등장한 AUTOSAR와 ISO26262 표준으로 지원되는 모델링, 자동 코드 작성, 첨단 추적과 디버그 같은 높은 품질과 결함 허용, 상호작용 코드를 소프트웨어 공학자가 잘 작성할 수 있게 도움을 주는 다양한 프로세스를 소개한다.

23장, '입출력과 스토리지 프로그래밍' 임베디드 시스템에서 입출력(I/O)과 저장 장치는 매우 중요한 컴포넌트다. 임베디드 시스템에서 I/O의 다양성은 I/O 관리를 매우 복잡한 프로세스로 만든다. 임베디드 운영체제 시스템의 가장 기본적인 기능 중 하나가 모든 I/O 장치를 제어하고 관리하는 것이며, I/O 장치를 동시에 접속하는 다중 프로세스를 조정하는 것이다. 여기서 CPU와 장치 간 I/O 구현을 제어하는 것이 장치 관리의 핵심 기능이다. 운영체제는 인터럽트에 대응하고 장치에 대한 예외 사항을 다루기 위해 명령을 장치에 보낸다. 또한 장치와 시스템의 다른 부분 사이의 인터페이스를 간단하고 쉽게 사용하는 방법을 제공한다. 따라서 I/O 장치 사이뿐만 아니라 CPU와 I/O 간의 병렬 프로세싱 능력을 향상시키기 위해서도 I/O 관리 모듈은 필요하다. 그리고 시스템 자원에 대한 최적의 이용 효율성을 얻기 위해 I/O 관리 모듈은 통합되고, 명확하며 독립적이고 확장 가능한 I/O 인터페이스를 제공해야 한다. 이 책에서 스토리지는 임베디드 시스템에서 많이 사용되는 NOR/NAND 플래시, eSDHC, U-Disk, HDD, SSD 같은 외부 저장장치를 참조한다. 최근 클라우드 컴퓨팅의 개발에 따라 스토리지 기술은 시스템에서 아주 중요한 역할을 담당한다. 23장은 CPU와 I/O 장치, 인터럽트 기술, I/O 제어 프로세스, 대응되는 장치 드라이버의 구현 프로세스 간 데이터 변환 모드에 대해 알아본다. 스토리지 장치의 프로그래밍 모델도 다루는데, 여기에는 특징 지원과 성능 최적화가 포함된다.

24장, '네트워킹 애플리케이션용 임베디드 소프트웨어' 임베디드 네트워킹 애플리케이션은 급격히 변화되고 발전되는 분야다. 예를 들어 임베디드 다중 코어 기술은 고급 네트워킹 애플리케이션뿐만 아니라 중간 및 저급 네트워킹 애플리케이션에도 나타나고 있다. 네트워킹 성능을 성취하기 위해서는 소프트웨어가 다중 코어의 이점을 가져야만 가능하다. 다중 코어 프로그래밍은 단일 코어 프로그래밍처럼 간단하지 않다. 아키텍처를 만들고 설계하는 것부터 코드 작성까지 새로운 사고방식이 요구된다. 다중 코어 SoC에서 네트워킹 애플리케이션 개발은 확장 가능한 성능 확보에 초점을 둬야 할뿐만 아니라 개발의 용이성과 오랜 시간 동안 유지 보수가 가능한 개발에도 초점을 둬야 한다. 24장에서 목록화된 일부 프로그래밍 기법이 이러한 목적을 달성하는 데 도움이 된다.

25장, '임베디드 시스템용 리눅스' 리눅스(Linux)는 네트워킹과 무선, 기지국과 같이 많은 임베디드 시스템에서 선택받고 있는 지속적으로 성장하는 운영체제다. 25장은 임베디드 시스템에서 리눅스의 사용 가능성에 대해 알아본다. 리눅스 커널 설치 방법, 자신의 리눅스 베이스라인 생성 방법, 플랫폼에서 동작하는 애플리케이션 획득을 위한 초기 단계에 대해 다룬다. 이전에 임베디드 시스템에서 리눅스를 사용하지 않았다면 25장은 리눅스를 사용하는 모든 기초적인 과정을 다룬다.

부록 1, 'C 문법 코딩 표준: 소스코드 개발' 임베디드 프로젝트에서 고려될 수 있는 문법 표준을 설명한다. 이에는 변수와 선언문을 위한 스타일 가이드와 네이밍(naming) 규약을 포함한다. 또한 개발 중에 있는 특별한 애플리케이션에 적합하게 사용되거나 수정할 수도 있다. 코딩 표준을 이용하면 코드의 베이스라인에 균일성을 제공하는 데 도움을 준다. 이는 개발자 모두에게 가독성과 유지 보수성을 제공하는 데 도움을 준다. 또한 코드에서 버그를 줄이는 데 도움을 주는 초기화 순서와 규약과 같은 모범 사례를 제안한다.

부록 2, '임베디드 소프트웨어, 시스템, 템플릿을 위한 C++ 프로그래밍 언어' C++는 임베디드 시스템의 개발에 도움을 주는, 더 구체적으로는 주어진 제품이나 플랫폼에 대한 애플리케이션과 시스템 레벨 소프트웨어에 도움을 주는 몇 가지 특징을 제공한다. 부록 2에서는 임베디드 소프트웨어 개발을 위한 C++ 이용의 다양한 측면을 비용에 따른 세 가지 종류로 구분해서 설명한다. 상대적으로 저렴한 임베디드용 C++의 특징으로는 정적 상수, 선언과 문장 순서, 함수 오버로딩, 네임스페이스 이용, 컨스트럭터와 디스트럭터의 이용을 다루며, 다소 값비싼 임베디드용 C++의 특징으로 함수 인라이닝, 컨스트럭터/디스트럭터/자료형 전환, C++ 템플릿 이용, 다중 상속, 캡슐화를 소개한다. 마지막으로 일반적으로 값비싼 임베디드용 C++의 특징으로 런타임 유형 식별과 예외 처리를 설명한다.

사례연구 1, '소프트웨어 성능 공학' 소프트웨어 성능 공학SPE을 실제 산업용 프로젝트에 적용시킨 애플리케이션에 대해 알아본다. SPE는 데이터를 수집하고, 시스템 성능 모델을 구축하며, 성능 모델을 평가하고, 불확실성 리스크를 관리하며, 대안을 평가하고, 모델과 그 결과를 검증하는 기법들을 모아 놓은 집합이다. SPE는 또한 이들 기법을 효과적으로 사용하기 위한 전략을 포함한다. 소프트웨어 개발 수명주기에서 시스템의 성능 평가를 상대적으로 초기에 사용할 수 있다면 프로젝트의 실패를 면할 수 있다. 시스템을 구현하기 이전에 대안 설계가 평가된다면 애플리케이션은 보통 더 나은 성능을 가질 것이다.

사례연구 2, '사용자 인터페이스: 경찰 지휘 통제 시스템' 저충실도의 프로토타입 개발에 사용되는 경찰 지휘 통제 시스템의 사용자 인터페이스 프로토타입에 대한 사례를 고찰한다. 이 사례 연구는 인간 요소와 사용자 인터페이스 설계라는 바탕 위에서 10장에서 소개한 프로세스와 기법을 포함한다. 사용자 인터페이스 설계는 서로 다른 소프트웨어 컴포넌트 간 인터페이스 설계, 소프트웨어와 인간이 아닌 정보 생산자와 소비자 간 인터페이스 설계, 인간과 컴퓨터간 인터페이스 설계와 같은 핵심 영역에 주안점을 둔다.

사례연구 3, '다중 코어로의 전이' 다중 코어 프로그래밍에 대한 모범 사례를 실세계 산업용 애플리케이션에 적용한다. 단일 코어 애플리케이션에서 다중 코어 애플리케이션으로 임베디 드 소프트웨어 애플리케이션을 이동시키기 위해서는 소프트웨어 프로그래밍 모델, 소프트웨어 스케줄링 시스템, 시스템 분할 접근법, 최적화 전략을 변경해야 한다. 그리고 이러한 이행을 효과적으로 수행하기 위해 소프트웨어 최적화 방안뿐만 아니라 애플리케이션 도메인에 대한 지식, 핵심이 포함된 SoC의 세부 사항, 오프로드 블록, 주변장치, 상호연결 세부 사항도 결정해야 한다. 이 사례연구에서는 네트워킹 소프트웨어 애플리케이션을 단일 코어 구현에서 고도로 최적화된 다중 코어 구현으로 이동시키기 위한 여러 단계를 알아본다.

사례연구 4, '임베디드 시스템 품질과 메트릭 프로그램을 위한 소프트웨어 공학' 펨토(femto) 임베디드 시스템에 대한 소프트웨어 개발과 시스템 통합 메트릭에 대해 고찰한다. 펨토 셀(Femtocell)은 저전력의 짧은 전송 범위를 가진 독립 기지국이다. 펨토 셀은 기본적으로 가정이나 소규모 사무실을 위한 소형 기지국이다. 펨토 셀의 핵심 속성은 IP 백홀(backhaul) 음성 트래픽이 인터넷으로 전송된다), 자가 최적화, 저전력 소비, 쉬운 배포를 포함한다. 이 사례연구에서 다루는 많은 기법을 보강하기 위해 실제 산업용 데이터를 사용한다.

1장 임베디드와 실시간 시스템을 위한 소프트웨어 공학

__소프트웨어 공학

__임베디드 시스템

____임베디드 시스템은 반응 시스템이다

__실시간 시스템

____실시간 시스템의 유형: 소프트와 하드

____하드 실시간 시스템의 사례

____실시간 이벤트의 특성

____효율적 실행과 실행 환경

__실시간 시스템 설계에서의 도전

____반응 시간

____장애로부터 복구

____임베디드 시스템 소프트웨어 구축 프로세스

__분산과 멀티프로세서 아키텍처

__임베디드 시스템을 위한 소프트웨어

____슈퍼 루프 아키텍처

__임베디드 시스템을 위한 하드웨어 추상화 계층(HAL)

__정리



2장 임베디드 시스템 하드웨어/소프트웨어 공동 개발

__오늘날의 임베디드 시스템: 사례

__HW/SW 프로토타이핑 사용자

__HW/SW 프로토타이핑 선택 사항

__프로토타이핑 결정 기준

__올바른 프로토타입 선택

__산업 설계 사슬

__설계 흐름의 변경 필요성

__가상 프로토타입의 다양한 유형

__가상 프로토타입의 간략한 역사

__독점 오퍼에 대한 제한 사항

__가상 프로토타입을 빠르게 만드는 것

__표준화: SystemC TLM-2.0 시대

____SystemC TLM-2.0 추상화 레벨

__아키텍처 가상 프로토타입

__소프트웨어 가상 프로토타입

__정리: 가상화 중요성의 증가



3장 임베디드 시스템을 위한 소프트웨어 모델링

__언제 그리고 왜 임베디드 시스템을 모델로 만들려고 하는가?

__모델링

__모델링 언어는 무엇인가?

__모델링 언어의 사례

__V 다이어그램의 약속

__왜 임베디드 시스템을 모델로 만들려고 하는가?

__언제 임베디드 시스템을 모델로 만들려고 하는가?

____임무와 안전 필수 애플리케이션

____고도로 복잡한 애플리케이션과 시스템

__운용의 복잡성

__결함 비용과 검출 시간

__규모가 큰 개발 팀은 모델링을 요구한다

__모델링은 종종 유일한 선택이다

__모델링은 훌륭하지만, 모든 모델이 틀리지는 않는가?

__자신의 프로토타입을 가져야 한다: 이제 어떻게 해야 하는가?

__정리

__다음 단계: 시도하라!

____DC 모터를 이용한 폐회로 제어

____다운로드 가능 킷을 이용한 프로토타이핑 더 배우기

____NI 상태 차트 모듈을 이용한 애플리케이션 설계

____브러시를 갖는 DC 모터의 H 브리지 회로의 설계와 시뮬레이션

____모델리카 모델을 이용한 다중 도메인의 물리적 모델링

__참고 문헌



4장 임베디드 시스템을 위한 소프트웨어 설치 아키텍처와 패턴

__아키텍처와 설계 개요

____아키텍처는 시스템 전역 최적화에 관한 것이다

__세 가지 설계 레벨

__설계 패턴이란?

____설계 패턴을 이용하기 위해 객체지향 기법을 이용해야만 하는가?

____아키텍처 사례

____패턴 사용

____트레이드오프 결정

__소프트웨어 아키텍처 범주와 뷰

____주 아키텍처 뷰

____2차 관점

__정리

__참고 문헌



5장 실시간 빌딩 블록: 이벤트와 트리거

__이벤트와 트리거

__실내 온도 구성단위

__이벤트 시스템

__이벤트 처리

__이벤트 메소드

__이벤트 데이터 구조

__재진입

____인터럽트 불능과 가능

____EnterCritical과 ExitCritical

____세마포어

____Enter/ExitCritical을 이용한 구현

__이벤트 처리

__통합

__트리거

__LED 깜박이기

__설계 아이디어

__틱 타이머

__트리거 인터페이스

__트리거 디스크립터

__데이터 할당

__SetTrigger

__IncTicks

__재진입 만들기

__초기화

__깜박이기!

__삐 소리 내기!

__실시간 양상

__정리와 소스코드



6장 임베디드 소프트웨어에 대한 하드웨어 인터페이스

소개

하드웨어 팀과의 협업

____능동적 협업

____앰버서더

____레지스터 설계 툴

____공동 개발 활동

____시스템 통합

__유용한 하드웨어 설계 양상

____하드웨어 이벤트 통지

____하드웨어에서의 작업 시작

____비트 필드 정렬

____고정 비트 위치

____블록 버전 번호

____디버그 후크

__다중 하드웨어 버전 지원

____컴파일 시간 스위치

____빌드 시간 스위치

____실행 시간 스위치

__자가 적응 스위치

__어려운 하드웨어 상호작용

____정확한 레지스터 접근

____동일 레지스터에서의 혼합 비트 유형

____에지와 레벨 인터럽트

__테스팅과 문제 해결

__일시적 후크

____영구적 후크

__정리

__성공 사례



7장 임베디드 소프트웨어 프로그래밍과 구현 가이드라인

__소개

____고품질 프로그래밍의 원칙

____임베디드 프로그래밍이 일반 프로그래밍과 다른 점

__임베디드 소프트웨어 프로젝트 시작

____하드웨어 플랫폼 입력

____프로젝트 파일/구성

____팀 프로그래밍 가이드라인

____구문 표준

____소스코드에서의 안전성 요구 사항

__변수 구조

____변수 선언

____데이터 유형

____정의



8장 임베디드 운영체제

__포어그라운드/백그라운드 시스템

__실시간 커널

____실시간 운영체제(RTOS)

____임계 구간

____태스크 관리

____태스크 우선순위 할당

____스택 크기 결정

____유휴 태스크

__우선순위 레벨

__준비 목록

____선점형 스케줄링

__스케줄링 시점

____라운드로빈 스케줄링

__문맥 스위칭

__인터럽트 관리

____CPU 인터럽트 처리

____비커널 인식 인터럽트 서비스 루틴(ISR)

____다중 인터럽트 우선순위를 가진 프로세서

____공통 장소에 대한 모든 인터럽트 벡터

____유일 장소에 대한 모든 인터럽트 벡터

__클록 틱(또는 시스템 틱)

__대기 목록

__시간 관리

__자원 관리

____자원 관리, 불능/가능 인터럽트

____자원 관리, 세마포어

____자원 관리, 우선순위 전환

____자원 관리, 상호 배제 세마포어(뮤텍스)

____자원 관리, 교착상태(또는 죽음의 포옹)

__동기화

____동기화, 세마포어

____동기화, 크레딧 트래킹

____쌍방 랑데부

__메시지 패싱

____메시지

____메시지 큐

____제어 흐름

____클라이언트와 서버

__메모리 관리

__정리



9장 임베디드 시스템에서 설계에 의한 소프트웨어 재사용

__소프트웨어 재사용이 문제가 되는 이유

__소프트웨어 재사용의 제한 사항

__소프트웨어 재사용의 종류

__계층에 의한 재사용 구현

__다음 레벨로 이동

__컴포넌트 팩토리 소개

__팩토리 하드웨어 구성

__팩토리 소프트웨어 구성

__팩토리가 재사용성을 지원하는 방법

__RTOS 불가지론

__임의 확장성

__정리

__참고 문헌



10장 임베디드 시스템을 위한 소프트웨어 성능 공학

__사례: eNodeB 애플리케이션에서 지연과 처리량

__성능 패턴과 안티패턴

__참고 문헌



11장 임베디드 소프트웨어의 성능 최적화

__코드 최적화 프로세스

__개발 툴 이용

____컴파일러 최적화

____기본 컴파일러 구성

____최적화 보장 활동

____추가 최적화 구성

____프로파일러 이용

__배경: 임베디드 아키텍처 이해

____자원

__기본 C 최적화 기법

____올바른 데이터 유형 선택

____함수 호출 관례

____포인터와 메모리 접근

____제한과 포인터 대역

____루프

____추가 팁과 비법

__일반 루프 변환

____루프 언롤링

____다중 샘플링

____부분 합

____소프트웨어 파이프라이닝

__최적화 기법 애플리케이션 사례: 교차 상관관계

____준비

____최초 구현

____1단계: 분수 연산을 위한 인트린식 사용과 루프 카운트 명시

____2단계: 데이터 정렬 명시와 다중 샘플링 알고리즘 수정

____3단계: 어셈블리 언어 최적화



12장 임베디드 소프트웨어의 메모리 최적화

__소개

__코드 크기 최적화

____컴파일러 플래그와 플래그 마이닝

____크기와 성능 트레이드오프를 위한 타깃 ISA

____코드 크기를 위한 ABI 튜닝

____캐비앳 엠프토르: 코드 크기에 직교적인 컴파일러 최적화!

__메모리 레이아웃 최적화

____메모리 최적화 개요

____최적화 노력에 집중

____벡터화와 동적 코드: 비율 계산

____C의 포인터 에일리어싱

__데이터 구조, 데이터 구조 배열, 합산

__메모리 성능을 위한 루프 최적화

____데이터 정렬 파급 효과

____큰 성과를 위한 데이터 유형 선정



13장 임베디드 소프트웨어의 전력 최적화

__소개

__전력 소비의 이해

____전력 소비 기초

____정적과 동적 전력 소비

____최대, 평균, 최악, 일반 전력

__전력 소비 측정

____전류계를 이용한 전력 측정

____홀 센서 유형 IC를 이용한 전력 측정

____VRM(전압 조정기 모듈 전력 공급 장치 IC)

____정적 전력 측정

____동적 전력 측정

____애플리케이션의 전력 소비 프로파일링

__전력 소비 최소화

____하드웨어 지원

____클록과 전압 제어

____저전력 사례

__데이터 흐름 최적화

____메모리 접근을 위한 전력 소비 줄이기

____DDR 개요

____전력용 DDR 데이터 흐름 최적화

____타이밍에 의한 전력 최적화

____인터리빙을 이용한 최적화

____메모리 소프트웨어 데이터 구성 최적화

____일반 DDR 구성 최적화

____DDR 버스트 접근 최적화

__전력을 위한 SRAM과 캐시 데이터 흐름의 최적화

____SRAM(모든 메모리)과 코드 크기

____SRAM 전력 소비와 병렬화

____데이터 전이와 전력 소비

____캐시 활용과 SoC 메모리 레이아웃

____지역성 설명

____집합 연관도 설명

____캐시를 위한 메모리 레이아웃

____후기입과 연속 기입 캐시

____캐시 일관성 기능

____컴파일러 캐시 최적화

__주변기기/통신 활용

____데이터 DMA와 CPU

____코프로세서

____시스템 버스 구성

____주변기기 속도 등급과 버스 폭

____핵심 통신에 대한 주변기기

__알고리즘

____컴파일러 최적화 레벨

____명령 패킹

____루프 언롤링 재고

____소프트웨어 파이프라이닝

____반복 제거

____정확성 줄이기

____저전력 코드 시퀀스와 데이터 패턴

__정리



14장 임베디드 시스템을 위한 인간 요소와 사용자 인터페이스 설계

__사용자 인터페이스 설계의 분석 단계

____첫 번째 설계 반복

____두 번째 프로토타입 개발(고성능 툴로 작성된 실물 모형)

____필수 유스케이스

____사용자 분석 시나리오

____계층적 태스크 분석

____사용자의 인지, 지각, 학습의 제한사항 극복을 위한 설계 접근법

____오류 메시지

__가상 윈도우

__엔티티 관계 다이어그램(ERD)을 이용한 데이터 모델

__CREDO 매트릭스를 이용한 가상 윈도우 분석

__발견적(휴리스틱) 평가

__형태(게슈탈트)

__MVC 아키텍처를 이용한 사용자 인터페이스 설계

____MVC 소프트웨어 아키텍처의 상황

____MVC 소프트웨어 아키텍처의 문제와 영향력

____MVC를 이용한 해결책

__안전 필수 사용자 인터페이스

____안전한 HMI 설계 프로세스

____안전한 인간-기계 인터페이스 설계 가이드라인

__참고 문헌

__관련 문헌



15장 임베디드 시스템 품질, 통합, 테스팅 기법

__소프트웨어 테스트란?

____소프트웨어를 테스트해야 하는 이유

____테스팅에 충분한 양

____테스팅 시점

____누가 결정하는가?

__이용 가능한 기법

____정적과 동적 분석

____요구 사항 추적성

____코딩 표준에 엄격한 정적 분석

____필수 노트와 필수 순환 복잡도 사례연구

____동적 분석의 이해

____고집적 시스템의 유물

____단위, 모듈, 통합 테스트 정의

____구조적 커버리지 분석 정의

____탠덤에서 단위 테스트와 시스템 테스트에 의해 코드 커버리지 성취

____회귀 테스트를 통한 기능성 유지

____단위 테스트와 테스트 주도 개발

____테스트 케이스 자동 생성

__표준 설정

____표준 용어

____공인 프로세스 표준의 진화

____적절한 표준 선택의 자유

__특이 상황 처리

____자동 생성 코드 작업

____레거시 코드와 작업

____목적 코드 베리피케이션(OCV)을 통한 요구 사항 추적

__테스트 솔루션 환경 구현

____실용적 고려 사항

____대안 고려

__정리



16장 임베디드 시스템용 소프트웨어 개발 툴

__디버깅 툴 소개

__GDB 디버깅

____GDB 디버거 구성

____GDB 시작

____애플리케이션 컴파일

____애플리케이션 디버깅

____데이터 검사

____중단점 이용

____스텝으로 만들기

____프로그램 변경

____코어 덤프 분석

__디버그 에이전트 설계

____사용 예

____디버그 에이전트 개요

____애플리케이션 시작

____문맥 스위치

____위치 독립 실행 가능자

____애플리케이션으로부터 나온 디버그 이벤트

____다중 코어

____디버그 에이전트 시작

__JTAG를 이용한 디버깅

____JTAG 이용의 이점

____JTAG를 이용한 보드 브링업

____디버그 에이전트와의 비교

____GDB와 JTAG

__이클립스와 GDB를 이용한 디버깅 툴

____GDB를 이용한 리눅스 애플리케이션 디버그

____KGDB를 이용한 리눅스 커널 디버그

__계측 코드

____실제 사례

__분석 툴

____Strace

____Mtrace

____Valgrind

__하드웨어 능력

____하드웨어 중단점

____하드웨어 감시점

__디버깅 비법과 요령



17장 임베디드 시스템용 다중 코어 소프트웨어 개발

__1부: 분석과 고수준 설계

__분석

____직렬 성능 향상

____애플리케이션의 이해

__고수준 설계

____병렬 분해

____데이터 종속성

____통신과 동기화

____부하 균형

____알고리즘 선택

____분해 접근법

__1부 정리

__2부: 구현과 저수준 설계

__스레드 기반 구현

____커널 스케줄링

____POSIX 스레드(Pthreads)

____PPthreads 이용

____스레드 안전성 처리

____동기화와 상호 배제 구현

__뮤텍스, 잠금장치, 중첩 잠금장치

____뮤텍스

____조건 변수

__입상도

____작은 범위

____큰 범위

____접근법

__태스크 병행성 구현

____생성과 연결

____병렬 파이프라인 계산

____분할 정복 스키마

____태스크 스케줄링 고려 사항

____스레드 풀링

____친화력 스케줄링

____이벤트 기반 병렬 프로그램

____루프 병행성 구현

____계산과 집약성 정렬

__메시지 전달 구현

____MCAPI

____MRAPI

____다중 코어 시스템의 MCAPI와 MRAPI

____플레잉 카드 인식과 분류 사례

__하이브리드 접근법 이용

__참고 문헌



18장 안전 필수 소프트웨어 개발

__소개

__어떤 안전 요구 사항인가?

____인증 킬러

__프로젝트 기획 전략

____전략 1: 초기에 프로젝트의 인증 범위 결정

____전략 2: 인증의 타당성 결정

____전략 3: (사용한다면) 독립적 평가자 선정

____전략 4: (사용한다면) 평가자의 역할 이해

____전략 5: 평가 의사소통이 핵심

____전략 6: 인증의 베이시스 정립

____전략 7: 제품의 '적합성과 목적'정립

____전략 8: 인증의 블록 다이어그램 정립

____전략 9: 의사소통의 통합 목표 정립

____전략 10: 인증 경계의 모든 인터페이스 식별

____전략 11: 핵심 안전 방어 전략 식별

____전략 12: 빌트인 테스트(BIT) 능력 정의

____전략 13: 결점 경보 커버리지 정의

____전략 14: 운용자/사용자의 의지와 기대 정의

____전략 15: 적절한 통합 레벨에서의 소프트웨어 개발 계획 정의

____전략 16: 규정 준수의 증거로서 사용될 인공물 정의

____전략 17: 노동 집약 분석 계획

____전략 18: 사용자 레벨 문서 생성

____전략 19: 잔여 활동 계획

____전략 20: 명확한 인증 계획 발간

__결점, 장애, 위험, 리스크 분석

____결점, 오류, 장애

____가용성과 신뢰성

____결점 처리

____위험 분석

____리스크 분석

__안전 필수 아키텍처

____행위자(Do-er)/검사자(check-er)

____두 개의 프로세서

____투표자

__소프트웨어 구현 전략

____전략 1: 명확하고 반복적인 동료 검토 프로세스가 있는가

____전략 2: 기존의 안전 코딩 표준에 대한 이용 고려

____전략 3: 입력 데이터의 모든 조합 처리

____전략 4: 특정 변수 값 검사

____전략 5: 안전 필수 코드 구역 표시

____전략 6: 타이밍 실행 검사

____전략 7: 진부한 데이터

____전략 8: 출력 비교

____전략 9: 최소 허용 상태로 데이터 초기화

____전략 10: 실행 순서

____전략 11: 휘발성 데이터 검사

____전략 12: 비휘발성 데이터 검사

____전략 13: 전체 시스템이 동작할 수 있는지 확인

____전략 14: '불필요' 코드 제거

____전략 15: 비사용 메모리 작성

____전략 16: 정적 코드 분석

__참고 문헌



19장 지적 재산

__배경

__소프트웨어가 자신의 것인 경우

____소프트웨어 획득

____저작권 보호

____저작권 얻기

__특허

____특허는 무엇인가?

____특허는 왜 존재하는가?

____특허 결정

____특허 신청

____특허에는 무엇이 있는가?

____특허 허가

__문제

____오픈소스 소프트웨어

____소프트웨어 허가와 판매

____특허 확보

____침해 발견

____저작권 침해 회피

____특허 침해 회피



20장 임베디드 소프트웨어 개발 관리

__능력 성숙도 모델 통합

__OSI 모델

__소프트웨어 관리

____V 모델

____폭포수 모델

____애자일 모델

__구조

__프로그램 헌장

__이해관계자와 핵심 팀

__제품 수명주기 관리

__포트폴리오 관리

__프로젝트 관리 수명주기

__프로젝트 수명주기

__문제 해결

__의사소통

__약어, 기호, 두문자어

__저작권 감사의 글

__참고 문헌



21장 임베디드 시스템을 위한 애자일 개발

__소개

__임베디드 시스템의 특별한 점

____소프트웨어가 유일하고 요구 사항이 다양한 공학 분야에 걸쳐있는 시스템에 적합하다

____특정 하드웨어를 사용한다

____종종 하드웨어와 공동 개발된다

____프로그래밍 언어와 툴의 선정에 제약이 있다

____더 도전적인 테스팅 환경을 갖는다

____종종 고도로 예측 가능해야 한다

____종종 엄격한 시간 제약을 받는다

____종종 (메모리 같은) 심각한 자원의 제약이 있다

____종종 대단히 고신뢰적이고 안전 필수적이 돼야 한다

____종종 엄격한 외부 규정에 제약을 받는다

____단일 제품으로 출하, 납품된다

____종종 고정 가격 입찰의 대상이 된다

__임베디드 소프트웨어를 위한 애자일 프로젝트 기획

____프로젝트 비전

____초기 안전성/신뢰성 리스크 평가

____초기 프로젝트 리스크 평가

____추정

____스케줄링

__임베디드 소프트웨어를 위한 프로젝트 거버넌스

____스탠드 업!(회의)

____성과 메트릭

____반복 회고(파티 단계)

__임베디드용 애자일 개발 관행

____점증적 개발

____고충실도 모델링

____실행 가능한 요구 사항

____테스트 주도 개발(TDD)

____연속적 통합

____변경 관리

____동적 기획

____리스크 관리

__애자일 척도 인자

__애자일 방법이 표준 고수에 도움을 줄 수 있는가?

__정리

__참고 문헌

__참고 목록



22장 자동차 애플리케이션용 임베디드 소프트웨어

__배경 설명을 위한 역사

____자동차 전자 기술: 1911-2000

____전자 콘텐츠의 성장 동력

____임베디드 SW의 성장

____자동차 프로그래밍 언어

____영향에 대한 요약

__자동차 세그먼트와 차이점

____차체

____차대와 안전성

____운전자 보조

____구동과 변속

____인포테인먼트와 텔레매틱스

____자동차 하부 세그먼트 요약

__자동차 품질

____머피의 법칙을 위한 기획

____결점 허용 통신

____결점 허용 소프트웨어

____제로 결함 소프트웨어

____리스크 관리와 장애 모드

____장애 모드와 영향 분석

__개발과 테스트

____서브시스템의 상호 운용성

____소프트웨어 명세서

____소프트웨어 아키텍처

____모델링

____자동 코딩과 드라이버

____벤치 테스팅

____추적과 디버그

____최종 단계 테스팅

____보정

____유지 보수/제품 생애 지원

__자동차 진단

____MIL

____데이터 로거

____OBD II

__자동차 표준

____MISRA

____AUTOSAR

____AEC

__자동차 안전성

____ISO 26262

____ASIL

__자동차 보안

____사용 수단: 차 경보장치 등

____현재의 수단: 해킹

____미래의 수단: 위조

__자동차 시장의 가까운 미래

____성능

____다중 코어의 출현

____커넥티드 차량

____자동 차량

__정리



23장 입출력과 스토리지 프로그래밍

__I/O 디바이스와 I/O 컨트롤러

____I/O 디바이스 범주

____I/O 컨트롤러

____메모리 맵 I/O와 DMA

____플래시, SD/SDHC, 디스크 드라이브

____네트워크 부착 스토리지

__I/O 프로그래밍

____I/O 소프트웨어의 목적

____I/O 소프트웨어 계층

____사례연구: 리눅스 디바이스 드라이브

__스토리지 프로그래밍

____블록 디바이스용 I/O

____플래시 디바이스 프로그래밍

____SATA 디바이스 드라이버

__스토리지 시스템의 성능 개선

____사례연구 1: SDHC의 성능 최적화

____사례연구 2: NAS의 성능 최적화

__정리

__참고 문헌



24장 네트워킹 애플리케이션용 임베디드 소프트웨어

__소개

__네트워크 디바이스용 시스템 아키텍처

____데이터면, 제어면, 서비스면, 관리면

__네트워킹용 다중 코어 SoC

____코어

____패킷 엔진 하드웨어(PEH) 블록

__네트워크 프로그래밍 모델

____파이프라인 프로그래밍 모델

____동작 완료 프로그래밍

__패킷 프로세싱 소프트웨어의 구조

____데이터면 기반 구조(DP 인프라)

____포워딩 엔진 구조

____패킷 프로세싱 애플리케이션 요구 사항

__네트워크 애플리케이션 프로그래밍 기법

____네크워크 애플리케이션 프로그래머용 다중 코어 성능 기법

____흐름 문맥 탐구 동안 락 회피

____참조 계수 회피

____안전 참조 메커니즘

____흐름 병렬화

____최신 통계와 연관된 캐시 스레싱 감소

____통계 가속

__네트워크 애플리케이션 프로그래머를 위한 일반 성능 기법

____효과적 캐시 이용

____소프트웨어 지시 프리패칭

____likely/unlikely 컴파일러 빌트인 이용

____캐시의 핵심 코드 조각 락킹

____일반 코딩 가이드라인

__임베디드 네트워크 디바이스용 리눅스 운영체제

____사용자 공간 프로그래밍과 연관된 변환 색인 버퍼(TLB)의 실수

____하드웨어 주변장치와 하드웨어 가속기에 대한 접근

____결정론적 성능

__정리



25장 임베디드 시스템용 리눅스

__소개

____임베디드에 리눅스인 이유

____리눅스 배포

____리눅스 적합 임베디드 플랫폼

____라이선싱

__임베디드 리눅스 시작

____메모리 관리 유닛

____부트스트래퍼

____부트로더

____커널

____애플리케이션

__참조 보드상의 리눅스 동작

____참조 플랫폼

____BeagleBone으로 시작



부록 1 C 문법 코딩 표준: 소스코드 개발

부록 2 임베디드 소프트웨어, 시스템, 템플릿을 위한 C++ 프로그래밍 언어

사례연구 1 소프트웨어 성능 공학

사례연구 2 사용자 인터페이스: 경찰 지휘 통제 시스템

사례연구 3 다중 코어로의 전이

사례연구 4 임베디드 시스템 품질과 메트릭 프로그램을 위한 소프트웨어 공학