13140 search results - page 95 / 2628 » Coupling Component Systems towards Systems of Systems |
EUROMICRO
2006
IEEE
15 years 3 months ago
2006
IEEE
— We propose a method for component-based software and system development, where the interoperability between the different components is given special consideration. The method ...
COOPIS
2004
IEEE
15 years 1 months ago
2004
IEEE
Abstract. Explicit behavioural interface description languages (BIDLs, protocols) are now recognized as a mandatory feature of component languages in order to address component reu...
ATVA
2008
Springer
14 years 12 months ago
2008
Springer
We present a compositional method for the verification of component-based systems described in a subset of the BIP language encompassing multi-party interaction without data transf...
DAC
2003
ACM
15 years 10 months ago
2003
ACM
Exploring a large portion of the microprocessor design space requires the rapid development of efficient simulators. While some systems support rapid model development through the...
105
click to vote
IFIP
2000
Springer
15 years 1 months ago
2000
Springer
The validation of functional and real-time requirements of control software for embedded systems is a difficult task. It usually needs the electronic control unit (ECU) and the co...