An MDE methodology for the development of high-integrity real-time systems.

Silvia Mazzini Stefano Puri Tullio Vardanega

Published in: DATE (2009)

Keyphrases

real time systems
embedded real time systems
real time
case study
distributed systems
information processing
embedded systems
real time embedded
software engineering
object oriented programming language
soft systems
cooperative
knowledge management
petri net
timing constraints