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)
Connect with SATURN
Join SATURN Network mailing List here:Get UpdatesFor Email Marketing you can trust.
Subscribe to our feed:
Topicsagile release planning architecture evaluation architecture review Architecture Tradeoff Analysis Method ATAM Carnegie Mellon cloud computing documentation enterprise architecture non-functional requirements SATURN 2010 SATURN 2011 SATURN 2012 SATURN 2013 SATURN 2014 SATURN 2015 SATURN Conference SEI SOA software architecture software architecture evaluation software architecture requirements software architecture review software design software development software engineering Software Engineering Institute system architecture systems architecture technical debt