題名: An Object-Oriented Application Framework for Verifiable Embedded Real- Time Software
作者: Pao-Ann Hsiung1;Win-Bin See;Trong-Yen Lee
貢獻者: Department of Computer Science and Information Engineering, National Chung Cheng University;Department of Electrical Engineering, National Taiwan University;Department of Electronic Engineering, National Taipei University of Technology Taiwan
日期: 2002-09-13
上傳時間: 2009-12-08T09:00:19Z 出版者: 臺中健康暨管理學院
摘要: Embedded real-time applications are often built from scratch on a trial- and-error basis, which leads to sub-optimal designs with latent errors that are not detectable in early stages of use or deployment and often incurs prolonged time-to-market. A new application framework called Verifiable Embedded Real-Time Application Framework (VERTAF) is proposed for embedded real-time application development, with the aim of reducing design errors and increasing design productivity. VERTAF is an integration of three technologies, namely object-oriented technology, software component technology, and formal verification technology.
VERTAF consists of five software components: Implanter, Modeler, Scheduler, Verifier, and Generator. Experiences of using VERTAF show a significant increase in design productivity through design reuse, and a significant decrease in design time and effort through design
verification. An example shows a relatively low design effort on the part of the designer using VERTAF.
