Files:DescriptionFile size FormatBrowse
Fulltext1.41 MBPDF (requires Acrobat Reader)Previous | Next
  
Authors:Nate Soule: Department of Computer Science, Boston University, USA
Azer Bestavros: Department of Computer Science, Boston University, USA
Assaf Kfoury: Department of Computer Science, Boston University, USA
Andrei Lapets: Department of Computer Science, Boston University, USA
Publication title:Safe Compositional Equation-based Modeling of Constrained Flow Networks
Conference:Proceedings of the 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, Zurich, Switzerland, September 5, 2011
Publication type: Abstract and Fulltext
Issue:056
Article No.:005
Abstract:Numerous 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.
Language:English
Keywords:Flow networks, Network analysis, Safety verification, Constraint based modeling
Year:2011
No. of pages:10
Pages:35-44
ISBN:978-91-7519-825-5
Series:Linköping Electronic Conference Proceedings
ISSN (print):1650-3686
ISSN (online):1650-3740
File:http://www.ep.liu.se/ecp/056/005/ecp1105605.pdf
Available:2011-11-03
Publisher:Linköping University Electronic Press, Linköpings universitet

REFERENCE TO THIS PAGE
Nate Soule, Azer Bestavros, Assaf Kfoury, Andrei Lapets (2011). Safe Compositional Equation-based Modeling of Constrained Flow Networks, Proceedings of the 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, Zurich, Switzerland, September 5, 2011 http://www.ep.liu.se/ecp_article/index.en.aspx?issue=056;article=005 (accessed 4/19/2014)