746 search results - page 73 / 150 » Formal Analysis of UML-Based Designs |
120
click to vote
ICCAD
2008
IEEE
15 years 11 months ago
2008
IEEE
—SystemC is a system-level modeling language that offers a wide range of features to describe concurrent systems rent levels of abstraction. The SystemC standard permits simulato...
114
click to vote
SAFECOMP
2007
Springer
15 years 8 months ago
2007
Springer
A strategy and relating activities of a software safety analysis (SSA) are presented for the software of a digital reactor protection system where software modules in the design de...
DATE
2002
IEEE
15 years 7 months ago
2002
IEEE
Complex embedded systems consist of hardware and software components from different domains, such as control and signal processing, many of them supplied by different IP vendors. ...
CCS
2009
ACM
16 years 2 months ago
2009
ACM
Despite several research studies, the effective analysis of policy based systems remains a significant challenge. Policy analysis should at least (i) be expressive (ii) take accou...
139
click to vote
ATVA
2007
Springer
15 years 8 months ago
2007
Springer
Fault tree analysis is a traditional and well-established technique for analyzing system design and robustness. Its purpose is to identify sets of basic events, called cut sets, wh...