{"id":{"repo_id":"mit","oai_identifier":"oai:dspace.mit.edu:1721.1/33823"},"canonical_url":"https://search.dev.ndltd.org/etd/mit/oai:dspace.mit.edu:1721.1/33823","repository":{"repo_id":"mit","name":"MIT","base_url":"https://dspace.mit.edu/oai/request"},"display":{"title":"Modeling and analysis of software specifications for an autonomous aerial vehicle","abstract":"The present increase in the usage of software for controlling safety-critical systems drives the need for the development of software safety analysis techniques. This thesis describes the use of a state-machine based approach for modeling and analyzing software requirements specifications, for safety related properties, of the supervisory architecture of an autonomous aerial vehicle. The requirements specification model, developed using concepts from controls engineering, is in a tabular format and specifies the intended blackbox behavior of the system in terms of discrete events. The goal of modeling was to produce a set of specifications that clearly describe the desired system behavior for ease of human review. Analysis focused on identifying safety-related errors in design philosophy rather than implementation. This was done because software requirements errors (or high level design errors) that are allowed to propagate into later phases of the development process can result in tremendous costs and are often the most difficult to correct. Results show that the symbiotic nature of the modeling and analysis techniques was useful in improving software safety. Their application led to the identification and elimination of several hazardous conditions not found during traditional software unit and system testing.","abstract_html":"The present increase in the usage of software for controlling safety-critical systems drives the need for the development of software safety analysis techniques. This thesis describes the use of a state-machine based approach for modeling and analyzing software requirements specifications, for safety related properties, of the supervisory architecture of an autonomous aerial vehicle. The requirements specification model, developed using concepts from controls engineering, is in a tabular format and specifies the intended blackbox behavior of the system in terms of discrete events. The goal of modeling was to produce a set of specifications that clearly describe the desired system behavior for ease of human review. Analysis focused on identifying safety-related errors in design philosophy rather than implementation. This was done because software requirements errors (or high level design errors) that are allowed to propagate into later phases of the development process can result in tremendous costs and are often the most difficult to correct. Results show that the symbiotic nature of the modeling and analysis techniques was useful in improving software safety. Their application led to the identification and elimination of several hazardous conditions not found during traditional software unit and system testing.","abstract_has_math":false,"creators":["Vuong, Hon Fai, 1975-"],"institution":"Massachusetts Institute of Technology","degree_name":null,"degree_level":null,"degree_discipline":null,"degree_department":"Massachusetts Institute of Technology. Department of Aeronautics and Astronautics","school":null,"contributors":[],"advisors":["Mark R. Abramson and Eric Feron."],"committee_chairs":[],"committee_members":[],"year":1999,"date_issued":"1999","date_published":"1999","updated_at":"2026-07-22T22:22:16Z","subjects":["Aeronautics and Astronautics."],"languages":["eng"],"rights":["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."],"rights_urls":["http://dspace.mit.edu/handle/1721.1/7582"],"identifier_entries":[]},"links":{"outbound_url":"http://hdl.handle.net/1721.1/33823","outbound_label":"Handle","outbound_source":"dc:identifier.uri"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor.advisor","label":"Advisor","values":["Mark R. Abramson and Eric Feron."]},{"key":"dc:contributor.department","label":"Department","values":["Massachusetts Institute of Technology. Department of Aeronautics and Astronautics"]},{"key":"dc:contributor.other","label":"Dc Contributor Other","values":["Massachusetts Institute of Technology. Dept. of Aeronautics and Astronautics."]},{"key":"dc:creator","label":"Author","values":["Vuong, Hon Fai, 1975-"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date.accessioned","label":"Dc Date Accessioned","values":["2006-08-25T18:48:38Z"]},{"key":"dc:date.available","label":"Dc Date Available","values":["2006-08-25T18:48:38Z"]},{"key":"dc:date.issued","label":"Date","values":["1999"]},{"key":"dc:publisher","label":"Institution","values":["Massachusetts Institute of Technology"]},{"key":"dc:type","label":"Dc Type","values":["Thesis"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Aeronautics and Astronautics."]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language.iso","label":"Language (ISO)","values":["eng"]},{"key":"dc:rights","label":"Dc Rights","values":["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."]},{"key":"dc:rights.uri","label":"Rights URI","values":["http://dspace.mit.edu/handle/1721.1/7582"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier.uri","label":"Identifier URI","values":["http://hdl.handle.net/1721.1/33823"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description","label":"Description","values":["Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Aeronautics and Astronautics, 1999.","Includes bibliographical references (p. 97-98)."]},{"key":"dc:description.abstract","label":"Abstract","values":["The present increase in the usage of software for controlling safety-critical systems drives the need for the development of software safety analysis techniques. This thesis describes the use of a state-machine based approach for modeling and analyzing software requirements specifications, for safety related properties, of the supervisory architecture of an autonomous aerial vehicle. The requirements specification model, developed using concepts from controls engineering, is in a tabular format and specifies the intended blackbox behavior of the system in terms of discrete events. The goal of modeling was to produce a set of specifications that clearly describe the desired system behavior for ease of human review. Analysis focused on identifying safety-related errors in design philosophy rather than implementation. This was done because software requirements errors (or high level design errors) that are allowed to propagate into later phases of the development process can result in tremendous costs and are often the most difficult to correct. Results show that the symbiotic nature of the modeling and analysis techniques was useful in improving software safety. Their application led to the identification and elimination of several hazardous conditions not found during traditional software unit and system testing."]},{"key":"dc:description.degree","label":"Dc Description Degree","values":["S.M."]},{"key":"dc:format.mimetype","label":"Dc Format Mimetype","values":["application/pdf"]},{"key":"dc:title","label":"Title","values":["Modeling and analysis of software specifications for an autonomous aerial vehicle"]}]}],"canonical_facts":{"dc:contributor.advisor":["Mark R. Abramson and Eric Feron."],"dc:contributor.department":["Massachusetts Institute of Technology. Department of Aeronautics and Astronautics"],"dc:contributor.other":["Massachusetts Institute of Technology. Dept. of Aeronautics and Astronautics."],"dc:creator":["Vuong, Hon Fai, 1975-"],"dc:date.accessioned":["2006-08-25T18:48:38Z"],"dc:date.available":["2006-08-25T18:48:38Z"],"dc:date.issued":["1999"],"dc:description":["Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Aeronautics and Astronautics, 1999.","Includes bibliographical references (p. 97-98)."],"dc:description.abstract":["The present increase in the usage of software for controlling safety-critical systems drives the need for the development of software safety analysis techniques. This thesis describes the use of a state-machine based approach for modeling and analyzing software requirements specifications, for safety related properties, of the supervisory architecture of an autonomous aerial vehicle. The requirements specification model, developed using concepts from controls engineering, is in a tabular format and specifies the intended blackbox behavior of the system in terms of discrete events. The goal of modeling was to produce a set of specifications that clearly describe the desired system behavior for ease of human review. Analysis focused on identifying safety-related errors in design philosophy rather than implementation. This was done because software requirements errors (or high level design errors) that are allowed to propagate into later phases of the development process can result in tremendous costs and are often the most difficult to correct. Results show that the symbiotic nature of the modeling and analysis techniques was useful in improving software safety. Their application led to the identification and elimination of several hazardous conditions not found during traditional software unit and system testing."],"dc:description.degree":["S.M."],"dc:format.mimetype":["application/pdf"],"dc:identifier.uri":["http://hdl.handle.net/1721.1/33823"],"dc:language.iso":["eng"],"dc:publisher":["Massachusetts Institute of Technology"],"dc:rights":["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."],"dc:rights.uri":["http://dspace.mit.edu/handle/1721.1/7582"],"dc:subject":["Aeronautics and Astronautics."],"dc:title":["Modeling and analysis of software specifications for an autonomous aerial vehicle"],"dc:type":["Thesis"]},"updated_at":"2026-07-22T22:22:16Z"}