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 |
Document
|
Google Scholar | BibTeX | XML |