160 search results - page 5 / 32 » Towards Composable Distributed Real-time and Embedded Softwa... |
CBSE
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. The use of software component models has become popular during the last decade, in particular in the development of software for desktop applications and distributed info...
ISORC
2005
IEEE
14 years 1 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
HICSS
2007
IEEE
14 years 1 months ago
2007
IEEE
While the use of software component models has become popular in the development of desktop applications and distributed information systems, such models have not been widely used...
DATE
2004
IEEE
13 years 11 months ago
2004
IEEE
Designing cost-sensitive real-time control systems for safetycritical applications requires a careful analysis of the cost/coverage trade-offs of fault-tolerant solutions. This fu...
ERCIM
2008
13 years 7 months ago
2008
The increasing complexity of distributed embedded systems, as found today in airplanes or cars, becomes more and more a critical cost-factor for their development. Model-based app...