Conference Program
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
Design and Verification Track
| DVT-1 | 11.16 [wed] 10:00-10:45 Annex Hall[F204] | ||
| "Embedded system developer and Drucker's ... " | ||
| - Innovation that makes projects successful - | ||
|
» Page Top
| DVT-2 | 11.16 [wed] 11:00-11:45 Annex Hall[F204] | ||
| To what extent can modeling be expressed? | ||
| - Future modeling expression using Argo Embetics. - | ||
|
» Page Top
| DVT-3 | 11.16 [wed] 12:00-12:45 Annex Hall[F204] | ||
| UML for beginners: a practical idea | ||
| - Starting the bottom-up and top-down approach with existing C/C++ code analysis - | ||
|
» Page Top
| DVT-4 | 11.16 [wed] 13:00-13:45 Annex Hall[F204] | ||
| Applying Cloud Technology to Improve Efficiency of Software Development | ||
| - Improve efficiency, optimize, and automate for high quality software development - | ||
|
» Page Top
| DVT-5 | 11.16 [wed] 14:00-14:45 Annex Hall[F204] | ||
| Model Based Development for EV, HEV and Smart Energy | ||
| - Application of MBD to develop motors, batteries and digital power supplies - | ||
|
» Page Top
| DVT-6 | 11.16 [wed] 15:00-15:45 Annex Hall[F204] | ||
| Strategic embedded software modeling | ||
| - Using a model for software life cycles - | ||
|
» Page Top
| DVT-7 | 11.16 [wed] 16:00-16:45 Annex Hall[F204] | ||
| Verification of System Specifications using Model Based Development | ||
| - Introduction of Modeling and Simulation Techniques - | ||
|
» Page Top
| DVT-8 | 11.17 [thu] 10:00-10:45 Annex Hall[F204] | ||
| Do you know? The RISK involved in using of Open Source Software for embedded development. | ||
|
» Page Top
| DVT-9 | 11.17 [thu] 11:00-11:45 Annex Hall[F204] | ||
| Verification of Automotive Systems Using Virtual HILS and Functional Safety Solutions Considering Advanced Fault-Injection Methods | ||
|
» Page Top
| DVT-10 | 11.17 [thu] 12:00-12:45 Annex Hall[F204] | ||
| Prevent Java Programming Mistakes during Android Application Development | ||
|
» Page Top
| DVT-11 | 11.17 [thu] 13:00-13:45 Annex Hall[F204] | ||
| Perfect anatomy! The challenge of platform type software development | ||
| - The increasingly complex Android system! Tuning the performance of Java/Multicore SMP - | ||
|
» Page Top
| DVT-12 | 11.17 [thu] 14:00-14:45 Annex Hall[F204] | ||
| The Concept and Practice for Testing Multi-Tasking Real-time Systems | ||
|
» Page Top
| DVT-13 | 11.17 [thu] 15:00-15:45 Annex Hall[F204] | ||
| Multicore System Development with Open Source and Performance Analysis | ||
|
» Page Top
| DVT-14 | 11.17 [thu] 16:00-16:45 Annex Hall[F204] | ||
| The Most Recent Status of Debugging for Multicore Systems | ||
| - Evolution of the on-chip debugging functions and OS level debugging - | ||
|
» Page Top
| DVT-15 | 11.18 [fri] 10:00-10:45 Annex Hall[F204] | ||
| Accelerating System Development by using Virtual Software Development Platform for Microcontrollers | ||
| - Example advanced software development for FM3 microcomputers - | ||
|
» Page Top
| DVT-16 | 11.18 [fri] 11:00-11:45 Annex Hall[F204] | ||||
| Improvement of the software development process using static analysis tools | ||||
|
» Page Top
| DVT-17 | 11.18 [fri] 12:00-12:45 Annex Hall[F204] | ||
| Functional safety support tools you can start using today | ||
|
» Page Top
| DVT-18 | 11.18 [fri] 13:00-13:45 Annex Hall[F204] | ||
| Continuous testing and building using the Continuous Integration (CI) tool "Jenkins" and testing tools | ||
|
» Page Top
| DVT-19 | 11.18 [fri] 14:00-14:45 Annex Hall[F204] | ||
| Static analysis solution for mathematically verifying program quality | ||
|
» Page Top
| DVT-20 | 11.18 [fri] 15:00-15:45 Annex Hall[F204] | ||
| Power of Static Analysis | ||
| - Fastest analyzing speed achieves integration of static analysis processes - | ||
|
» Page Top
| DVT-21 | 11.18 [fri] 16:00-16:45 Annex Hall[F204] | ||
| Tools to support Japanese software quality | ||
|
» Page Top




















