CADOS Formalisierte Verfahrenstechnik für zeitreale Analyse von Arbeitsabläufen, eindeutiger Spezifikation, technischer Konstruktion, anwendungsorientierte Simulation und automatisches Coding. Beschreibungssprache IORL. Hersteller Siemens AG, München-Perlach.