Shangyu Chen

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
East-ADL is an architectural description language dedicated to safety-critical automotive embedded system design. We have previously modified East-adl to include energy constraints and transformed energy-aware real-time behavioral constraints in East-adl into analyzable Uppaal models. In this paper, we extend our previous work by including support for(More)
  • 1