Theoretical Computer Science
Object-oriented application frameworks
Communications of the ACM
Doing hard time: developing real-time systems with UML, objects, frameworks, and patterns
Doing hard time: developing real-time systems with UML, objects, frameworks, and patterns
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
Journal of the ACM (JACM)
Model checking
Embedded software verification in hardware-software codesign
Journal of Systems Architecture: the EUROMICRO Journal
Efficient and User-Friendly Verification
IEEE Transactions on Computers
Component Software: Beyond Object-Oriented Programming
Component Software: Beyond Object-Oriented Programming
Practical statecharts in C/C++: Quantum programming for embedded systems
Practical statecharts in C/C++: Quantum programming for embedded systems
Decomposing refinement proofs using assume-guarantee reasoning
Proceedings of the 2000 IEEE/ACM international conference on Computer-aided design
Assume-Guarantee Supervisor for Concurrent Systems
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
Extended quasi-static scheduling for formal synthesis and code generation of embedded software
Proceedings of the tenth international symposium on Hardware/software codesign
Time weaver: a software-through-models framework for embedded real-time systems
Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems
Automating Formal Modular Verification of Asynchronous Real-Time Embedded Systems
VLSID '03 Proceedings of the 16th International Conference on VLSI Design
Requirements for a Component Framework of Future Ubiquitous Computing
WSTFES '03 Proceedings of the IEEE Workshop on Software Technologies for Future Embedded Systems
WSTFES '03 Proceedings of the IEEE Workshop on Software Technologies for Future Embedded Systems
Context-Sensitive Middleware for Real-Time Software in Ubiquitous Computing Environments
ISORC '01 Proceedings of the Fourth International Symposium on Object-Oriented Real-Time Distributed Computing
Synthesis of real-time embedded software with local and global deadlines
Proceedings of the 1st IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
Survey of requirements and solutions for ubiquitous software
Proceedings of the 3rd international conference on Mobile and ubiquitous multimedia
Static Composition of Service-Based Real-Time Applications
SEUS '05 Proceedings of the Third IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems
U-commerce research: a literature review and classification
International Journal of Ad Hoc and Ubiquitous Computing
Hi-index | 0.00 |
Currently available application frameworks that target at the automatic design of real-time embedded software are poor in integrating functional and non-functional 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 Real-Time Application Framework (VERTAF), which integrates three techniques namely software component-based reuse, formal synthesis, and formal verification. The proposed architecture for VERTAF is component-based which allows plug-and-play 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 high-level reuse of software components combined with automatic synthesis and verification increases design productivity.