Subscribe to RSS Feed (Opens in New Window)

Schedule
2017
Wednesday, January 4th
12:00 AM

A Model-Based Engineering Methodology for Requirements and Formal Design of Embedded and Real-Time Systems

Fabíola Gonçalves, Federal Institute Goiano
Achim Rettberg, Carl von Ossietzky University Oldenburg
Carlos Pereira, Federal University of Rio Grande do Sul
Michel Soares, Federal University of Sergipe

Hilton Waikoloa Village, Hawaii

12:00 AM - 12:00 AM

12:00 AM

Applying MARTE Profile for Optimal Automotive System Specifications and Design

Fabíola Gonçalves, Federal Institute Goiano
Achim Rettberg, Carl von Ossietzky University Oldenburg
Carlos Pereira, Federal University of Rio Grande do Sul
Michel Soares, Federal University of Sergipe

Hilton Waikoloa Village, Hawaii

12:00 AM - 12:00 AM

12:00 AM

Introduction to Metrics, Models, and Simulation for Cyber-Physical Systems Minitrack

Barry Ezell, Old Dominion University
Luanne Chamberlain, Johns Hopkins University Applied Physics Lab

Hilton Waikoloa Village, Hawaii

12:00 AM - 12:00 AM

12:00 AM

Investigating and Coordinating Safety-critical Feature Interactions in Automotive Systems Using Simulation

Christoph Luckeneder, TU Wien, ICT
Michael Rathmair, TU Wien, ICT
Hermann Kaindl, Institute of Computer Technology, TU Wien

Hilton Waikoloa Village, Hawaii

12:00 AM - 12:00 AM