Vertaf: An application framework for the design and verification of embedded real-time software. The growing complexity of embedded real-time software requirements calls for the design of reusable software components, the synthesis and generation of software code, and the automatic guarantee of nonfunctional properties such as performance, time constraints, reliability, and security. Available application frameworks targeted at the automatic design of embedded real-time software are poor in integrating functional and nonfunctional requirements. To bridge this gap, we reveal the design flow and the internal architecture of a newly proposed framework called Verifiable Embedded Real-Time Application Framework (VERTAF), which integrates software component-based reuse, formal synthesis, and formal verification. A formal UML-based embedded real-time object model is proposed for component reuse. Formal synthesis employs quasi-static and quasi-dynamic scheduling with automatic generation of multilayer portable efficient code. Formal verification integrates a model checker kernel from SGM, by adapting it for embedded software. The proposed architecture for VERTAF is component-based and allows plug-and-play for the scheduler and the verifier. Using VERTAF to develop application examples significantly reduced design effort and illustrated how high-level reuse of software components combined with automatic synthesis and verification can increase design productivity.

This software is also peer reviewed by journal TOMS.

References in zbMATH (referenced in 4 articles )

Showing results 1 to 4 of 4.
Sorted by year (citations)

  1. Bouabana-Tebibel, Thouraya; Rubin, Stuart H.: An interleaving semantics for UML 2 interactions using Petri nets (2013)
  2. Chen, Jingshu; Kulkarni, Sandeep: MR4UM: a framework for adding fault tolerance to UML state diagrams (2013)
  3. Lin, Chao-Sheng; Lu, Chun-Hsien; Lin, Shang-Wei; Chen, Yean-Ru; Hsiung, Pao-Ann: VERTAF/multi-core: A SysML-based application framework for multi-core embedded software development (2011) ioport
  4. Hsiung, Pao-Ann; Lin, Shang-Wei; Tseng, Chih-Hao; Lee, Trong-Yen; Fu, Jih-Ming; See, Win-Bin: VERTAF: An Application Framework for the Design and Verification of Embedded Real-Time Software (2004) ioport