Authors: PaoAnn Hsiung ShangWei Lin ChaoSheng Lin
Publish Date: 2008/09/23
Volume: 59, Issue: 1, Pages: 13-32
Abstract
Currently available application frameworks that target at the automatic design of realtime embedded software are poor in integrating functional and nonfunctional requirements for mobile and ubiquitous systems In this work we present the internal architecture and design flow of a newly proposed framework called Verifiable Embedded RealTime Application Framework VERTAF which integrates three techniques namely software componentbased reuse formal synthesis and formal verification The proposed architecture for VERTAF is componentbased which allows plugandplay for the scheduler and the verifier The architecture is also easily extensible because reusable hardware and software design components can be added Application examples developed using VERTAF demonstrate significantly reduced relative design effort which shows how highlevel reuse of software components combined with automatic synthesis and verification increases design productivity
Keywords: