178 search results - page 2 / 36 » Real-Time Modelling of Distributed Component-Based Applicati... |
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...
ISORC
2000
IEEE
13 years 12 months ago
2000
IEEE
We describe a real-time, component-based system for an inspection application. We chose the inspection application and the accompanying task (or scenario) so that we might fully e...
ISORC
1998
IEEE
13 years 11 months ago
1998
IEEE
Component-based software development would allow application software be largely constructed, rather than programmed. This approach would dramatically improve the productivity of ...
ECBS
2011
IEEE
12 years 7 months ago
2011
IEEE
—Developing dependable distributed real-time and embedded (DRE) systems incurs significant complexities in the tradeoffs resulting from the different conflicting attributes of ...
CBSE
2008
Springer
13 years 9 months ago
2008
Springer
: This paper proposes a technology for the development of distributed real-time component-based applications, which takes advantage of the features that Ada offers for the developm...