https://github.com/EthanJamesLew/SWaP-C-analysis

example SWaP-C analysis inthe Clafer modeling language
https://github.com/EthanJamesLew/SWaP-C-analysis

alloy-analyzer clafer feature-model feature-modeling

Last synced: 3 months ago
JSON representation

example SWaP-C analysis inthe Clafer modeling language

• Host: GitHub
• URL: https://github.com/EthanJamesLew/SWaP-C-analysis
• Owner: EthanJamesLew
• License: gpl-3.0
• Created: 2023-01-25T02:08:02.000Z (almost 2 years ago)
• Default Branch: main
• Last Pushed: 2024-01-25T02:53:02.000Z (12 months ago)
• Last Synced: 2024-07-29T16:49:37.406Z (6 months ago)
• Topics: alloy-analyzer, clafer, feature-model, feature-modeling
• Homepage:
• Size: 537 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# SWaP-C-analysis

Example SWaP-C (Size, Weight, Power, and Cost) analysis in the Clafer modeling language.

![LTA UAV example](./img/ltauav.png)

## Usage

## Web (easiest)

The easiest method is to visit the [web claferIDE](http://t3-necsis.cs.uwaterloo.ca:8094/) and paste in the [clafer file](./ltauav.cfr).

* Click compile

* In the instance generator, click Run

* After a bit, a uav feature set should populate in the output pane. If not, click Next.

![claferIDE](./img/clafer_online.png)

## Local

Install the [Clafer tools distribution](https://gsd.uwaterloo.ca/clafer-tools-binary-distributions.html). In a shell, run

```shell

claferIG ltauav.cfr

```