| Files: | Description | File size | Format | Browse |
| Fulltext | 1.41 MB | PDF (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 6/20/2013) |
|
Ph.D., Lic. Theses
