Example SWaP-C (Size, Weight, Power, and Cost) analysis in the Clafer modeling language.
The easiest method is to visit the web claferIDE and paste in the clafer file.
- 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.
Install the Clafer tools distribution. In a shell, run
claferIG ltauav.cfr