Login / Signup

Timed behavioural modelling and affine scheduling of embedded software architectures in the AADL using Polychrony.

Loïc BesnardAdnan BouakazThierry GautierPaul Le GuernicYue MaJean-Pierre TalpinHuafeng Yu
Published in: Sci. Comput. Program. (2015)
Keyphrases
  • embedded software
  • embedded systems
  • petri net
  • software architecture
  • development projects
  • sequence diagrams
  • test cases
  • data mining
  • distributed systems