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 11/1/2014)