In this paper we present an approach towards automatic synthesis of implementations from real-time object-oriented design models. From an application design model that addresses the functional requirements of the system, and given end-to-end timing requirements, our synthesis approach generates a feasible implementation model, i.e., one that will meet the timing requirements. The synthesis process is supported by automatic code-generation that can take the application design model and the synthesized implementation model, and can generate code for the target platform. The synthesis of an implementation model is facilitated through the use of a generic(application independent)implementation architecture; thereby reducing the synthesis problem to selecting a mapping of the application design model to the artifacts of the implementation architecture. In this paper we use a multi-threaded event handling architecture with fixed event priorities. The synthesis problem then consists of determining priorities for events and mapping of events to threads. We show how, given such a mapping, the response times can be analyzed, and then how, using the analysis, a feasible implementation model can be automatically synthesized.
Did you find this white paper useful?
28 out of 50 users found this white paper useful
Related white papers
JSFTemplating and Woodstock: Component Authoring Made Easy
In a recent paper, JSFTemplating was applied to writing JavaServer Faces components. That article presents a simple way to develop a JavaServer Faces component Renderer, moving the markup for a...
Collaborative Example Authoring System: The Value of Re-Annotation Based on Community Feedback
Learning from examples is a common and powerful approach when mastering the art of programming. In the classroom studies of WebEx and NavEx, students highly praised the systems. However, the...
A Cloze Test Authoring System and Its Automation
This paper presents a pilot system and discusses its possible extensions. The paper presents a web-based test authoring system for English grammar and vocabulary. It assists language teachers to make...
An Efficient Object-Oriented Authoring and Presentation System for Virtual Environments
This paper describes the design and implementation of a multi-purpose object-oriented authoring system for interactive virtual environments and presentations, semi-interactive 3D visualization, and non-interactive photorealistic animations. Its main design criteria...
Distributed Authorization Using Delegation With Acyclic Paths
This paper presents a new trust management scheme for distributed authorization which can be easily implemented using X.509-based certificate chains, but does not require globally unique role names. A principal...
COFALE: An Authoring System for Creating Web-Based Adaptive Learning Environments Supporting Cognitive Flexibility
Constructivism is a learning theory that states that people learn by actively constructing their own knowledge, based on prior knowledge. A significant number of ICT-based constructivist learning systems have been...
Model and Simulate Business Processes, Part 2: Displaying SVG Diagrams on the WebSphere Business Monitor Dashboards
In this paper, a business analyst creates SVG diagrams to display the information he is interested in at run time. After he creates the SVG diagrams and IDs for each...
