The presentation will start at 7:30 P.M. (Refreshments and Social at 7:00 P.M.) at the new MITRE 2 Building in McLean, Virginia
Munchies and soft drinks will be served at 7:00 PM, the general meeting will start at 7:30 PM, followed by the program.
Mapping Assurance to the Software Engineering Process
or
How to Feel Warm and Fuzzy without Blanket Coverage
Software Assurance is becoming a very important topic for many applications, especially those having High Integrity requirements. The question is: How does one integrate Assurance Requirements onto the Software Engineering/Development Process?
One traditional approach to describing a product software development process is through the use of a “V Chart”, which is basically an extension of the traditional waterfall diagram. In this depiction, the software development process can be viewed as three areas on the chart: requirements decomposition descending the left-hand side of the V, end-product development at the base of the V, and integration/verification ascending the right-hand side of the V.
“Assurance”, the flip side of the design-build-verify coin, gives the customer a level of confidence that the untested or untestable characteristics of the product nevertheless meet expectations. This presentation summarizes a life-cycle approach to developing assurance cases. It shows how assurance-cases can also be represented by a new kind of life-cycle V Chart, with the left-hand side of the V describing expectations regarding a target system and the right-hand side as the synthesis and evaluation of assurance evidence.
This presentation can be valuable to you as it will provide you with a greater insight into important issues of the software engineering/software development process. Alfred Kromholz provides an interesting and different perspective on how we should be doing software today. His presentation will open your mind to thinking about better ways to do software development regardless of whether software assurance is important to your organization or not.
Alfred Kromholz has been active in the field of organizational and software process improvement for over 15 years. In a field rife with TLAs (three-letter acronyms) his SPI work has spanned such diverse areas as DKC (Design Knowledge Capture), QFD (Quality Function Deployment), TQM (Total Quality Management), JAD (Joint Application Design) BPR (Business Process Redesign), and CMM (Capability Maturity Models). His formal academic training includes a Bachelor of Electrical Engineering (with a minor focus in European languages and literature), an MA in Classics (Latin and Greek studies), and a PhD in Ancient Cultures (archaeology/anthropology, history and languages). He has lectured in both anthropology/archaeology and computer science in Sweden, the Netherlands, Italy, Israel and Turkey.
Dr. Kromholz has broad experience on hardware (ham radio, aircraft assembly lines, computer design) and software (over 40 years in system design and coding). He worked on both the Lunar Module and Space Station programs, and on applications as varied as archaeological artifact processing, hydrological exploration, integrated petroleum corporation operations, and U.S. visa processing. Most of his recent work has focused on Process Improvement and Organizational Culture in the U.S. and the Near East. Dr. Kromholz is currently a Lead Systems Engineer with The MITRE Corporation.
MITRE 2 is on Colshire Drive just inside the beltway south of Route 123.
Colshire Road is known as "Scotts Xing" on the North side of Route 123.
Colshire Road is located on Route 123, East of I-495 and West of the Dulles Access Highway.
From I-495 south of Route 123 (Dolley Madison Boulevard):
From Dulles Access Toll Road or I-495
north of the Dulles Access Toll Road:
To obtain a map of MITRE 2 Building and the MITRE Campus, visit =>
http://www.acm.org/sigada/locals/dc/Directions_MITRE2.html.
At the DC SIGAda meeting on 11 March 2004, Scott Ankrum gave a presentation on Assurance Frameworks. His presentation is available online as a PowerPoint presentation at http://www.acm.org/sigada/locals/dc/200403_Ankrum_Assurance_Case.ppt (ppt, 387 KB).
At the Baltimore SIGAda meeting on 27 April 2004, Currie Colket gave a presentation on Code Analysis for Quality in High Integrity Systems. His presentation is available online as a PowerPoint presentation at http://www.acm.org/sigada/locals/dc/200404_Code_Analysis_for_Quality.ppt (ppt, 1.4 MB).
Please provide suggestions on the Web site and its contents. We are particularly interested in ways the DC SIGAda Home Page can serve you better.
Consider subscribing to our e-mail list. Simply send an email to:
LISTSERV@ACM.Org
with the body containing:
subscribe SIGAda-DC Your Name
To be removed from the list, send an email request to:
LISTSERV@ACM.Org
with the body containing:
signoff SIGAda-DC
Please forward this message to people who might be interested in attending. We welcome all new members as our attendance and interests grow.
Many thanks to all earlier participants, contributors, speakers, advisors, and friends, who are involved in helping to produce and attend the meetings.
Jeff Castellow, Chair, DC SIGAda
If you have comments or suggestions,
email the DC SIGAda Webmaster
updated 4 May 2004