ERTLEmbedded Real-Time Systems Laboratory

Software Analytics Group


In order to support embedded software development, we have researched on requirements specification analysis tools using natural language processing technology and design model extraction tools from programs.

Research topics

  • Requirement specification analysis tool using natural language processing technology
  • Design model extraction tool from program
  • Quantitative Investigation of Fuzzing Testing Tools
  • Quantitative Investigation of Symbolic Execution Tools



  • Hiroaki Takada
  • Norihiro Yoshida


  • Ryota Yamamoto
  • Naru Nakamura
  • Takahiro Shimizu
  • Natuki Tuzuki
  • Kenya Okano