Portland State Aerospace Society (PSAS) is a volunteer group working on open source/open hardware amateur rockets. We build everything from the ground up, including rocket airframes, avionics hardware, Linux flight computer software, and communications systems.

Come early the first Tuesday of the month if you want to learn more or are thinking about joining the group. We are open to everyone no matter what your experience or interests. We are a public group and this is a public meeting!

http://psas.pdx.edu

Presented by Sebastian Niller and Nis N. Wegmann

1

title: Translation of Functionally Embedded Domain-specific Languages With Static Type Preservation by using Witnesses

abstract: Static type preservation automatically guarantees type-correctness of an embedded domain-specific language (eDSL) by tying its type system to that of the host-language. Not only does this obviate the need for a custom type checker, it also preserves type-correctness during code transformations and optimizations, and simplifies and increases the efficiency of interpreters. When implementing a translator from a source DSL with type preservation to a target DSL, the commonly chosen approach requires the incorporation of extensions in the source DSL specific to the target DSL, which, in cases where multiple back-ends are required, obfuscates the source DSL and decreases the overall modularity. We show that by using witnesses, a technique which facilitates the construction of type-level proofs, we can effectively cope with this issue and implement translators without extending the source DSL.

We have applied our approach on Copilot, a Haskell-embedded domain specific language for runtime monitoring of hard real-time distributed systems, and used it for implementing two back-ends targeting the Haskell-embedded languages Atom and SBV. Our approach restrains to the Haskell 2010 Standard except for existentially and universally quantified types.

2

title: From High-Level Languages to Monitoring Fault-Tolerant Hardware: Case-Studies of Runtime Verification Using Copilot

abstract: Failures of hard real-time systems can be caused by systematic faults in software and hardware, as well as by random hardware faults, and faults due to wear out of hardware components. Even if monitoring software is proven to comply to its specification, there is no guarantee that failing underlying hardware does not affect the monitors themselves. An application of distributed Copilot monitors to a redundant airspeed measurement system is presented. We show the use of monitors enables the system to withstand benign and Byzantine hardware and software faults.

The second part of the talk presents current work using Copilot to monitor the MAVLink protocol in flight of a sub-scale model of an Edge 540T aircraft.

Let's celebrate our 6 month anniversary of the group and surviving Halloween with a pint at McMenamins - John Barleycorns.

Join us for breakout discussions as we help each other progress on hardware projects and/or careers. Bring your war stories!

This is a group for electronics engineers and technologists who want to advance their expertise/career, get inspired by peers, and dream about their own business! We'll discuss whatever hot topics from the scrum that kicks-off each event, share projects, and occasional guest speakers.

Attendees include: applications engineers, firmware/software developers, electronics engineers, operations and program managers, product and marketing managers.

Join us for breakout discussions as we help each other progress on hardware projects and/or careers. Bring your computers and other gadgets you're working on!

This is a group for electronics engineers and technologists who want to advance their expertise/career, get inspired by peers, and dream about their own business! We'll discuss whatever hot topics from the scrum that kicks-off each event, share projects, and occasional guest speakers.

Attendees include: applications engineers, firmware/software developers, electronics engineers, operations and program managers, product and marketing managers.

Join us for breakout discussions as we help each other progress on hardware projects and/or careers. Bring your computers and other gadgets you're working on!

About WaCo EE Meetup

This is a group for electronics engineers and technologists who want to advance their expertise/career, get inspired by peers, and dream about their own business! We'll discuss whatever hot topics from the scrum that kicks-off each event, share projects, and occasional guest speakers.

Attendees include: applications engineers, firmware/software developers, electronics engineers, operations and program managers, product and marketing managers.

Join us for breakout discussions as we help each other progress on hardware projects and/or careers. Bring your computers and other gadgets you're working on!

About WaCo EE

This is a group for electronics engineers and technologists who want to advance their expertise/career, get inspired by peers, and dream about their own business! We'll discuss whatever hot topics from the scrum that kicks-off each event, share projects, and occasional guest speakers.

Attendees include: applications engineers, firmware/software developers, electronics engineers, operations and program managers, product and marketing managers.

Join us for breakout discussions as we help each other progress on hardware projects and/or careers. Bring your computers and other gadgets you're working on!

In addition to our meetup this month we're participating in the PDX Maker Week.

Every year makers from all over Portland open their doors for workshops, talks, open houses and more! This year That Maker Show is participating with an event - That Maker Show-case! It will feature a talk by thingsSDK Core Contributor Craig Dennis and co-host of That Maker Show and an extended Show and Tell showing all the projects from the show and some up-coming ones too! Bring your projects too!

Agenda

6:00 Arrive and Networking

6:30 Talk: Breaking Down the Barriers to the Maker Movement - Craig Dennis 

7:00-8:00 Show and Tell / Networking

Bring your own projects or see a wide range of projects and maker bits and bobs from the show

Community Links

Join the conversation in the JS IoT Slack Channel! 

Contribute to the JSoT Glossary!

Attendees, sponsors and speakers agree to abide by the code of conduct.

A huge thanks to eBay for the venue!

New Location!

We're now at eBay! 

