Show simple item record

dc.contributor.authorSoule, Nateen_US
dc.contributor.authorBestavros, Azeren_US
dc.contributor.authorKfoury, Assafen_US
dc.contributor.authorLapets, Andreien_US
dc.date.accessioned2015-06-24T19:48:33Z
dc.date.available2015-06-24T19:48:33Z
dc.date.issued2011-05-15
dc.identifier.citationSoule, Nate; Bestavros, Azer; Kfoury, Assaf; Lapets, Andrei. "Safe Compositional Equation-based Modeling of Constrained Flow Networks", Technical Report BUCS-TR-2011-014, Computer Science Department, Boston University, May 15, 2011. [Available from: http://hdl.handle.net/2144/11371]
dc.identifier.urihttps://hdl.handle.net/2144/11371
dc.description.abstractNumerous domains exist in which systems can be modeled as networks with constraints that regulate the flow of traffic. Smart grids, vehicular road travel, computer networks, and cloud-based resource distribution, among others all have natural representations in this manner. As these systems grow in size and complexity, analysis and certification of safety invariants becomes increasingly costly. The NetSketch formalism and toolset introduce a lightweight framework for constraint-based modeling and analysis of such flow networks. NetSketch offers a processing method based on type-theoretic notions that enables large scale safety verification by allowing for compositional, as opposed to whole-system, analysis. Furthermore, by applying types to the modeled networks, analysis of composite modules containing incomplete or underspecified components can be conducted. The NetSketch tool exposes the power of this formalism in an intuitive web-based graphical user interface. We describe the NetSketch formalism and tool, a translation from an instantiation of the NetSketch formalism to the equation-based modeling language Modelica, and the development of an accompanying Haskell library, HModelica, that enables the integration of NetSketch and the OpenModelica modeling platform.en_US
dc.description.sponsorshipNSF (CNS-0952145, CCF-0820138, CSR-0720604, CNS-1012798, EFRI-0735974)en_US
dc.language.isoen_US
dc.publisherComputer Science Department, Boston Universityen_US
dc.relation.ispartofseriesBUCS Technical Reports;BUCS-TR-2011-014
dc.subjectFlow networksen_US
dc.subjectNetwork analysisen_US
dc.subjectSafety verificationen_US
dc.subjectConstraint based modelingen_US
dc.titleSafe compositional equation-based modeling of constrained flow networksen_US
dc.typeTechnical Reporten_US


This item appears in the following Collection(s)

Show simple item record