Workshop Program

10:00 – 10:30 Welcome Coffee (Foyer)
10:30 – 11:00 In my opinion, SAS/CPS are…
11:00 – 12:30 F. Kneer, E. Kamsties:
Model-based Generation of a Requirements Monitor
Discussants: P. Battram
P. Battram, B. Kaiser, R. Weber:
A Modular Safety Assurance Method considering Multi- Aspect Contracts during CPS Design
Discussants: F. Kneer
12:30 – 14:00 Lunch (Restaurant)
14:00 – 15:30 J. Brings, A. Salmon, S. Saritas:
Context Uncertainty in RE: Definition of a Search Strategy for a Systematic Review and Preliminary Results
Discussants: N. Gol Mohammadi
T. Bandyszak, et al.:
CPS Design for Runtime Trustworthiness Maintenance Supported by Tools
Discussants: K. Albers
K. Albers, M. Dörfel:
Using timing paths to validate end-to-end requirements with methods of schedulability simulation and analysis
Discussants: J. Brings
15:30 – 16:00 Coffee Break (Foyer)
16:00 – 16:30 B. Tenoyo, et al.:
Developing Artifact with Concept Relationship Oriented Methodology, a Progress Report
A. Goldsteen, et al.:
A Tool for Monitoring and Maintaining System Trustworthiness at Runtime
16:30 – 17:00 The RESACS Game
17:00 – 17:30 Summary by the Organizers

2 Responses to Workshop Program

  1. Pingback: Workshop Program online! | RESACS 2015

  2. Pingback: Only two more weeks till @RESACS15! | RESACS 2015

Comments are closed.