J. C. Knight and N. G. Leveson, “An experimental evaluation of the assumption of independence in multiversion programming,” IEEE Transactions on Software Engineering, Vol. 12, pp. 96-109, 1986.

has been cited by the following article:

• TITLE: Design Pattern Representation for Safety-Critical Embedded Systems

  AUTHORS: Ashraf Armoush, Falk Salewski, Stefan Kowalewski

  KEYWORDS: Design Pattern, Embedded Systems, Non-Functional Requirements, Safety-Critical Systems

  JOURNAL NAME: Journal of Software Engineering and Applications, Vol.2 No.1, April 16, 2009

  ABSTRACT: Design Patterns, which give abstract solutions to commonly recurring design problems, have been widely used in the software and hardware domain. As non-functional requirements are an important aspect in the design of safety-critical embedded systems, this work focuses on the integration of non-functional implications in an existing design pattern concept. We propose a pattern representation for safety-critical embedded application design methods by including fields for the implications and side effects of the represented design pattern on the non-functional requirements of the overall systems. The considered requirements include safety, reliability, modifiability, cost, and execution time.