Research on the Component-Based Modeling and Analysis of Embedded Real-Time Software
Rong Mei · Computer Engineering and Science · 2008
The embedded real-time software has strict timing constraints,and it is beneficial to analyze timing constraints as early as possible to build dependable software systems.The paper proposes an approach to modeling and analyzing embedded real-time software with the guidance of component technology.With the approach,we can check the conflicts of the given timing constraints in software systems at an early phase.In addition,not only the component models but the analysis results can be reused for developing another relevant embedded real-time software.