CAJ | 학술논문

针对智能灌溉系统中嵌入式软件的可靠性，提出了在软件的设计阶段，采用 MARTE 建立软件的系统模型，通过将软件模型转换为形式化模型，对软件系统中各个子系统的可靠性进行验证。通过对智能灌溉系统的嵌入式软件进行可靠性分析，指出在本文假设前提下，数据采集单元软件的故障率最大，在实际应用中应该有针对性的进行改善，有助于解决不利于可靠性的影响因素，提高整个智能灌溉系统的可靠性。
침대지능관개계통중감입식연건적가고성，제출료재연건적설계계단，채용 MARTE 건립연건적계통모형，통과장연건모형전환위형식화모형，대연건계통중각개자계통적가고성진행험증。통과대지능관개계통적감입식연건진행가고성분석，지출재본문가설전제하，수거채집단원연건적고장솔최대，재실제응용중응해유침대성적진행개선，유조우해결불리우가고성적영향인소，제고정개지능관개계통적가고성。
For improving the reliability of embedded software , we propose to use MARTE to build the software model and transform software model into formal model .At the design stages of the software ,we can analyze the reliability of software . We analyze the reliability of embedded software of intelligent irrigation system and show that the sub -software in data col-lection unit has the biggest failure rate , so we need to improve the situation in practical application .Through formal analy-zing the failure of each software subsystem in intelligent irrigation system ,we can solve unfavorable influence factors of re-liability,and enhance the reliability of the whole system .