http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
SRS 적합성 검증을 위한 구조화된 작성 방법 및 작성 보조 도구
장정규,이상훈,양회석 대한임베디드공학회 2019 대한임베디드공학회논문지 Vol.14 No.6
Today’s embedded software (SW) developments are mostly preceded by composing Software Requirement Specification (SRS). In particular, in the domain of weapon systems, it is essential to have a systematic method for the verification of the SW functionality. To be more specific, it is crucial to check if the SW functionality is implemented as described in SRS, so-called SW suitability verification. Unfortunately, existing static or dynamic SW testing methods are not sufficient to evaluate suitability with SRS since those testings only verify the robustness of the SW codes. In this paper, we propose an automatic embedded SW suitability verification framework which is based on a structured SRS. The major challenge in the automation of this verification framework is how to get rid of ambiguities in SRS. In order to overcome this challenge, we propose a structured SRS description framework and the supporting toolchain for that. We show how the proposed framework is applied to an actual SRS of a weapon system.
장정규,김태호,조상우,홍영택 한국공업화학회 2018 한국공업화학회 연구논문 초록집 Vol.2018 No.0
We report herein that N-substituted poly(2,5-benzimidazole) (ABPBI) membranes can be applied vanadium redox flow batteries (VRFBs) with outstanding performance. ABPBI was prepared by the polycondensation of 3,4-diaminobenzoic acid (DABA) in polyphosphoric acid, substituted ABPBI was synthesized with different substitution ratios. As the substitution ratio increases, crystallinity of substituted ABPBI membrane was gradually changed from crystal to amorphous structure. Also, ABPBI membrane with amorphous structure showed higher water and sulfuric acid absorption properties, and exhibited lower area resistance than ABPBI membranes with crystal structure. The VRFB assembled with ABPBI-50 showed outstanding cell performance and long term stability. Also, outstanding physicochemical stability of ABPBI-50 was confirmed by NMR analysis. All experimental results suggest the ABPBI membrane with amorphous structure is a promising material for VRFB applications.