Sign up or log in to save this to your schedule and see who's attending!

The Architecture Practices Initiative of the SEI has developed a family of domain-specific languages for system specification and verification and validation (V&V) to work in concert with the Architecture Analysis & Design Language (AADL). These languages provide support for exploring architecture’s influence in all phases of the traditional software lifecycle. Additional tools—including AGREE, Resolute, and the plugins of the Open Source AADL Tool Environment (OSATE)—supplement the domain-specific languages to provide both static and dynamic V&V capabilities. These tools establish feedback loops between requirements and architecture and between architecture and implementation, all of which are unified with V&V activities.

In this session, attendees will see a set of pedagogical artifacts that illustrates the use of architecture information to support multiple graduate courses. All of the artifacts have been successfully used. With the ReqSpec language, requirements are explicitly linked to the development stakeholders and initial architecture information. The requirements information is linked to verification assets using the Verify language and to certification assets using the Assure language for assurance cases. A brief set of exercises will illustrate some uses of the artifacts both in instruction and development.

Dr. John D. McGregor is an associate professor of computer science at Clemson University, a Software Architecture Researcher at the Software Engineering Institute, and a partner in Luminary Software, a software/systems engineering consulting firm. His research interests include highly... Read More →

Roselane Sylva is a student researcher at Clemson University and at the Federal University of Bahia in Salvador, Brazil. She has studied in both Brazil and the United States and focuses on software architecture.