Comparing the Specification of a Near-Real Time Commanding System Using Statecharts and AADL.

Sudhanwa Kholgade Jamie White Hassan Reza

Published in: ITNG (2007)

Keyphrases

real time
reactive systems
formal methods
databases
low cost
test case generation
high level
control system
software design
real time systems
state machine
artificial intelligence
relational databases
high speed
test cases
conceptual modeling