Enhancing Dependability of Component-Based Systems

Abstract. We present an approach for enhancing dependability of component-based software. Functionality related to security, safety and reliability is encapsulated in specific components, allowing the method to be applied to off-the-shelf components. Any set of components can be extended with dependability features by wrapping them with special components, which monitor and filter input and outputs. This approach is supported by a rigorous development methodology based on UML and the B method and is introduced on the level of software architecture.

• Type: Conference
• Year: 2007
• Where: ADAEUROPE
• Authors: Arnaud Lanoix, Denis Hatebur, Maritta Heisel, Jeanine Souquières
• Keywords: ADAEUROPE 2007, Off-the-shelf Components, Rigorous Development Methodology, Software Engineering, Specific Components