Robert Karban

Robert Karban (* 1967 in Wien) ist ein österreichischer Informatiker und Systemingenieur, der für seine Beiträge zu Steuerungssystemen und modellbasiertem Systems Engineering bekannt ist. Er ist Software Systemingenieur am Jet Propulsion Laboratory (JPL)/California Institute of Technology (CalTech)

Leben und Wirken

Robert Karban erwarb seinen Master-Abschluss in Informatik an der Technischen Universität Wien und hat als Teamleiter und Entwickler für verteilte eingebettete Steuerungssysteme und modellbasierte digitale Engineering-Ökosysteme sowohl in der Industrie als auch in internationalen Forschungsorganisationen gearbeitet, u.a. bei CERN, an der Europäischen Südsternwarte (bis 2014) und dem Jet Propulsion Laboratory (JPL)). Dabei war er u.a. an der Entwicklung des Very Large Telescope sowie des Extremely Large Telescope (ELT) beteiligt.

Wissenschaftliche Beiträge

• Entwicklung der Methode für ausführbares Systems Engineering Executable Systems Engineering Method (ESEM)
• Entwicklung der Dragon Architecture für die formale explizite Qualifikation in der Systementwicklung
• Mitarbeit als Co-Autor an INCOSE's Systems Engineering Vision 2035
• Mitarbeit als Co-Vorsitzender und NASA-Vertreter am SysML OMG-Standard und Beteiligung an der Standardisierung von PSSM
• Beitrag zur Entwicklung des OMG OCSMP-Zertifizierungsprogramms

Auszeichnungen und Anerkennungen

• NASA Group Achievement Award: Auszeichnung für die Gründung und Leitung der OpenMBEE-Community von Praktikern, die eine Software für modellbasiertes Systems Engineering (MBSE) entwickelt haben
• JPL Principal für außergewöhnliche Führungs- und Innovationsleistungen in den Praktiken des Systems Engineerings, insbesondere bei der Modellierung und ausführbaren Simulation
• mehrere JPL Voyager Awards für seine Beiträge zum Thirty Meter Telescope, den Systems Engineering Cookbooks sowie für die Integration und Bereitstellung von Modellierungswerkzeugen
• Cameo Award für Modellierung, Simulation & Analyse Excellence
• INCOSE Working Group Awards

Publikationen (Auswahl)

• mit M. Zamparelli, B. Bauvir, B. Koehler, L. Noethe, A. Balestra: Exploring Model Based Engineering for Large Telescopes. SPIE 2008, doi:10.1117/12.788739
• mit David A. Wagner, Matthew B. Bennett, Robert, Nicolas Rouquette, Steven Jenkins et al.: An Ontology For State Analysis: Formalizing the Mapping to SysML. IEEE Aerospace Conference, 2012, doi:10.1109/AERO.2012.6187335
• mit Michele Zamparelli, Bertrand Bauvir, Gianluca Chiozzi: Three years of MBSE for a large scientific programme: Report from the Trenches of Telescope Modeling. INCOSE, 2012, doi:10.1002/j.2334-5837.2012.tb01421.x
• mit Luigi Andolfato, Marcus Schilling, Heiko Sommer, Michele Zamparelli, Gianluca Chiozzi:  Experiences in Applying Model Driven Engineering to the Telescope and Instrument Control System Domain. In: Model-Driven Engineering Languages and Systems (= Lecture Notes in Computer Science (LNCS)). Springer, 2014, ISBN 978-3-319-11653-2, S. 403-419, .
• mit L. Andolfato, P. Bristow, G. Chiozzi, M. Esselborn, M. Schilling, C. Schmid, H. Sommer, M. Zamparelli: Model based systems engineering for astronomical projects. In: SPIE, 2014, doi:10.1117/12.2055540
• mit Corrina Gibson, Luigi Andolfato, John Day: Abstraction for Executable and Checkable Fault Management Models. In: Procedia, 2014, doi:10.1016/j.procs.2014.03.019
• mit Corrina Gibson, Luigi Andolfato, John Day: Formal Validation of Fault Management Design Solutions. In: ACM, 2014, doi:10.1145/2557833.2560583
• mit Jean-Francois Castet, Matthew L. Rozek, Michel D. Ingham, Nicolas F. Rouquette et al.: Ontology and Modeling Patterns for State-Based Behavior Representation. AIAA Infotec, 2015, doi:10.2514/6.2015-1115
• mit Sebastian J. Herzig, Michel D. Ingham:  Towards a Reference Architecture for Model-Based Engineering Environments. In: AIAA SPACE, 2016. 2016, ISBN 978-1-62410-427-5, .
• mit Frank G. Dekens, Sebastian Herzig, Maged Elaasar, Nerijus Jankevičius:  Creating system engineering products with executable models in a model-based engineering environment. In: Proceedings Volume 9911, Modeling, Systems Engineering, and Project Management for Astronomy VII. SPIE Digital Library, 2016, .
• mit Nerijus Jankevičius, Maged Elaasar:  ESEM: Automated System Analysis using Executable SysML Modeling Patterns. In: INCOSE International Symposium. 16, Nr. 1, 2016, .
• mit Amanda G. Crawford, Gelys Trancho, Michele Zamparelli, Sebastian Herzig, Ivan Gomes et al.:  The OpenSE Cookbook: a practical, recipe based collection of patterns, procedures, and best practices for executable systems engineering for the Thirty Meter Telescope. In: Proceedings Volume 10705, Modeling, Systems Engineering, and Project Management for Astronomy VIII. SPIE Digital Library, 2018, .
• mit L. Andolfato:  Goal oriented architecture for telescope control software. In: Proc. SPIE 11452, Software and Cyberinfrastructure for Astronomy VI. SPIE Digital Library, 2020, .
• mit Benedek Horváth, Bence Graics, Ákos Hajdu, István Ráth et al.:  Model checking as a service: towards pragmatic hidden formal methods. In: MODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings. Nr. Artikel Nr. 37, ACM Digital Library, 2020, .
• mit Thomas Boyer Chammard, Blake Regalia, Ivan Gomes:  Assisted Authoring of Model-Based Systems Engineering Documents. In: MODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings. Nr. Artikel Nr. 36, ACM Digital Library, 2020, .
• mit Steven Ardito; Myra Lattimore; Todd Bayer; Marco Quadrelli; Aaron Black et al.:  Towards a Model-Based Product Development Process from Early Concepts to Engineering Implementation. In: IEEE Explore. 2022, ISBN 978-1-6654-9032-0, ISSN 1095-323X, .
• mit Myra Lattimore; Marie Piette Gomez; Emilee Bovre; Glenn E. Reeves et al.:  A Model-Based Approach for Europa Lander Mission Concept Exploration. In: 2022 IEEE Aerospace Conference (AERO). Big Sky, MT 2022, ISSN 1095-323X, .
• mit Benedek Horváth, Vince Molnár, Bence Graics, Ákos Hajdu, István Ráth et al.:  Pragmatic Verification and Validation of Industrial Executable SysML Models. In: Systems Engineering. Wiley, 10. Mai 2023, ISSN 1520-6858, .

Weblinks

• Veröffentlichungen von und über Robert Karban auf dem Dokumentenserver Researchgate
• OpenMBEE OpenSE Cookbook