FOCUSED AUTOMATED DISCOVERY OF TELEMETRY DEVICE CONSTRAINTS
dc.contributor.author | Whittington, Austin J. | |
dc.contributor.author | Youngs, Alexander G. | |
dc.contributor.author | Harwell, John R. | |
dc.contributor.author | Moodie, Myron L. | |
dc.date.accessioned | 2017-06-20T15:54:14Z | |
dc.date.available | 2017-06-20T15:54:14Z | |
dc.date.issued | 2016-11 | |
dc.identifier.issn | 0884-5123 | |
dc.identifier.issn | 0074-9079 | |
dc.identifier.uri | http://hdl.handle.net/10150/624240 | |
dc.description.abstract | Configuring 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.sponsorship | International Foundation for Telemetering | en |
dc.language.iso | en_US | en |
dc.publisher | International Foundation for Telemetering | en |
dc.relation.url | http://www.telemetry.org/ | en |
dc.rights | Copyright © held by the author; distribution rights International Foundation for Telemetering | en |
dc.subject | Constraints | en |
dc.subject | MDL | en |
dc.subject | XML | en |
dc.subject | Fuzzing | en |
dc.title | FOCUSED AUTOMATED DISCOVERY OF TELEMETRY DEVICE CONSTRAINTS | en_US |
dc.type | text | en |
dc.type | Proceedings | en |
dc.contributor.department | Southwest Research Institute | en |
dc.identifier.journal | International Telemetering Conference Proceedings | en |
dc.description.collectioninformation | Proceedings 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.dateFOA | 2018-05-18T02:51:13Z | |
html.description.abstract | Configuring 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. |