Towards Automatic Design and Verification for Level 3 of the European Train Control System.
Robert WilleTom PehamJudith PrzigodaNils PrzigodaPublished in: DATE (2021)
Keyphrases
- control system
- design principles
- functional verification
- decision making
- formal methods
- levels of abstraction
- design methodology
- user interface
- real time
- engineering design
- design process
- object oriented
- virtual instrument
- formal verification
- design decisions
- control algorithm
- knowledge based systems
- fuzzy logic
- mobile robot
- expert systems
- website
- e learning
- artificial intelligence
- information retrieval
- data sets