3801 search results - page 34 / 761 » An Approach to Modeling Software Safety |
ADAEUROPE
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. We present an approach for enhancing dependability of component-based software. Functionality related to security, safety and reliability is encapsulated in specific com...
COMPSAC
2006
IEEE
15 years 3 months ago
2006
IEEE
As software systems evolve by adding new extensions some unexpected conflicts may occur, which is known as the Feature Interaction Problem (FIP). FIP is a threat to the dependabil...
CODES
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper presents a system synthesis approach for dependable embedded systems. The proposed approach significantly extends previous work by automatically inserting fault detect...
APSEC
2007
IEEE
15 years 4 months ago
2007
IEEE
The coordination-policy that components interactions satisfied often determines the properties of nowadays component-based information systems, e.g. Safety, Liveness and Fairness ...
APSEC
2007
IEEE
15 years 1 months ago
2007
IEEE
It is difficult to adopt a simulation technology for simulating a software process because of the difficulty in developing a simulation model. In order to resolve the difficulty, ...