Can I read Compositional Verification of a Medical Device System on EtoBox?

Compositional Verification of a Medical Device System by Anitha Murugesan; Michael W. Whalen; Sanjai Rayadurgam; Mats P.E. Heimdahl is a Computer Science article available to read on EtoBox.

What is Compositional Verification of a Medical Device System about?

Complex systems are by necessity hierarchically organized. Decomposition into subsystems allows for intellectual control, as well as enabling different subsystems to be created by distinct teams. This decomposition affects both requirements and architecture. The architecture describes the structure and this affects how requirements ``flow down'' to each subsystem. Moreover, discoveries in the design process may affect the requirements. Demonstrating that a complex system satisfies its requirements when the subsystems are composed is a challenging problem. In this paper, we present a medical device case example where we apply an iterative approach to architecture and verification based on software architectural models. We represent the hierarchical composition of the system in the Architecture Analysis and Design Language (AADL), and use an extension to the AADL language to describe the requirements at different levels of abstraction for compositional verification. The component-level behavior for the model is described in Simulink/Stateflow. We assemble proofs of system level properties by using the Simulink Design Verifier to establish component-level properties and an open-source

Who reads Compositional Verification of a Medical Device System?

Author

Anitha Murugesan; Michael W. Whalen; Sanjai Rayadurgam; Mats P.E. Heimdahl

Publisher

ACM

Published

2013

Language

EN

Field

Computer Science (Physical Sciences)