max. Geschwindigkeit 288 km / h ;
elektromechanische 6-Komponenten-Waage mit Prozessrechner;
www.ivk.uni-stuttgart.deMax. velocity 288 km / h ;
Electromechanical 6-component scale with process computer;
www.ivk.uni-stuttgart.deDiese erlauben auch die algorithmische Analyse der Steuerungen mittels Model Checking.
Im Anschluss wird durch automatische Codegenerierung die Steuerung auf die entsprechenden Prozessrechner übertragen.
© 2004-2013 TU Ilmenau
www.tu-ilmenau.deThis makes it possible to algorithmically analyze the control using model checking.
Finally, the code of the controller is automatically generated and transferred to the computing hardware.
© 2004-2013 TU Ilmenau
www.tu-ilmenau.deVuoi aggiungere una parola, una frase o una traduzione?
Inserisci una nuova voce.