Metadata-Version: 2.1
Name: haros-plugin-rv-gen
Version: 0.1.2
Summary: HAROS plugin for RV generation
Home-page: https://github.com/git-afsantos/haros-plugin-rv-gen
Author: André Santos
Author-email: haros.framework@gmail.com
License: MIT
Description: # HAROS RV Generation Plugin
        
        This package provides a [HAROS](https://github.com/git-afsantos/haros) plugin to generate runtime monitors based on [HPL](https://github.com/git-afsantos/hpl-specs) specifications.
        In essence, this plugin is just a wrapper for the [HPL RV gen](https://github.com/git-afsantos/hpl-rv-gen) library.
        
        ## Installing
        
        Installing a pre-packaged release:
        
        ```bash
        pip install haros-plugin-rv-gen
        ```
        
        Installing from source:
        
        ```bash
        git clone https://github.com/git-afsantos/haros-plugin-rv-gen.git
        cd haros-plugin-rv-gen
        pip install -e .
        ```
        
        ## Usage
        
        Annotate systems and nodes with HPL properties in HAROS files to have runtime monitor generation take place.
        
        Generated monitors can be found in the `export` directory of the HAROS home directory (e.g., `~/.haros/export/haros_plugin_rv_gen`).
        
        ## Bugs, Questions and Support
        
        Please use the [issue tracker](https://github.com/git-afsantos/haros-plugin-rv-gen/issues).
        
        ## Contributing
        
        See [CONTRIBUTING](./CONTRIBUTING.md).
        
Keywords: haros ros plugin rv runtime-monitoring runtime-verfication
Platform: UNKNOWN
Classifier: Development Status :: 3 - Alpha
Classifier: Intended Audience :: Developers
Classifier: Intended Audience :: Science/Research
Classifier: License :: OSI Approved :: MIT License
Classifier: Operating System :: OS Independent
Classifier: Programming Language :: Python
Classifier: Programming Language :: Python :: 2
Classifier: Programming Language :: Python :: 2.7
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.6
Classifier: Programming Language :: Python :: 3.7
Classifier: Programming Language :: Python :: 3.8
Classifier: Programming Language :: Python :: 3.9
Classifier: Programming Language :: Python :: 3.10
Classifier: Topic :: Scientific/Engineering
Classifier: Topic :: Software Development
Classifier: Topic :: Software Development :: Libraries
Classifier: Topic :: Software Development :: Libraries :: Python Modules
Classifier: Topic :: Software Development :: Quality Assurance
Requires-Python: >=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*, !=3.4.*, !=3.5.*
Description-Content-Type: text/markdown
