Pao-Ann Hsiung, Trong-Yen Lee, Win-Bin See, Jih-Ming Fu, Sao-Jie Chen  Home/Search
Context
Related
| ccu.edu.tw/~pahsiu...vertafisorc02.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: ccu.edu.tw/~pahsiung/publicati... (more) Homepages: P.Hsiung |
Rate this article:      (best)Comment on this article |
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... (Update)
Similar documents (at the sentence level):
12.6%: Formal Verification of Embedded Real-Time Software in.. - Hsiung, See, Lee, Fu.. (2001) (Correct)
9.0%: Verifiable Embedded Real-Time Application Framework - Hsiung, Su, Gao, Cheng, Chang (2001) (Correct)
Active bibliography (related documents): More All
3.5: A Java-Based Distributed System Framework for Real-Time.. - Fu, See, Hsiung, Chao.. (Correct)
0.3: RESS: Real-Time Embedded Software Synthesis and Prototyping .. - Lee, Hsiung, Wu, Su (Correct)
0.3: ESSP: An Embedded Software Synthesis and Prototyping.. - Lee, Hsiung, Wu, Su (Correct)
Similar documents based on text: More All
0.3: Error Concealment Using Adaptive Multilayer Perceptrons (MLPs) .. - Huang, Chang (2000) (Correct)
0.3: High-Level Execution Time Analysis - Wang (Correct)
0.3: Competitive Analysis of On-Line Disk Scheduling - Yeh, Kuo, Lei, Yen (1995) (Correct)
BibTeX entry: (Update)
@misc{ hsiung-vertaf,
author = "Pao-Ann Hsiung and Trong-Yen Lee and Win-Bin See and Jih-Ming Fu and Sao-Jie Chen",
title = "VERTAF:An Object-Oriented Application Framework for Embedded Real-Time Systems",
booktitle = "Proceedings of the International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'2002)",
year = "2002",
publisher = "IEEE Computer Science Press",
month = "April",
url = "citeseer.ist.psu.edu/hsiung02vertaf.html" }
Citations (may not include all citations):2157 Design Patterns: Elements of Reusable Object-Oriented Softwa.. (context) - Gamma, Helm et al. - 1995
1582 Scheduling algorithms for multiprogramming in a hard-real ti.. - Liu, Layland - 1973
528 Priority Inheritance Protocols: An Approach to Real-Time Syn.. (context) - Sha, Rajkumar et al. - 1987
404 Symbolic model checking for real-time systems - Henzinger, Nicollin et al. - 1992
308 Designing reusable classes (context) - Johnson, Foote - 1988
184 Automata for modeling real-time systems (context) - Alur, Dill - 1994
155 The tools KRONOS - Daws, Olivers et al. - 1996
103 The Real-Time Specification for Java - Bollella, Gosling et al. - 2000
58 Design of dynamically reconfigurable real-time software usin.. - Stewart, Volpe et al. - 1997
57 Object-oriented real-time language design: Constructs for ti.. (context) - Ishikawa, Tokuda et al. - 1990
51 New Generation of UPPAAL - Bengtsson, Larsen et al. - 1998
20 BASEMENT: A distributed real-time architecture for vehicle a.. - Hansson, Lawson et al. - 1996
16 Applying design patterns and frameworks to develop object-or.. - Schmidt - 1997
8 The UML Reference Guide (context) - Rumbaugh, Booch et al. - 1999
7 Checking timing constraints in distributed object-oriented p.. (context) - Gergeleit, Kaiser et al. - 1996
6 User-friendly verification - Hsiung, Wang - 1999
6 Embedded Software Verification in Hardware-Software Codesign - Hsiung - 2000
5 An object oriented model for parallel and reactive systems (context) - Attoui, Schneider - 1991
4 APIs for Real-Time Distributed Object Programming (context) - Kim - 2000
3 Object-Oriented Application Framework Design for Real-Time S.. (context) - Hsiung - 1998
3 RTFrame: An Object-Oriented Application Framework for Real-T.. (context) - Hsiung - 1998
3 Efficient and User-Friendly Verification - Wang, Hsiung - 2002
2 Object-oriented development of real-time systems: Verificati.. (context) - Browne - 1996
2 A metrics-driven approach for utilizing concurrency in objec.. (context) - Welch - 1996
2 A taxonomy for distributed object-oriented real-time systems (context) - Hammer, Welch et al. - 1996
2 Object-oriented real-time system framework (context) - See, Chen - 2000
2 High-level reuse in the design of an object-oriented real-ti.. (context) - See, Chen - 1996
2 Objects in real-time systems: Issues for language implemento.. (context) - Achauer - 1996
1 An object-oriented real-time framework and development envir.. (context) - Kuan, See et al. - 1995
Documents on the same site (http://www.cs.ccu.edu.tw/~pahsiung/publications/papers/): More
A Java-Based Distributed System Framework for Real-Time.. - Fu, See, Hsiung, Chao.. (Correct)
Time-Memory Scheduling and Code Generation of Real-Time.. - Gau, Hsiung (2002) (Correct)
Formal Synthesis And Control Of Soft Embedded Real-Time Systems - Hsiung (2001) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC