Component-Based Design and Analysis of Embedded Systems with UPPAAL PORT.

John Håkansson Jan Carlson Aurelien Monot Paul Pettersson Davor Slutej

Published in: ATVA (2008)

Keyphrases

embedded systems
hw sw
embedded devices
low cost
case study
processing power
hardware software
embedded software
software systems
resource limited
artificial intelligence
cooperative
object oriented
design process
real time systems
design rationale