Agenda 

6:30 Arrive and Networking

6:45 Show and Tell

What have you been working on since the last meetup? Come and share what you've done. No project too small. A blinking LED is awesome! 

7:15 Hack Amazon Dash Buttons with Node.js - Andrew Chalkley

Amazon Dash buttons are used to reorder common items on Amazon. But what if you could use these buttons to do anything!? Learn how to use Node.js to sniff out button presses on an Amazon Dash button and use it to invoke any action!

Andrew Chalkley is a Full Stack Software Architect at eBay, co-host of That Maker Show and project lead of thingsSDK. He also helps organize the JavaScript and Internet of Things Meetup!

8:00 Networking

Community Links

Join the conversation in the JS IoT Slack Channel! 

Contribute to the JSoT Glossary!

Attendees, sponsors and speakers agree to abide by the code of conduct.

A huge thanks to eBay for the venue and providing food!

The eBay logo is a trademark of eBay Inc. Used with permission.

New Location!

We're now at eBay!

Agenda

6:30 Arrive and Networking

6:45 Show and Tell

What have you been working on since the last meetup? Come and share what you've done. No project too small. A blinking LED is awesome!

7:15 Interacting with IoT through React Native and Bluetooth LE - Michael Kirschbaum

Speaker Bio: I'm a React/Node dev and data scientist currently focusing on IoT products. When not coding, I enjoy playing music and drawing.

8:00 Networking

Community Links

Join the conversation in the JS IoT Slack Channel (https://jsot-slack.herokuapp.com/)!

Contribute to the JSoT Glossary (https://github.com/lyzadanger/JSoT)!

Attendees, sponsors and speakers agree to abide by the code of conduct (http://berlincodeofconduct.org/).

A huge thanks to eBay for the venue and providing food!

The eBay logo is a trademark of eBay Inc. Used with permission.

New Location!

We're now at eBay!

Agenda

6:30 Arrive and Networking

6:45 Show and Tell

What have you been working on since the last meetup? Come and share what you've done. No project too small. A blinking LED is awesome!

7:15 Talk - Description coming soon!

8:00 Networking

Community Links

Join the conversation in the JS IoT Slack Channel (https://jsot-slack.herokuapp.com/)!

Contribute to the JSoT Glossary (https://github.com/lyzadanger/JSoT)!

Attendees, sponsors and speakers agree to abide by the code of conduct (http://berlincodeofconduct.org/).

A huge thanks to eBay for the venue and providing food!

The eBay logo is a trademark of eBay Inc. Used with permission.

** IMPORTANT VENUE CHANGE - WE'RE AT MOZILLA FROM APRIL - JUNE **

Agenda

6:30 Arrive and Networking

6:45 Show and Tell

What have you been working on since the last meetup? Come and share what you've done. No project too small. A blinking LED is awesome!

7:15 Talk - TBD

8:00 Networking

Community Links

Join the conversation in the JS IoT Slack Channel (https://jsot-slack.herokuapp.com/)!

Contribute to the JSoT Glossary (https://github.com/lyzadanger/JSoT)!

Attendees, sponsors and speakers agree to abide by the code of conduct (http://berlincodeofconduct.org/).

A huge thanks to Mozilla for the venue and providing food!

** IMPORTANT VENUE CHANGE - WE'RE AT MOZILLA FROM APRIL - JUNE **

Agenda

6:30 Arrive and Networking

6:45 Show and Tell

What have you been working on since the last meetup? Come and share what you've done. No project too small. A blinking LED is awesome!

7:15 Talk - TBD

8:00 Networking

Community Links

Join the conversation in the JS IoT Slack Channel (https://jsot-slack.herokuapp.com/)!

Contribute to the JSoT Glossary (https://github.com/lyzadanger/JSoT)!

Attendees, sponsors and speakers agree to abide by the code of conduct (http://berlincodeofconduct.org/).

A huge thanks to Mozilla for the venue and providing food!

We're back at eBay!

Agenda

6:30 Arrive and Networking

6:45 Show and Tell

What have you been working on since the last meetup? Come and share what you've done. No project too small. A blinking LED is awesome!

7:15 Talk: Storing IoT Time Series Data in MongoDB - Ken Alger, Developer Advocate at MongoDB

8:00 Networking

Community Links

Join the conversation in the JS IoT Slack Channel (https://jsot-slack.herokuapp.com/)!

Contribute to the JSoT Glossary (https://github.com/lyzadanger/JSoT)!

Attendees, sponsors and speakers agree to abide by the code of conduct (http://berlincodeofconduct.org/).

A huge thanks to eBay for the venue and providing food!

The eBay logo is a trademark of eBay Inc. Used with permission.

Hello Digital Designers,

I'm holding a Workshop on May 18th teaching Embedded Device to AWS cloud connectivity and Analytics. The event is listed on Eventbrite as I'm charging a nominal fee to cover the meeting space rental and snacks. Limited spaces (20).

To register go to:

https://www.eventbrite.com/e/hands-on-workshop-embedded-device-to-aws-iot-analytics-tickets-61597587041

Do not sign up on this page, Sign up on the Eventbrite page.

Thanks!