37 search results - page 4 / 8 » Fusing Quantitative Requirements Analysis with Model-based S... |
QEST
2008
IEEE
15 years 5 months ago
2008
IEEE
Performance Trees are a unifying framework for the specification of performance queries involving measures and requirements. This paper describes an evaluation environment for Pe...
HICSS
2009
IEEE
15 years 5 months ago
2009
IEEE
The use of formal methods has long been advocated in the development of secure systems. Yet, methods for deriving design from requirements that guarantee retention of the intended...
EMSOFT
2004
Springer
15 years 4 months ago
2004
Springer
As embedded systems grow in size and complexity, an operating system has become essential to simplify the design of system software, for which more accurate analysis of its impact...
113
click to vote
ECBS
1999
IEEE
15 years 3 months ago
1999
IEEE
Engineering systems are becoming increasingly complex as state of the art technologies are incorporated into designs. Surety modeling and analysis is an emerging science which per...
CODES
2007
IEEE
15 years 5 months ago
2007
IEEE
We present a novel hybrid approach for performance analysis of a system design. Unlike other approaches in this area, in this paper we do not focus on the determination of pessimi...