TAILIEUCHUNG - Lecture Building reliable component-based systems - Chapter 10: Predicting system trustworthiness

This chapter presents the following content: Non-functional behaviors are difficult to handle in composition, ordinary (reliability) testing is not enough, SWIFI can be used for testing non-functional behaviors, IPA is a technique for predicting interoperability, IPA is not the answer, but a complement to other (traditional) testing techniques. | Chapter 10 Predicting System Trustworthiness Page Building Reliable Component-based Systems Chapter 10 - Predicting System Trustworthiness Overview Introduction What else can be done? Predicting component interoperability Summary Page Introduction Functional Composability (FC) and functional correctness: FC is concerned with whether f(a) x f(b) = f(a x B) is true. These concerns stem from the problem of composing "ilities". Reliability Safety Security Page The Problem The problem stems from our inability to know a priori, For example, that the security of a system composed of two components, A and B, can be determined from knowledge about the security of A and the security of B. Why? Because the security of the composite is based on more than just the security of the individual components. Page An Example As an example, suppose that: A is an operating system and B is an intrusion detection system. Operating systems have some level of built-in authentication security.

• Kỹ thuật lập trình
• Reliable component base system
• Component software
• Software engineering
• Kỹ thuật phần mềm
• Predicting system trustworthiness
• Predicting component interoperability
• Component composition
• Component integration
• Component based embedded systems
• Component technology
• Component interaction
• Software frameworks
• Software architecture
• Architecting component based systems
• Component based development process
• Software process models
• Semantic integrity
• Component based development
• Role based component engineering
• Role based components
• Multi criteria evaluation
• Component evaluation
• Koala interfaces
• Koala component model
• Dassault système component model
• Software components
• Specification of software components
• Product line architectures
• Component markets
• Real time systems
• Real time component models