Viewing 1 current event matching “embedded systems” by Date.

Sort By: Date Event Name, Location , Default
Tuesday
Nov 21
JavaScript and the Internet of Things Meetup - Interacting with IoT through React Native and Bluetooth LE
eBay

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.

Website

Viewing 9 past events matching “embedded systems” by Date.

Sort By: Date Event Name, Location , Default
Tuesday
Jun 7, 2011
Portland State Aerospace Society Open House
Portland State University Fourth Avenue Building (FAB)

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

Website
Tuesday
Aug 16, 2011
Tech Talk: Back-to-back talks on Haskell and Embedded Systems
Galois, Inc

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.

Website
Tuesday
Nov 1, 2016
Projects and Ale - WaCo EE and Technologist Meetup
John Barleycorns McMenamins

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.

Website
Tuesday
Nov 22, 2016
Mentorship and Projects - WaCo EE and Technologist Meetup
Beaverton City Library

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.

Website
Thursday
Jan 5
WaCo EE and Technologists Meetup - Projects and Mentoring
Beaverton City Library

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.

Website
Monday
Jan 23
Mentorship and Projects - WaCo EE and Technologist Meetup
Beaverton City Library

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.

Website
Monday
Feb 27
Mentorship and Projects - WaCo EE and Technologist Meetup
Beaverton City Library

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!

Website
Friday
Sep 15
JavaScript and the Internet of Things Meetup - PDX Maker Week: That Maker Show-case
eBay

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!

Website
Tuesday
Sep 19
JavaScript and the Internet of Things Meetup - Hack Amazon Dash Buttons with Node.js
eBay

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.

Website