CERT-SEI
SEI Podcast Series

Selected Category: Software Architecture

July 10, 2014

AADL and Edgewater

 Jeffrey Smith (Microsoft)

Serban Gheorghe

 Jeffrey Smith (Microsoft)

Peter H. Feiler

"You can now create AADL components and fully characterize them in what you expect to get from them in terms of assumptions and guarantees. "

Categories: Software Architecture

June 12, 2014

Safety and Behavior Specification Using the Architecture Analysis and Design Language

 Jeffrey Smith (Microsoft)

Julien Delange

"Having all the different aspects of your system in a single location also brings you the ability to check inconsistencies between different aspects of your system. For example, if you have a late value, this is an error, but this error can be triggered by a bad behavior specification."

Categories: Software Architecture

March 13, 2014

AADL and Aerospace

 Jeffrey Smith (Microsoft)

Myron Hecht

 Jeffrey Smith (Microsoft)

Peter Feiler

"That constant feedback between design and analysis, which now becomes a very tightly coupled loop in a very, very rapid process, is one of the key enablers to enable us to build complex safety-critical, life-critical, and mission-critical systems."

Categories: Software Architecture

February 13, 2014

Security Pattern Assurance through Roundtrip Engineering

 Jeffrey Smith (Microsoft)

Rick Kazman

"I can check at any point whether that architectural representation matches the stuff that has been developed, the stuff that I want to develop. That gives you control over the whole round-trip, and that's what gives you predictability."

Categories: Software Architecture

December 26, 2013

AADL and Télécom Paris Tech

 Jeffrey Smith (Microsoft)

Etienne Borde

 Jeffrey Smith (Microsoft)

Peter Feiler

"The operating systems in safety-critical, embedded systems have very different characteristics than in standard computer systems. Of course, you can't accept that your operating system fails the same way that your home operating system could fail."

Categories: Software Architecture

May 23, 2013

Reliability Validation and Improvement Framework

 Jeffrey Smith (Microsoft)

Peter Feiler

"When you look at the problem, what we have done is identified four areas that are contributors to making a system that is heavily reliant on software of higher quality."

Categories: Software Architecture

March 21, 2013

What's New With Version 2 of the AADL Standard?

 Jeffrey Smith (Microsoft)

Peter Feiler

"Today almost everything is software intensive. If you have a car or an aircraft, they don't work anymore if the software doesn't work."

Categories: Software Architecture

January 17, 2013

The Latest Developments in AADL

 Jeffrey Smith (Microsoft)

Peter Feiler

 Jeffrey Smith (Microsoft)

Julien Delange

"When people do the system-safety analysis, they are focused on the physical parts failing, and they understand that part. But the consequence of that in software today is still not very well understood."

December 06, 2012

Architecting Service-Oriented Systems

 Jeffrey Smith (Microsoft)

Grace Lewis

"If you make an architectural decision that promotes interoperability or modifiability, this can have a negative impact on other qualities such as availability, reliability, security, or performance. Making these trade-offs is one of the hardest parts of architecting and designing any system."

October 18, 2012

Architecting a Financial System with TSP

 Jeffrey Smith (Microsoft)

Felix Bachmann

 Jeffrey Smith (Microsoft)

Jim McHale

"We did not have any evidence, any clear evidence, that they actually would work together. It was just driven by the necessity to help that customer."

Categories: Software Architecture, TSP

September 04, 2012

An Architecture-Focused Measurement Framework for Managing Technical Debt

 Jeffrey Smith (Microsoft)

Ipek Ozkaya

"Of course the other big question is, do we really need to go into a quantifiable aspect of debt, or is it good enough to just state in the metaphor realm? I tend to believe that if we can't measure it, we can't control it."

Categories: Software Architecture