Workshop Agenda
WORKSHOP AGENDA
JUNE 21
12:00–13:00 Arrival and Welcome Lunch
13:00–14:00 Existing relevant NSF and EC Programs and Initiatives
13:00:13.30 Update: NSF Programs and US HCSS Coordinating Group
13:30:14:00 Aims of IST-NSF Cooperation in Embedded Systems
14:00–17:30 Session 1: (Meta-)Modeling and Compositional Design
14:00–14:20 Component-based Design
14:20–14:40 An SoC Architecture for the Composition of Components in an Embedded System
14:40–15:00 Networked Embedded Systems Design Challenges
15:00–15:20 Aspects of Composition in Metamodeling
15:20-15:40 Coffee Break
15:40–16:00 Some Compositionality Problems in High-Confidence Embedded Systems
16:00–16:20 On Composing High-Confidence Services ... on the Path to Tackling Complexity!
16:20–16:40 Towards Compositional Design for Distributed Embedded Systems
16:40–17:30 Open Discussion and Recommendations
17:30–19:30 Welcome Reception
JUNE 22
08:30–09:30 Plenary Session
Chair : Dr. Olli Venta, TEKES
IT Security in Industrial Systems
09:30-12:30 Session 2: Control of Networked Embedded Systems
09:30-09:45 Smart Embedded Components in Cross-Layer Collaborative Infrastructures
09:45-10:00
10:00-10:15 Challenges in Embedded Systems
10:15-10:30 Embedded software in cars – where software engineers and control engineers meet ... and still misunderstand
10:30-10:45 Coffee break
10:45-11:00 Networked Embedded Hybrid Control Systems
11:00-11:15 Symbolic Control of Dynamic Systems
11:15-11:30 Sensor and Actuator Networks – Research Challenges
11:30-11:45 Embedded Control Systems: Challenges and Opportunities
11:45-12:00 Challenges in Distributed Control in Specknets*
- Movie slides 11-12-16-17 because of space limitations, please contact author for the full version
12:00-13:00 Open Discussion
13:00–14:00 Working Lunch
14:00–16:00 Session 3: Cybersecurity for Embedded Control Systems
14:00–14:15 Cyber-Physical Systems: Beyond Sensor Webs
14:15–14:30 Control and Security of Networked Embedded Systems: Component Based Synthesis
14:30–14:45 Security challenges in systems-of-embedded-systems
14:45–15:00 Model-based Security Engineering
15:00–15:15 Predictable and Robust Data Distribution in Systems of Embedded Systems
15:15–15:30 Open Discussion
15:30–15:45 Coffee Break
15:45–17:30 Session 4: Certification and Metrics for High Confidence Systems
15:45–16:00 Certification and metrics challenges
16:00–16:15 Aviation Software Systems for the Second Century of Flight: Design for Certification
16:15–16:30 Something about certification (for stuff that can kill people or cost $ gazillions)
16:30–17:30 Open Discussion