227 search results - page 2 / 46 » Component-Based Modeling, Analysis and Animation |
ECBS
2010
IEEE
13 years 11 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
COMPSAC
2003
IEEE
13 years 10 months ago
2003
IEEE
The parameters in these software reliability models are usually directly obtained from the field failure data. Due to the dynamic properties of the system and the insufficiency of...
CD
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. Products within a product family are composed of different component configurations where components have different variable features and a large amount of dependency re...
EUROMICRO
2006
IEEE
13 years 11 months ago
2006
IEEE
This paper presents a modular modelling methodology to formulate the timing behaviour of real-time distributed component-based applications. It allows to build real-time models of...
DATE
2008
IEEE
13 years 11 months ago
2008
IEEE
Failure Mode and Effects Analysis (FMEA) is a wellknown technique widely used for safety assessment in the area of safety-critical systems. However, FMEA is traditionally done man...