Step 4: Click "that"->"Windows & Doors"->"Bedroom Window"->"Open/Close Window"->Choose "Close Bedroom Window"->Submit Step 3: Click "this"->"Temperature"->"Thermostat"->"AC On/Off"->Choose "The AC turns On"->Submit Step 2: On the right half of the webpage, click "Add a New Rule". Step 1: Follow the same instructions in example 1 to create a property, or go to the same workspace as example 1 to reuse the property created.
#Get autotap software how to#
This example shows how to user AutoTap to debug current rules to satisfy "AC is on and bedroom window is open should not be active together". Step 6: Click "Verify/Synthesize Rules with Properties" Step 4: Click the second "this state"->"Windows & Doors"->"Bedroom Window"->"Open/Close Window"->Choose "Bedroom Window is Open"->Submit Step 3: Click the first "this state"->"Temperature"->"Thermostat"->"AC On/Off"->Choose "The AC is On"->Submit. Step 2: Click "Add a New Property"->"This state and this state should always/never occur together". Step 1: Goto "localhost:4200/user/1" (or whatever empty workspace) with your browser. This example shows how to use AutoTap to synthesize rules to satisfy "AC is on and bedroom window is open should not be active together". You can also go check this video for a video tutorial (with captions on). If the content doesn't show well on your browser, please make the window bigger or zoom out the webpage (to 60%, for example).įor a more detailed tutorial, please read our user study survey, which contains tutorials for creating both rules and properties. Note that our webpage was originally designed for large screen. In general, you can use "localhsot:4200//localhsot:4200//" to retrieve properties and rules you've written in that workspace. In the above example, "user" is the username and "1" is the task id. Note that we use two fields to identify a workspace: username and task id, where username is a string and task id is a number. You can access the following url with your browser to check AutoTap's interface. Once this process finished, the console output will be stable and show that frontend and backend are listening to requests. Please allow 10 seconds (if typical SSD is used) to 3 minute (if HDD is used) for the database to initialize.
During this time, the backend will show something like this repeatly: backend_1 | DB unavailable - sleeping It may take time for the database to initialize if it is set up for the first time. Then from the root directory of this docker-compose up Our backend process will use port 8000 and the frontend will use port 4200. Setting up the AutoTap web applicationįirst, follow the instructions in INSTALL.md in order to build the docker images for the three components.īefore setting up the server, make sure that these 2 ports are not occupied by other processes: 80. The following instructions will show how to set up a local server and play with AutoTap. There are three components - the database, the backend, and the frontend - that supports this web-application. This repository consists of AutoTap as a web-application. AutoTap tells whether a provided TAP program satisfies the specified properties if not, AutoTap synthesizes TAP programs or program modifications to satisfy the properties. It allows users to specify properties they want in their smart home through an easy click-only interface.
#Get autotap software software#
The software AutoTap is for novice end-users to create and modify trigger-action programs (TAP) for smart devices at home.
No specific knowledge from the reviewers is assumed as our application aims at novice users.
0 kommentar(er)
