Using Extended Predicate/Transition-Nets for the Specification, Analysis and Synthesis of Embedded Real-Time Systems
Jürgen Tacken · 1999
In recent years embedded systems have gained increasing importance. Due to the increasing functionality they have to be designed in teams with several specialists, each of them working on one single part of the whole system. But the focus in design is not only more functionality and higher performance but also safety and reliability criteria that have to be fulfilled by the designed components. This includes functional requirements as well as real-time constraints. These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.