CODARTS建模方法在嵌入式软件开发中的应用

嵌入式系统的工作环境基础上都是并发和实时的。随着应用需求的增长,嵌入式系统软件不得不变得越来越复杂,越来越庞大。CODARTS方法融入了 COBRA方法和DARTS方法的优点,提出了针对并发和实时系统软件的设计方法,为嵌入式软件开发工作提供了一条捷径。本文结合实时检测系统的具体应用,简要介绍CODARTS的实际开发过程。