Show simple item record

dc.contributor.authorWhittington, Austin J.
dc.contributor.authorYoungs, Alexander G.
dc.contributor.authorHarwell, John R.
dc.contributor.authorMoodie, Myron L.
dc.date.accessioned2017-06-20T15:54:14Z
dc.date.available2017-06-20T15:54:14Z
dc.date.issued2016-11
dc.identifier.issn0884-5123
dc.identifier.issn0074-9079
dc.identifier.urihttp://hdl.handle.net/10150/624240
dc.description.abstractConfiguring typical devices in the telemetry community requires the creation of complex, device-specific configuration files. While the grammar of the configuration files is vendor neutral, the device specific details are vendor specific. Thus, a naïve approach to building these files is to construct a file, test it against a device, and then iterate. The specification sheets (and other documents) for the device can serve as a guide, but the details of flight test configuration possibilities are immense and, in this community, typically not fully documented. This paper describes a process of creating a set of general rules describing characteristics of a configuration file and using those rules to discover the configuration constraints of telemetry devices automatically. The discovered constraints posed by a particular vendor’s device can then be quickly formed into a correct-by-construction constraint-based grammar for use in other systems.
dc.description.sponsorshipInternational Foundation for Telemeteringen
dc.language.isoen_USen
dc.publisherInternational Foundation for Telemeteringen
dc.relation.urlhttp://www.telemetry.org/en
dc.rightsCopyright © held by the author; distribution rights International Foundation for Telemeteringen
dc.subjectConstraintsen
dc.subjectMDLen
dc.subjectXMLen
dc.subjectFuzzingen
dc.titleFOCUSED AUTOMATED DISCOVERY OF TELEMETRY DEVICE CONSTRAINTSen_US
dc.typetexten
dc.typeProceedingsen
dc.contributor.departmentSouthwest Research Instituteen
dc.identifier.journalInternational Telemetering Conference Proceedingsen
dc.description.collectioninformationProceedings from the International Telemetering Conference are made available by the International Foundation for Telemetering and the University of Arizona Libraries. Visit http://www.telemetry.org/index.php/contact-us if you have questions about items in this collection.en
refterms.dateFOA2018-05-18T02:51:13Z
html.description.abstractConfiguring typical devices in the telemetry community requires the creation of complex, device-specific configuration files. While the grammar of the configuration files is vendor neutral, the device specific details are vendor specific. Thus, a naïve approach to building these files is to construct a file, test it against a device, and then iterate. The specification sheets (and other documents) for the device can serve as a guide, but the details of flight test configuration possibilities are immense and, in this community, typically not fully documented. This paper describes a process of creating a set of general rules describing characteristics of a configuration file and using those rules to discover the configuration constraints of telemetry devices automatically. The discovered constraints posed by a particular vendor’s device can then be quickly formed into a correct-by-construction constraint-based grammar for use in other systems.


Files in this item

Thumbnail
Name:
ITC_2016_16-14-01.pdf
Size:
1.422Mb
Format:
PDF
Description:
Conference Proceedings

This item appears in the following Collection(s)

Show simple item record