Lui Sha discusses resilient mixed criticality systems

In the Sept/Oct 2009 Crosstalk issue, Dr. Lui Sha writes about complex cyber-physical systems with mixed criticality–such as defense systems, avionics systems, and medical devices–that need to be resilient against faults, failures, and hazards that are under software control. In his article, Sha reviews some architectural patterns for building resilient systems and points out that patterns are most often captured in architectural models. Sha also asserts that patterns must be adapted for “new application requirements.” In order to provide computer-aided verification of the adaptation of those patterns, formal verification in software modeling languages is recommended. He includes an example of a medical system modeled using the SAE International Architecture Analysis and Design Language (AADL)


Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s