Towards a unified toolset for embedded systems development
Anatoly G. Bakhmurov, V.I. Chervin, Maxim V. Chistolinov, Jan Friso Groote, V. A. Kostenko, Ruslan L. Smeliansky, Dmitry Tsarkov, Yaroslav S. Usenko, K. Winter, Vladimir Anatolyevich Zakharov · 2000
This paper contains a comparative analysis of three toolsets and associated techniques for development of embedded systems. The comparison is based on the experience acquired by applying the techniques to a common case study. The results of the analysis are being used to design a unified set of tools for embedded systems development. Keywords: Formal Methods, Embedded Systems, Tool Comparison. The work has been carried out under the EU INCO-COPERNICUS Project No.: 977020 `DR TESY' (http://www.first.gmd.de/drtesy) 1 Introduction One of the most important distinguishing features of the modern technologies for embedded system development is the extensive application of formal methods at the earlier stages of the design process. This is inspired by increasing complexity of such systems and, hence, by growing development cost. One should notice that the most expensive stage of embedded system designing is testing, debugging and improving the system to satisfy the target requirement...