내 머리속 지우개

소프트웨어 신뢰성(Software Reliability)는 ISO/IEC 25010 (구 ISO/IEC 9126), Product Quality Model에서 정의한 품질의 주특성중 하나로 "시스템/소프트웨어가 정의된 기능을 수행함에 있어 주어진 조건과 시간 내에 결함(Fault) 또는 고장(Failure) 없이 동작/수행 할 수 있는 능력 또는 확률"로 정의할 수 있습니다. 이는 소프트웨어 신뢰성을 개선하는 것만으로 소프트웨어 품질이 높다고 단정할 수는 없지만, 반대로 고품질 소프트웨어를 개발하기 위한 필요 조건으로 반드시 소프트웨어 신뢰성 개선을 위한 전략 수립이 필요하다고 볼 수 있습니다.    참조: 소프트웨어 신뢰성 정의 관련 글소프트웨어 공학: 소프트웨어 신뢰성 정의 (Software Reli..

소프틑웨어 결함 완화 및 전략 관련 글소프트웨어 결함 완화 및 제어 전략 (Software Fault Mitigation and Control Strategies)소프트웨어 공학: 소프트웨어 신뢰성 정의 (Software Reliability)이전 포스팅에서는 소프트웨어 결함 완화 및 전략의 주요 접근법에 대해 살펴 보았습니다. 소프트웨어 안전성과 신뢰성을 보장하기 위한 네 가지 개념인 소프트웨어 결함 탐지 (Fault Detection), 소프트웨어 결함 격리 (Fault Isolation), 소프트웨어 결함 알림 (Fault Annunciation), 그리고 소프트웨어 결함 내성 및 복구 (Fault Tolerance and Recovery)는 상호보완적으로 작동하게 되는데, 이번 포스팅에서는 이러한..

소프트웨어 결함 완화 및 제어 전략 관련 글소프트웨어 결함 완화 및 제어 전략 시너지: 주요 접근법들간의 상호작용소프트웨어 공학: 소프트웨어 품질과 개발 생산성 - 오해에서 진실로1. 소프트웨어 결함 관리의 중요성: 시스템 안전성과의 연계소프트웨어는 현대 시스템의 핵심 요소로 자리 잡으면서, 그 안전성과 신뢰성은 우리의 삶과 직결되는 문제가 되었습니다. 특히 자동차, 항공기, 의료 기기와 같은 안전 필수 시스템에서는 소프트웨어 결함이 단순한 오류를 넘어 생명과 재산을 위협할 수 있습니다. 따라서 이러한 위험을 관리하기 위한 소프트웨어 결함 완화(Mitigation)와 제어(Control) 전략이 필수적이라 할 수 있습니다. 소프트웨어 결함 관리의 필요성: 안전성(Safety) & 신뢰성(Reliabili..

한국정보과학회 www.kiise.or.kr 산업계 여러분야에서 소프트웨어의 중요성과 소프트웨어 엔지니어의 역할과 위상이 그 어느때 보다 높아진 것은 부정할 수 없는 현실입니다. 그럼에도 불구하고, 냉정하고 객관적인 시선으로 국내 소프트웨어 경쟁력을 진단한 사례는 부족한 편입니다. 이에 국내 소프트웨어 경쟁력의 현 주소와 앞으로 다가올 시대에 무엇을 준비하는 것이 필요한지에 대한 방향성에 대한 심도있는 고민과 토론할 수 있는 기회가 있었습니다. 그리고 그 결과물을 짧게나마 정리된 글이 "한국정보과학회지 12월 특별기고문" 형식으로 실렸습니다. 다음은 간략한 요약입니다.1. 국내 소프트웨어 산업의 현황국내 소프트웨어(SW) 산업은 IT 서비스, 패키지 SW, 게임 SW 등으로 다양하게 구성되어 있으며, 그 ..

모델 기반 요구사항 명세(MBRS)는 시스템 및 소프트웨어 엔지니어링에서 자연어의 모호성을 줄이기 위해공식적이거나 반공식적인 모델링 언어를 활용하는 접근 방식입니다.통합 모델링 언어(UML) 또는 시스템 모델링 언어(SysML)와 같은 표준화된 모델링 언어를 사용하여요구사항을 명확하고 간결하게 정의하며, 이는 건축 설계 도면처럼 시스템 설계를 위한 청사진 역할을 합니다.   MBSE (Model Based System/Software Engineering) 관련 글OMG SysML 다이어그램 마스터하기::모델링 가이드MBSE Example #1: 차량 가속도 vs. 연비 - 트레이드오프 분석 (with SysML)SPL: 도메인 요구공학 (Domain Requirements Engineering)소프트웨..

소프트웨어 개발 현장에서 종종 품질 관리 활동이 개발 생산성을 저하시킨다는 오해가 있습니다.예를 들어, 테스트 자동화 도입, 코드 리뷰 강화와 같은 품질 활동이 개발 속도를 늦추고비용을 증가시킨다고 생각하는 사람들이 많습니다.그러나 이는 잘못된 생각입니다. 장기적인 관점에서 품질 관리 활동은 오히려 생산성을 향상하고,더 나아가 조직의 성공을 보장합니다.   소프트웨어 품질은 개발 생산성에 중대한 영향을 미치는 요소로, 조직과 개발자 모두에게 중요합니다. 품질은 단순히 결함이 없는 상태를 넘어, 유지보수성, 가독성, 시스템 신뢰성 등 다양한 측면에서 측정됩니다. 실제로 구글(Google)은 개발 생산성과 품질의 관계를 심층적으로 분석하며, 프로세스 품질과 코드 품질의 상호작용이 생산성에 미치는 영향을 연구..

GSN - 안전케이스(Safety Case) 관련 포스팅  GSN(Goal Structuring Notation) - 안전 케이스(Safety Case, ISO 26262), 보안 케이스(Security Case, ISO 21434)GSN(Goal Structuring Notation) 표기법 - 안전케이스(Safety Case)/보안케이스(Security Case) 작성GSN(Goal Structuring Notation) 해석 - 안전케이스(Safety Case) 작성 규칙1. GSN의 관계 규칙1-1. Goal 간의 관계부모 Goal과 자식 Goal: GSN에서 하위 주장(Sub-goal, 자식 Goal)이 참이라면 상위 주장(Parent Goal)이 참임을 논리적으로 입증할 수 있습니다.1-2. ..

GSN은 안전성 보증(Safety Assurance)과 신뢰성 입증(Reliability Demonstration)을 위한 핵심 도구로 발전했으며, 다양한 산업 표준 및 인증 요건과 통합되어 사용됩니다. GSN에 대한 개요는 따로 정의된 포스팅을 참고 하시면 됩니다.  GSN - 안전케이스(Safety Case) 관련 포스팅 GSN(Goal Structuring Notation) - 안전 케이스(Safety Case, ISO 26262), 보안 케이스(Security Case, ISO 21434)GSN(Goal Structuring Notation) 표기법 - 안전케이스(Safety Case)/보안케이스(Security Case) 작성GSN(Goal Structuring Notation) 해석 - 안전케..

오늘은 시스템 안전성과 보안성 검증에서 핵심적인 역할을 하는GSN(Goal Structuring Notation)에 대해 이야기해보려 합니다.GSN은 초보자도 쉽게 이해할 수 있는 구조적 언어로,복잡한 시스템의 주장과 논리를 명확히 표현하는 데 사용됩니다.이번 포스팅을 통해 GSN의 기본 개념, 구조, 그리고 실제 활용 사례를 살펴보겠습니다.   GSN - 안전케이스(Safety Case) 관련 포스팅 GSN(Goal Structuring Notation) - 안전 케이스(Safety Case, ISO 26262), 보안 케이스(Security Case, ISO 21434)GSN(Goal Structuring Notation) 표기법 - 안전케이스(Safety Case)/보안케이스(Security Cas..

자동차 네트워크는 다양한 ECU(전자제어장치)가 데이터를 주고받으며 차량의 성능과 안전을 책임지는 중요한 시스템입니다. 그러나 네트워크에서 특정 ECU가 자신을 다른 ECU로 가장하며 데이터를 전송하는 위장 오류(Masquerading Error)가 발생할 수 있습니다. 이는 데이터의 신뢰성과 무결성을 심각하게 위협하며, 차량의 작동을 방해할 수 있습니다. 이번 포스팅에서는 위장 오류의 원인, 영향, 그리고 이를 방지하기 위한 기술적 접근법을 알아보겠습니다. 위장 오류란 무엇인가?위장 오류는 네트워크 내 특정 ECU가 자신의 ID를 위조하거나 다른 ECU의 ID를 사용해 데이터를 전송하는 현상을 말합니다. 수신 측은 잘못된 ID를 신뢰하고 데이터를 처리하게 되며, 이로 인해 시스템 전체에 심각한 문제가 ..