Monthly meeting of the Portland area open source geospatial user group.

We meet the 4th Wednesday of every month from 6:30-8:00 PM at OpenSourcery in NW Portland. No need to RSVP, all are welcome- our group ranges from the geo-curious to the überhackers. [Please arrive no more than 10 minutes early, as the developers at OpenSourcery are working up until the meeting time.]

OpenSourcery 1636 NW Lovejoy St. Portland, OR 97209 [Or, if you prefer: 45.529986, -122.688206]

We meet the 4th Wednesday of every month from 6:30-8:00 PM at OpenSourcery in NW Portland. No need to RSVP, all are welcome- our group ranges from the geo-curious to the überhackers. [Please arrive no more than 10 minutes early, as the developers at OpenSourcery are working up until the meeting time.]

OpenSourcery 1636 NW Lovejoy St. Portland, OR 97209 [Or, if you prefer: 45.529986, -122.688206]

October meeting agenda: GIS in Action 2010 coordination and more TBA

We meet the 4th Wednesday of every month from 6:30-8:00 PM at OpenSourcery in NW Portland. No need to RSVP, all are welcome- our group ranges from the geo-curious to the überhackers. [Please arrive no more than 10 minutes early, as the developers at OpenSourcery are working up until the meeting time.]

OpenSourcery 1636 NW Lovejoy St. Portland, OR 97209 [Or, if you prefer: 45.529986, -122.688206]

Meeting agenda: - upcoming GIS conference planning update - finally ESRI geodatabase support with OGR, if you have an ESRI license :( - CitizenReports, who's the new kid on the block. someone demo this open source or not! - What's the word on the street folks, let's hear some geo gossip from around town. - Tim can pull out an app to do some show and tell with.

Meeting agenda: - upcoming GIS In Action conference. map smackdown volunteers needed. (20 mins) - upcoming OS Bridge conference, free pass, talk submissions (15 mins) - Tim can demo the new MarineMap tool (Google Earth based web application). (20 mins) - short 5 minute demos of something you've been working on or learned about. Could be like a forum if you're seeking information.

We meet the 4th Wednesday of every month from 6:30-8:00 PM at OpenSourcery in NW Portland. No need to RSVP, all are welcome- our group ranges from the geo-curious to the überhackers. [Please arrive no more than 10 minutes early, as the developers at OpenSourcery are working up until the meeting time.]

OpenSourcery 1636 NW Lovejoy St. Portland, OR 97209 [Or, if you prefer: 45.529986, -122.688206]

Meeting agenda: - TBD

We meet the 4th Wednesday of every month from 6:30-8:00 PM at OpenSourcery in NW Portland. No need to RSVP, all are welcome- our group ranges from the geo-curious to the überhackers. [Please arrive no more than 10 minutes early, as the developers at OpenSourcery are working up until the meeting time.]

OpenSourcery 1636 NW Lovejoy St. Portland, OR 97209 [Or, if you prefer: 45.529986, -122.688206]

Meeting agenda: - Meeting is canceled due to following so closely on the heels of our GIS unconference at Portland State Uni.

We meet the 4th Wednesday of every month from 6:30-8:00 PM at OpenSourcery in NW Portland. No need to RSVP, all are welcome- our group ranges from the geo-curious to the überhackers. [Please arrive no more than 10 minutes early, as the developers at OpenSourcery are working up until the meeting time.]

OpenSourcery 1636 NW Lovejoy St. Portland, OR 97209 [Or, if you prefer: 45.529986, -122.688206]

Meeting agenda: - TBD

We meet the 4th Wednesday of every month from 6:30-8:00 PM at OpenSourcery in NW Portland. No need to RSVP, all are welcome- our group ranges from the geo-curious to the überhackers. [Please arrive no more than 10 minutes early, as the developers at OpenSourcery are working up until the meeting time.]

OpenSourcery 1636 NW Lovejoy St. Portland, OR 97209 [Or, if you prefer: 45.529986, -122.688206]

Meeting agenda: - TBD

Hey everyone, The January gathering of the open source GIS group is on for 6:30-8pm at Open Sourcery on Jan. 26. Hope you all had a great holiday. The meeting is byob but we usually wander to a nearby watering hole afterwards.

• MapBox - creating custom maps in the cloud. Sara is bringing someone involved with its development to show some things off. I've been interested in their mb-tiles standard and tools for supporting offline maps for a while.

• GeoNode - version 1.0 of this platform is out from the OpenGeo folks and it's starting to pick up steam. An intriguing blend of Geoserver, GeoNetwork, GeoExt and OpenLayers with a thick layer of Django to hold it all together. A legitimate open-source SDI solution is evolving...

• Becoming an official OSGEO chapter, the quest continues

• FOSS4G 2011 in Denver. Sep 12-16. You're going right? Call for presentations opens in Feb!

OpenSourcery 1636 NW Lovejoy St. Portland, OR 97209 [Or, if you prefer: 45.529986, -122.688206]

Presented by Simon Winwood.

In 2009 the NICTA L4.verified project completed the machine-checked correctness proof of the seL4 microkernel. The natural next step is then to use this verified kernel to construct verified systems.

In this talk I give an overview of the ongoing work into systems verification in the Trustworthy Embedded Systems project. In particular, I will focus on the use of access control results to reason about the properties of systems in the presence of large untrusted components, such as a Linux kernel.

abstract:

Existing modeled and verified operating systems (OS’s) typically run on uniprocessor platforms and run with interrupts mostly disabled. This makes formal reasoning more tractable: execution is mostly sequential. The eChronos OS is a real-time OS used in tightly constrained devices, running on (uniprocessor) embedded micro-controllers. It is used in the DARPA-funded HACMS program, where it runs the flight control software of a high-assurance quadcopter. To provide low latency, the eChronos OS runs with interrupts enabled and provides a preemptive scheduler. In terms of verification, this means that concurrency reasoning is required, which significantly increases the complexity: application and OS instructions may be interleaved with interrupt handler instructions.

In our work we explicitly model the effect of interrupts and their handling by the hardware and OS. We provide a general formal model of the interleaving between OS code, application code and interrupt handlers. We then instantiate this model to formalise the scheduling behavior of the eChronos OS, and prove the main scheduler property: the running task is always the highest-priority runnable task.

bio:

June Andronick is a Senior Researcher at Data61|CSIRO (formerly NICTA). Her research focuses on increasing the reliability of critical software systems, by mathematically proving that the code behaves as expected and satisfies security and safety requirements. She contributed to the seL4 correctness proof and now focuses on concurrency reasoning for OS code. She leads the concurrency software verification research in Data61, and is deputy leader of the Trustworthy Systems group. She was recognised in 2011 by MIT’s Technology Review as one of the world’s top young innovators (TR35). She holds a PhD in Computer Science from the University of Paris-Sud, France.