Formalization of a Component Model for Real-time Systems
Author
Abstract

Component-based software development for real-time systems necessitates a well-defined `component model' that allows compositional analysis and reasoning about systems. Such a model defines what a component is, how it works, and how it interacts with other components. It is especially important for real-time systems to have such a component model, as many problems in these systems arise from poorly understood and analyzed component interactions.

Year of Publication
2012
Series Title
ISIS Technical Report
Date Published
04/2012
Attachments
Google Scholar | BibTeX | XML