Opening a Window of Discovery on the Dynamic Universe

Using SysML for verification and validation planning on the Large Synoptic Survey Telescope (LSST)

Selvy, Brian et al.
Charles Claver ; George Angeli
Publication Date: 
Monday, August 4, 2014
Conference Papers
SPIE Proceedings
Page #: 
This paper provides an overview of the tool, language, and methodology used for Verification and Validation Planning on the Large Synoptic Survey Telescope (LSST) Project. LSST has implemented a Model Based Systems Engineering (MBSE) approach as a means of defining all systems engineering planning and definition activities that have historically been captured in paper documents. Specifically, LSST has adopted the Systems Modeling Language (SysML) standard and is utilizing a software tool called Enterprise Architect, developed by Sparx Systems. Much of the historical use of SysML has focused on the early phases of the project life cycle. Our approach is to extend the advantages of MBSE into later stages of the construction project. This paper details the methodology employed to use the tool to document the verification planning phases, including the extension of the language to accommodate the project’s needs. The process includes defining the Verification Plan for each requirement, which in turn consists of a Verification Requirement, Success Criteria, Verification Method(s), Verification Level, and Verification Owner. Each Verification Method for each Requirement is defined as a Verification Activity and mapped into Verification Events, which are collections of activities that can be executed concurrently in an efficient and complementary way. Verification Event dependency and sequences are modeled using Activity Diagrams. The methodology employed also ties in to the Project Management Control System (PMCS), which utilizes Primavera P6 software, mapping each Verification Activity as a step in a planned activity. This approach leads to full traceability from initial Requirement to scheduled, costed, and resource loaded PMCS task-based activities, ensuring all requirements will be verified. © (2014) COPYRIGHT Society of Photo-Optical Instrumentation Engineers (SPIE). Downloading of the abstract is permitted for personal use only.
Bibtex reference: 
@INPROCEEDINGS{2014SPIE.9150E..0NS, author = {{Selvy}, B.~M. and {Claver}, C. and {Angeli}, G.}, title = "{Using SysML for verification and validation planning on the Large Synoptic Survey Telescope (LSST)}", booktitle = {Society of Photo-Optical Instrumentation Engineers (SPIE) Conference Series}, year = 2014, series = {Society of Photo-Optical Instrumentation Engineers (SPIE) Conference Series}, volume = 9150, month = aug, eid = {91500N}, pages = {91500N}, doi = {10.1117/12.2056773}, adsurl = {}, adsnote = {Provided by the SAO/NASA Astrophysics Data System} }

Financial support for LSST comes from the National Science Foundation (NSF) through Cooperative Agreement No. 1258333, the Department of Energy (DOE) Office of Science under Contract No. DE-AC02-76SF00515, and private funding raised by the LSST Corporation. The NSF-funded LSST Project Office for construction was established as an operating center under management of the Association of Universities for Research in Astronomy (AURA).  The DOE-funded effort to build the LSST camera is managed by the SLAC National Accelerator Laboratory (SLAC).
The National Science Foundation (NSF) is an independent federal agency created by Congress in 1950 to promote the progress of science. NSF supports basic research and people to create knowledge that transforms the future.
NSF and DOE will continue to support LSST in its Operations phase. They will also provide support for scientific research with LSST data.   

Contact   |   We are Hiring   |   Business with LSST

Admin Login

Back to Top