1163 search results - page 147 / 233 » Case Studies of Model Checking for Embedded System Designs |
150
Voted
IRI
2005
IEEE
15 years 10 months ago
2005
IEEE
Heterogeneous systems are systems that obey different functioning laws. For instance, during the design of embedded systems, it is generally necessary to study both the controller...
128
click to vote
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper presents a quantitative threat modeling method, the Threat Modeling method based on Attack Path Analysis (T-MAP), which quantifies security threats by calculating the t...
125
click to vote
UML
2005
Springer
15 years 10 months ago
2005
Springer
This paper presents an approach for relating informed task models and system models in the domain of safety critical interactive systems. The models, which are usually developed f...
118
Voted
GECCO
2003
Springer
15 years 9 months ago
2003
Springer
The aim of the paper is to investigate methods for deriving a suitable set of test paths for a software system. The design and the possible uses of the software system are modelled...
144
click to vote
KBSE
2005
IEEE
15 years 10 months ago
2005
IEEE
Major software development standards mandate the establishment of trace links among software artifacts such as requirements, architectural elements, or source code without explici...