Show simple item record

dc.contributor.authorOcean, Michaelen_US
dc.contributor.authorKfoury, Assafen_US
dc.contributor.authorBestavros, Azeren_US
dc.date.accessioned2011-10-20T04:49:44Z
dc.date.available2011-10-20T04:49:44Z
dc.date.issued2008-06-14en_US
dc.identifier.citationOcean, Michael; Kfoury, Assaf; Bestavros, Azer. "A Type System For Safe SN Resource Allocation", Technical Report BUCS-TR-2008-011, Computer Science Department, Boston University, June 14, 2008. [Available from: http://hdl.handle.net/2144/1704]en_US
dc.identifier.urihttps://hdl.handle.net/2144/1704
dc.description.abstractsnBench is a platform on which novice users compose and deploy distributed Sense and Respond programs for simultaneous execution on a shared, distributed infrastructure. It is a natural imperative that we have the ability to (1) verify the safety/correctness of newly submitted tasks and (2) derive the resource requirements for these tasks such that correct allocation may occur. To achieve these goals we have established a multi-dimensional sized type system for our functional-style Domain Specific Language (DSL) called Sensor Task Execution Plan (STEP). In such a type system data types are annotated with a vector of size attributes (e.g., upper and lower size bounds). Tracking multiple size aspects proves essential in a system in which Images are manipulated as a first class data type, as image manipulation functions may have specific minimum and/or maximum resolution restrictions on the input they can correctly process. Through static analysis of STEP instances we not only verify basic type safety and establish upper computational resource bounds (i.e., time and space), but we also derive and solve data and resource sizing constraints (e.g., Image resolution, camera capabilities) from the implicit constraints embedded in program instances. In fact, the static methods presented here have benefit beyond their application to Image data, and may be extended to other data types that require tracking multiple dimensions (e.g., image "quality", video frame-rate or aspect ratio, audio sampling rate). In this paper we present the syntax and semantics of our functional language, our type system that builds costs and resource/data constraints, and (through both formalism and specific details of our implementation) provide concrete examples of how the constraints and sizing information are used in practice.en_US
dc.description.sponsorshipNSF (CISE/CSR 070604, ENG/EFRI 0735974, CISE/CNS 0534477, CSN/NeTS 0502166, CNS/ITR 0205294)en_US
dc.language.isoen_USen_US
dc.publisherBoston University Computer Science Departmenten_US
dc.relation.ispartofseriesBUCS Technical Reports;BUCS-TR-2008-011en_US
dc.titleA Type System For Safe SN Resource Allocationen_US
dc.typeTechnical Reporten_US


This item appears in the following Collection(s)

Show simple item record