Tag Archives: model-based engineering

SATURN 2011 Session: Model-Driven Architecture (morning, May 19, 2011)

Notes by Jack Chen

Design and Implementation of an Agile Price Management Platform for Banking
Thipor Kong, Credit Suisse
Ulrich Hildebrand, Credit Suisse

Abstract and presentation slides

Two strategic directions being pursued:

  1. consolidate IT operations on existing legacy applications in-house
  2. trying to stabilize, renew, rebuild existing applications with new capabilities

Core banking processes

  • we don’t sell brokerage, payments, or custody as isolated offerings
  • key focus in Premium Private Banking on sophisticated banking solutions by bundling and integration

Continue reading

SATURN 2011: 7 Things You Need to Know About the Next 7 Years in Architecture

By now I’m sure you’ve heard about the SATURN 2011 Conference theme of Architecting the Future and its focus on “7 Things You Need to Know About the Next 7 Years in Architecture.” To hone our focus on these seven topics and to ensure a rich and high-quality program, we have enlisted thought leaders from industry and from the SEI. Each thought leaders will serve as shepherd and champion for his or her respective topic, reviewing submissions and building an integrated program that may include speakers, tutorials, panel discussions, birds-of-a-feather sessions, etc.

The leaders for our 7 topics are Continue reading

INCOSE Webinar May 6, Peter Feiler, Model-Based Engineering of Software-Reliant Systems with the Architecture Analysis & Design Language (AADL)

Thursday, May 6, 2010
Time: 12:00 PM – 1:00 PM EDT
Cost: Free

Abstract

In this presentation we first discuss some of the challenges in building safety-critical systems that are increasingly software reliant and the need for formal analysis of system models discovering system-level problems earlier in the development. We then provide a summary of the capabilities of the SAE AADL standard suite, its application in industrial initiatives and research projects, as well as its relationship to other standards. We close the presentation with a case study of an international aircraft industry initiative called System Architecture Virtual Integration (SAVI).

Register.

About the Speaker

Peter Feiler is a 25-year veteran at the Software Engineering Institute (SEI). He is the technical lead and author of the SAE International Architecture Analysis & Design Language (AADL) standard suite. His research interest is in architecture-centric model-based engineering to improve the reliability of software-reliant systems.

Researchers Showing Interest in AADL Standard

In a recent paper, Peter Feiler, technical lead and author of the Architecture Analysis and Design Language (AADL) industry standard notation, points out that more than 160 publications in refereed conferences and journals have been published about the standard since it was published in 2004 by SAE International. An updated version was published in 2009. In his research brief, Peter provides detail on the development of AADL and on MetaH, a precursor to the standard.  

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)

Creating a framework for reliability validation

The SEI and the U.S. Army Aviation and Missile Research Development and Engineering Center (AMRDEC) recently began a one-year engagement that aims to develop a comprehensive approach to overcome deficiencies with the testing now being done to validate software and system reliability. This comprehensive approach will include the development of a roadmap for the research and application of technologies such as model-based engineeringassurance cases, analytical tools, and industry standards, such as the Architecture Analysis and Design Language (AADL) in the assessment and validation of complex system reliability.

Read more here.