LCCC-ACCESS May 2015 Workshop Program
Monday, May 4 - Research Workshop
Tuesday, May 5 - Research Workshop
08:00 | Registration at the Ideon Agora |
08:30 | Model Based Continuous Engineering: How to Reduce Overhead and Increase Value of MBE
Michael Masin, IBM
Integrating MBSE with the Product Lifecycle -- Current Status and Future Issues
Mark Sampson, Siemens
|
10:00 | Coffee |
10:30 | Research Directions for Developing a Rigorous Foundation for MBSE
Christiaan Paredis, USA National Science Foundation
Insights on Applicability of MBSE & Use of MBSE in Optimization of System Design
Michel Chaudron, Chalmers
|
12:00 | Lunch |
13:00 | Contracts for System Design
Albert Benveniste, IRISA-INRIA
First-Order Theorem Proving and Program Analysis
Laura Kovacs, Chalmers
|
14:30 | Coffee |
15:00 | Scalable (yet Precise) Timing Analysis
Wang Yi, Uppsala University
Towards a Rigorous Framework for MBSE and Applications
John Baras, University of Maryland College Park
|
16:30 | Brief break |
16:45 | Concluding Panel and Discussion |
18:00 | End of day |
Wednesday, May 6 - Education Workshop
08:00 | Registration at the Ideon Agora |
08:30 | Welcoming remarks - Anders Rantzer and Karl Henrik Johansson |
08:35 | Scope and outline of the workshop - John Baras |
08:45 | Foundational Skills for Systems Engineers in 2030
Paul Collopy, University of Alabama Huntsville
Preparing Students for Systems Engineering Challenges of the Future
Christiaan Paredis, USA National Science Foundation
|
10:15 | Coffee |
10:45 | Experiences of Teaching Real-Time Systems to Control Engineers
Karl-Erik Årzén, Lund University
Successes and Challenges in MBSE Education: from High School to Post-Graduate
John Baras, University of Maryland College Park
|
12:15 | Lunch |
13:15 | Concluding Panel and Discussion |
14:30 | Final remarks - end of the workshop |