SoC is an annual symposium held at Tampere, Finland - The SoC City. It builds on the tradition of a series of SoC events organized annually since 1999. The mission of SoC is to provide a forum that is fully and comprehensively dedicated to SoC issues.
Altreonic will present at the Tutorial on Dependable Hardware and Software for Embedded Computing Platforms as invited speaker and at the tutorial:
Tuesday, Sept 28, 2010
- 11:00 Formal Development vs. Formal Verification - The OpenComRTOS Example. E. Verhulst, Altreonic,
- 13:30 An Architecture for Scalable Concurrent Embedded Software. E. Verhulst, Altreonic.
and as invited guest speaker on the conference (29 Sept) with as subject "Present and future challenges in developing a manycore RTOS"
More information on the SoC event is available at the SoC website [1]
| Attachment | Size |
|---|---|
| SoC Tampere 2010.pdf [2] | 837.25 KB |
| Tampere Sept 2010 tutorial FM vs Fverifpptx.pdf [3] | 570.36 KB |
| Tampere Sept 2010 tutorial An architecture for_.pdf [4] | 1.93 MB |