Abstract | ||
---|---|---|
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 |
Year | DOI | Venue |
---|---|---|
2002 | 10.1109/ISORC.2002.1003755 | Symposium on Object-Oriented Real-Time Distributed Computing |
Keywords | Field | DocType |
design error reduction,verifier,verifiable embedded real-time application framework,generator,design verification,embedded real-time applications,embedded real-time application development,software components,low design effort,object-oriented application framework,scheduler,modeler,design reuse,implanter,design productivity,vertaf,design error,design time,object-oriented programming,object-oriented technology,software reusability,embedded systems,formal verification technology,real-time systems,formal verification,software component technology,software component,process design,productivity,object oriented,read only memory,real time systems,application software,optimal design,object oriented programming | Software deployment,Software engineering,Object-oriented programming,Computer science,Reuse,Real-time computing,Verifiable secret sharing,Component-based software engineering,Application framework,Formal verification,Distributed computing,Embedded system | Conference |
Citations | PageRank | References |
2 | 0.46 | 19 |
Authors | ||
5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Pao-ann Hsiung | 1 | 624 | 68.75 |
Trong-yen Lee | 2 | 98 | 20.70 |
winbin see | 3 | 30 | 3.19 |
jihming fu | 4 | 2 | 0.46 |
Sao-Jie Chen | 5 | 523 | 62.97 |