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
Visit Site
|
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
Visit Site
|
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
Visit Site
|
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
Visit Site
|