7380 search results - page 507 / 1476 » Engineering Software Intensive Systems |
153
click to vote
ICRE
1998
IEEE
15 years 9 months ago
1998
IEEE
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...
129
Voted
ICRE
1998
IEEE
15 years 9 months ago
1998
IEEE
: Scenario-based approaches are becoming ubiquitous in systems analysis and design but their definition and scope remain vague. Complementing the recently proposed CREWS classifica...
143
click to vote
CODES
2004
IEEE
15 years 8 months ago
2004
IEEE
In this paper, we present an approach for automatic synthesis of System on Chip (SoC) multiprocessor architectures for applications expressed as process networks. Our approach is ...
134
Voted
ECLIPSE
2006
ACM
15 years 8 months ago
2006
ACM
In this work we present an Eclipse plug-in for the VInTiMe (Verifier of INtegrated TImed ModEls)1 suite of tools that combines high-level expressive power, unassisted propertypres...
152
Voted
QOSA
2010
Springer
15 years 6 months ago
2010
Springer
The use of redundant computational nodes is a widely used design tactic to improve the reliability of complex embedded systems. However, this redundancy allocation has also an effe...