Sciweavers

242 search results - page 39 / 49
» SAAM: A Method for Analyzing the Properties of Software Arch...
Sort
View
FM
2003
Springer
115views Formal Methods» more  FM 2003»
14 years 21 days ago
Model Checking FTA
Safety is increasingly important for software based, critical systems. Fault tree analysis (FTA) is a safety technique from engineering, developed for analyzing and assessing syste...
Andreas Thums, Gerhard Schellhorn
ISSTA
2000
ACM
13 years 12 months ago
Classification schemes to aid in the analysis of real-time systems
This paper presents three sets of classification schemes for processes, properties, and transitions that can be used to assist in the analysis of real-time systems. These classifi...
Paul Z. Kolano, Richard A. Kemmerer
ASAP
1997
IEEE
156views Hardware» more  ASAP 1997»
13 years 11 months ago
Design methodology for digital signal processing
Improvements in semiconductor integration density and the resulting problem of having to manage designs of increasing complexity is an old one, but still current. The new challeng...
Gerhard Fettweis
EMSOFT
2004
Springer
14 years 26 days ago
A metrics system for quantifying operational coupling in embedded computer control systems
One central issue in system structuring and quality prediction is the interdependencies of system modules. This paper proposes a novel technique for determining the operational co...
De-Jiu Chen, Martin Törngren
IASTEDSEA
2004
13 years 8 months ago
A framework for early robustness assessment
Time pressure and quality issues bring new challenges for developing web-based systems. The ability to analyze quality early in the development life cycle is crucial. Among the te...
Jianyun Zhou, Tor Stålhane