VERTAF: An Application Framework for the Design and Verification of Embedded Real-Time Software.
Pao-Ann HsiungShang-Wei LinChih-Hao TsengTrong-Yen LeeJih-Ming FuWin-Bin SeePublished in: IEEE Trans. Software Eng. (2004)
Keyphrases
- real time
- embedded systems
- software architecture
- software design
- conceptual framework
- design principles
- design concepts
- core components
- software suite
- simulation environment
- design patterns
- user interface
- platform independent
- formal verification
- probabilistic model
- software systems
- design process
- theoretical framework
- control system
- open source
- real time control
- software development
- real time systems
- computational framework
- design tools
- hardware design
- analysis tool
- formal methods
- low cost
- content management system
- vlsi architecture
- hw sw
- model checking