@inproceedings{8e13898b7fca4c3fb0518036afcf447b,
title = "Toward an integratred verification environment for embedded systems",
abstract = "Verification development platform is a rapid, efficient and low-cost tool for embedded systems development, which helps to improve efficiency and quality of embedded software. There are some verification tools for embedded systems, however, the integrated verification environment for embedded systems is still a challenge. This paper focuses on the integrated verification environment of EUP (Embedded UML Platform), which supports functional verification of safety and liveness requirements and nonfunctional verification of time related constraints of embedded systems. The partition of functional and nonfunctional verification can facilitate the verification of different aspects of systems in different design phases. We will illustrate the feasibility of the integrated verification environment of EUP through the case study-RCS (Railway Crossing System).",
keywords = "Embedded systems, Model checking, Modelling, UML statecharts",
author = "Du Dehui and He Keqing and Cao Honghua and Ma Yutao",
year = "2006",
language = "英语",
isbn = "0889865949",
series = "Proceedings of the IASTED International Conference on Modelling and Simulation",
pages = "280--285",
booktitle = "Proceedings of the 17th IASTED International Conference on Modelling and Simulation",
note = "17th IASTED International Conference on Modelling and Simulation ; Conference date: 24-05-2006 Through 26-05-2006",
}