Software Reuse and Safety

With the move to distributed, component based systems involving reuse of components and services, emergent, system-wide properties, including safety and security in particular, are becoming increasingly difficult to guarantee. Model based techniques constitute a promising approach to guarantee safety and security in systems built with reusable components. The key elements in this approach are correctness and certifiability by construction, and separation of concerns. A safety-oriented development process compliant to the ISO DIS 26262 standards is presented. A model driven approach to security accreditation of service-oriented architectures is also presented.

• Type: Journal
• Year: 2011
• Where: ICSR
• Authors: William B. Frakes, John M. Favaro
• Keywords: Emergent System, ICSR 2011, Security Accreditation, Service Oriented Architectures, Software Engineering