University of Minnesota
Software Engineering Center
/

You are here

Helping System Engineers Bridge the Peaks

Date of Publication: 
June 2014
Associated Research Groups: 
Publication Files: 
Abstract: 
In our experience at NASA, system engineers generally follow the Twin Peaks approach when developing safety-critical systems. However, iterations between the peaks require considerable manual, and in some cases duplicate, effort. A significant part of the manual effort stems from the fact that requirements are written in English natural language rather than a formal notation. In this work, we propose an approach that enables system engineers to leverage formal requirements and automated test generation to streamline iterations, effectively "bridging the peaks". The key to the approach is a formal language notation that a) system engineers are comfortable with, b) is supported by a family of automated V&V tools, and c) is semantically rich enough to describe the requirements of interest. We believe the combination of formalizing requirements and providing tool support to automate the iterations will lead to a more effcient Twin Peaks implementation at NASA.
Publisher: 
ACM
Venue: 
4th International Workshop on the Twin Peaks of Requirements and Architecture, Hyderabad, India, June 1, 2014.
bibtex: 
@inproceedings{DBLP:dblp_conf/icse/RungtaTPBWCG14, author = {Neha Rungta and Oksana Tkachuk and Suzette Person and Jason Biatek and Michael W. Whalen and Joseph Castle and Karen Gundy-Burlet}, title = {Helping system engineers bridge the peaks.}, booktitle = {TwinPeaks}, year = {2014}, pages = {9-13}, ee = {http://doi.acm.org/10.1145/2593861.2593863}, crossref = {2014}, }