| 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 | |