@article {Sandoval:2017:TTS:3092956.3047498,
	title = {Task Transition Scheduling for Data-Adaptable Systems},
	journal = {ACM Transactions on Embedded Computing Systems (TECS)},
	volume = {16},
	year = {2017},
	pages = {105:1{\textendash}105:28},
	abstract = {<p>Data-adaptable embedded systems operate on a variety of data streams, which requires a large degree of configurability and adaptability to support runtime changes in data stream inputs. Data-adaptable reconfigurable embedded systems, when decomposed into a series of tasks, enable a flexible runtime implementation in which a system can transition the execution of certain tasks between hardware and software while simultaneously continuing to process data during the transition. Efficient runtime scheduling of task transitions is needed to optimize system throughput and latency of the reconfiguration and transition periods. In this article, we provide an overview of a runtime framework enabling the efficient transition of tasks between software and hardware in response to changes in system inputs. We further present and analyze several runtime transition scheduling algorithms and highlight the latency and throughput tradeoffs for two data-adaptable systems. To evaluate the task transition selection algorithms, a case study was performed on an adaptable JPEG2000 implementation as well as three other synchronous dataflow systems characterized by transition latency and communication load.</p>
},
	keywords = {Data adaptability, hardware/software codesign, model-based design, runtime transition scheduling},
	issn = {1539-9087},
	doi = {10.1145/3047498},
	url = {http://doi.acm.org/10.1145/3047498},
	author = {Nathan Sandoval and Casey Mackin and Sean Whitsitt and Gopinath, Vijay Shankar and Sachidanand Mahadevan and Milakovich, Andrew and Merry, Kyle and Jonathan Sprinkle and Roman Lysecky}
}
@conference {whitsitt2014cps,
	title = {Automatic Verification of Dynamic Constraints in LTI Control Systems Through Model Transformations},
	booktitle = {NSF Young Professionals Workshop on Exploring New Frontiers in Cyber-Physical Systems},
	year = {2014},
	month = {03/2014},
	publisher = {NSF},
	organization = {NSF},
	address = {Washington, DC},
	keywords = {Controls, Dynamic Constraints, Model Transformations},
	author = {Sean Whitsitt}
}
@conference {232,
	title = {System Throughput Optimization and Runtime Communication Middleware Supporting Dynamic Software-Hardware Task Migration in Data Adaptable Embedded Systems},
	booktitle = {Engineering of Computer Based Systems (ECBS), 2013 20th IEEE International Conference and Workshops on the},
	year = {2013},
	month = {April},
	pages = {59-68},
	keywords = {combinatorial explosion, Data adaptability, data adaptable design methodology, data adaptable embedded systems, data configurations, data handling, Data models, data profile correlation, design time optimization, dynamic software-hardware task migration, embedded systems, Field programmable gate arrays, FIFO queues, Firing, Hardware, hardware accelerators, hardware-software codesign, hardware-software communication wrapper, hardware/software codesign, hardware/software communication middleware, heuristic programming, heuristic search methodology, middleware, model-based design, Pareto optimal configurations, Pareto optimisation, Runtime, runtime communication middleware, search problems, simulation-based methodology, system throughput optimization},
	doi = {10.1109/ECBS.2013.25},
	author = {Nathan Sandoval and Casey Mackin and Sean Whitsitt and Roman Lysecky and Jonathan Sprinkle}
}
@conference { w:whitsitt-neat-2011,
	title = {Constrained data acquisition for mobile citizen science applications},
	booktitle = {Proceedings of the compilation of the co-located workshops on DSM{\textquoteright}11, TMC{\textquoteright}11, AGERE!{\textquoteright}11, AOOPES{\textquoteright}11, NEAT{\textquoteright}11, \& VMIL{\textquoteright}11},
	series = {SPLASH {\textquoteright}11 Workshops},
	year = {2011},
	pages = {267{\textendash}272},
	publisher = {ACM},
	organization = {ACM},
	address = {New York, NY, USA},
	abstract = {<p>The popularity and ubiquity of personal mobile computing devices{\textendash}-coupled with their powerful sensing capabilities{\textendash}-allow their application in the structured collection of data for societal benefit and science applications. Citizen scientists are willing users and active contributors to scientific research and applications, but if they gather data in an unconstrained or ad hoc manner, their efforts may be of little scientific value. In this paper, we present a user interface for a mobile device which is properly constrained to permit the gathering of valid scientific data. This helps to achieve the goal that any individual with a basic familiarity of the device (but not of the science) should be able to obtain useful data with little learning required. As a use case for this concept, we present a mobile application that allows users to collect location-stamped images to supplement satellite data for climate change research.</p>},
	keywords = {citizen scientist, domain-specific modeling, iphone, mobile phone programming},
	isbn = {978-1-4503-1183-0},
	doi = {10.1145/2095050.2095095},
	url = {http://dx.doi.org/10.1145/2095050.2095095},
	author = {Sean Whitsitt and Armando Barreto and Maribel Hudson and Hussain Al-Helal and Diyang Chu and Kamel Didan and Jonathan Sprinkle}
}
