System design visualizations for synthesizing intent specifications
Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Aeronautics and Astronautics, 2004.
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Thesis |
| Language: | eng |
| Published: |
Massachusetts Institute of Technology
2005
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1721.1/16654 |
| _version_ | 1811074477499351040 |
|---|---|
| author | Chiesi Stephanie Sharo, 1977- |
| author2 | Nancy G. Leveson. |
| author_facet | Nancy G. Leveson. Chiesi Stephanie Sharo, 1977- |
| author_sort | Chiesi Stephanie Sharo, 1977- |
| collection | MIT |
| description | Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Aeronautics and Astronautics, 2004. |
| first_indexed | 2024-09-23T09:50:04Z |
| format | Thesis |
| id | mit-1721.1/16654 |
| institution | Massachusetts Institute of Technology |
| language | eng |
| last_indexed | 2024-09-23T09:50:04Z |
| publishDate | 2005 |
| publisher | Massachusetts Institute of Technology |
| record_format | dspace |
| spelling | mit-1721.1/166542019-04-12T21:48:26Z System design visualizations for synthesizing intent specifications Chiesi Stephanie Sharo, 1977- Nancy G. Leveson. Massachusetts Institute of Technology. Dept. of Aeronautics and Astronautics. Massachusetts Institute of Technology. Dept. of Aeronautics and Astronautics. Aeronautics and Astronautics. Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Aeronautics and Astronautics, 2004. Includes bibliographical references (leaves 55-56). This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections. Today's aerospace industry is faced not only with the challenges of developing spacecraft and supporting technologies to explore the unknown, but they must do so successfully with tighter budgets and fewer personnel. Mission failure causes publicity that the industry cannot afford in this economy. To maintain project schedules and prevent budget overruns, problems in the spacecraft system design must be found early in the development stages. An approach to using existing system design visualizations to aid system verification and validation in the early design stages is described. These commonly used system design visualizations are used to create and intent specification in a systems engineering development environment known as SpecTRM. The intent specification is executable and analyzable, allowing system design flaws and requirements problems to be determined prior to any hardware or coding development. An example of the utilization of these system design visualizations to create an intent specification is applied to the mobility and positioning system (MAPS) of a robot designed to process thermal tiles on the space shuttle. by Stephanie Sharo Chiesi. S.M. 2005-05-17T14:48:43Z 2005-05-17T14:48:43Z 2004 2004 Thesis http://hdl.handle.net/1721.1/16654 56525213 eng M.I.T. theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. See provided URL for inquiries about permission. http://dspace.mit.edu/handle/1721.1/7582 95 leaves 784011 bytes 727135 bytes application/pdf application/pdf application/pdf Massachusetts Institute of Technology |
| spellingShingle | Aeronautics and Astronautics. Chiesi Stephanie Sharo, 1977- System design visualizations for synthesizing intent specifications |
| title | System design visualizations for synthesizing intent specifications |
| title_full | System design visualizations for synthesizing intent specifications |
| title_fullStr | System design visualizations for synthesizing intent specifications |
| title_full_unstemmed | System design visualizations for synthesizing intent specifications |
| title_short | System design visualizations for synthesizing intent specifications |
| title_sort | system design visualizations for synthesizing intent specifications |
| topic | Aeronautics and Astronautics. |
| url | http://hdl.handle.net/1721.1/16654 |
| work_keys_str_mv | AT chiesistephaniesharo1977 systemdesignvisualizationsforsynthesizingintentspecifications |