115 search results - page 8 / 23 » Observability Analysis of Embedded Software for Coverage-Dir... |
EMSOFT
2008
Springer
13 years 9 months ago
2008
Springer
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...
WCRE
2010
IEEE
13 years 6 months ago
2010
IEEE
—Often stakeholders, such as developers, managers, or buyers, want to find out what software development processes are being followed within a software project. Their reasons in...
CASES
2011
ACM
12 years 7 months ago
2011
ACM
This paper advocates a rigorously formal and compositional style for obtaining key performance and/or interface metrics of systems with real-time constraints. We propose a hierarc...
PRDC
1999
IEEE
13 years 12 months ago
1999
IEEE
In this paper we present an analytical model for estimating architecture-based software reliability, according to the reliability of each component, the operational profile, and t...
ICARCV
2008
IEEE
14 years 2 months ago
2008
IEEE
—We have investigated the deformation of a soft fingertip when it slides. This process was first simulated using ANSYS software with non-linear Finite Element Analysis (FEA). B...