2838 search results - page 236 / 568 » Verifying Controlled Components |
97
Voted
RTSS
2008
IEEE
15 years 7 months ago
2008
IEEE
Integrating COTS components in critical real-time systems is challenging. In particular, we show that the interference between cache activity and I/O traffic generated by COTS pe...
SMC
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract—In this paper, a software architecture and knowledge representation scheme that enables the combination and reconfiguration of modular sensor and actuator components is...
RTSS
1998
IEEE
15 years 5 months ago
1998
IEEE
: The Time-Triggered (TT) model of computation is a model for the representation and analysis of the design of large hard real-time systems. Central to this model is the concept of...
89
Voted
TOOLS
1998
IEEE
15 years 5 months ago
1998
IEEE
In traditional information systems, the user interface is controlled by one single application. In distributed systems, several distributed components may want to influence the ap...
82
Voted
ASPDAC
2005
ACM
15 years 2 months ago
2005
ACM
— In this paper we present a scheme for reducing the amount of synchronization overhead needed between components, after HW/SW partitioning, to preserve the original control flo...