Boston University Libraries OpenBU
    JavaScript is disabled for your browser. Some features of this site may not work without it.
    View Item 
    •   OpenBU
    • College of Arts and Sciences
    • Computer Science
    • CAS: Computer Science: Technical Reports
    • View Item
    •   OpenBU
    • College of Arts and Sciences
    • Computer Science
    • CAS: Computer Science: Technical Reports
    • View Item

    Use cases for compositional modeling and analysis of equation-based constrained flow networks

    Thumbnail
    Date Issued
    2011-07-15
    Author(s)
    Soule, Nate
    Bestavros, Azer
    Ishakian, Vatche
    Kfoury, Assaf
    Lapets, Andrei
    Share to FacebookShare to TwitterShare by Email
    Export Citation
    Download to BibTex
    Download to EndNote/RefMan (RIS)
    Metadata
    Show full item record
    Permanent Link
    https://hdl.handle.net/2144/11376
    Citation (published version)
    Soule, Nate; Bestavros, Azer; Ishakian, Vatche; Kfoury, Assaf; Lapets, Andrei. "Use Cases for Compositional Modeling and Analysis of Equation-based Constrained Flow Networks", Technical Report BUCS-TR-2011-019, Computer Science Department, Boston University, July 15, 2011. [Available from: http://hdl.handle.net/2144/11376]
    Abstract
    Numerous domains exist in which systems can be modeled as networks with constraints that regulate the ow of trac. 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 certication of safety invariants becomes increasingly costly. The NetSketch formalism and toolset introduce a lightweight framework for constraint-based modeling and analysis of such ow networks. NetSketch oers a processing method based on type-theoretic notions that enables large scale safety verication 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 underspecied components can be conducted. Here we describe various use cases for such modeling tasks, and walk through the development of appropriate NetSketch models.
    Collections
    • CAS: Computer Science: Technical Reports [586]


    Boston University
    Contact Us | Send Feedback | Help
     

     

    Browse

    All of OpenBUCommunities & CollectionsIssue DateAuthorsTitlesSubjectsThis CollectionIssue DateAuthorsTitlesSubjects

    Deposit Materials

    LoginNon-BU Registration

    Statistics

    Most Popular ItemsStatistics by CountryMost Popular Authors

    Boston University
    Contact Us | Send Feedback | Help