Sciweavers

Share
14 search results - page 1 / 3
» Compositional Reasoning for Hardware Software Co-verificatio...
Sort
View
COMPSAC
2007
IEEE
11 years 3 months ago
Unified Property Specification for Hardware/Software Co-Verification
Hardware/software co-verification is becoming an indispensable tool for building highly trustworthy embedded systems. A stumbling block to effective co-verification using model ch...
Fei Xie, Huaiyu Liu
ATVA
2006
Springer
206views Hardware» more  ATVA 2006»
11 years 3 months ago
Compositional Reasoning for Hardware/Software Co-verification
In this paper, we present and illustrate an approach to compositional reasoning for hardware/software co-verification of embedded systems. The major challenges in compositional rea...
Fei Xie, Guowu Yang, Xiaoyu Song
ACSD
2003
IEEE
115views Hardware» more  ACSD 2003»
11 years 5 months ago
Component-Based Design: Towards Guided Composition
In this paper, we present a mathematical model for the composition of software components, at a semantic modelling level. We describe a mathematical concept of a single software c...
Sotiris Moschoyiannis, Michael W. Shields
WICSA
2004
11 years 1 months ago
Compositional Generation of Software Architecture Performance QN Models
Early performance analysis based on Queueing Network Models (QNM) has been often proposed to support software designers during the software development process. These approaches a...
Antinisca Di Marco, Paola Inverardi
EUROMICRO
2009
IEEE
11 years 6 months ago
Component-Based Construction of Concurrent Systems with Active Components
—We have defined a software component model which specifies components and composition operators. These operators coordinate and encapsulate concurrency between components. In ...
Kung-Kiu Lau, Ioannis Ntalamagkas
books