1301 search results - page 212 / 261 » Design and architectures for dependable embedded systems |
110
click to vote
EMSOFT
2007
Springer
15 years 6 months ago
2007
Springer
We provide an algebraic formalisation of connectors in BIP. These are used to structure interactions in a component-based system. A connector relates a set of typed ports. Types a...
ISSRE
2000
IEEE
15 years 4 months ago
2000
IEEE
Learning from software failures is an essential step towards the development of more reliable software systems and processes. However, as more intricate software systems are devel...
107
click to vote
RTAS
2006
IEEE
15 years 5 months ago
2006
IEEE
We present an assume-guarantee interface algebra for real-time components. In our formalism a component implements a set of task sequences that share a resource. A component inter...
DAC
2003
ACM
16 years 24 days ago
2003
ACM
While Boolean logic minimization is typically used in logic synthesis, logic minimization can be useful in numerous other applications. However, many of those applications, such a...
120
click to vote
RTAS
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract—Wireless sensor networks are evolving from dedicated application-specific platforms to integrated infrastructure shared by multiple applications. Shared sensor networks...