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.

Karriere

Robert Karban hat eine umfangreiche Karriere in den Bereichen Informatik und Systemtechnik. Er hat als Teamleiter und Entwickler für verteilte eingebettete Steuerungssysteme und modellbasierte digitale Engineering-Ökosysteme sowohl in der Industrie als auch in internationalen Forschungsorganisationen gedient. Bemerkenswerte Institutionen, mit denen er zusammengearbeitet hat, sind CERN, ESO (Europäische Südsternwarte), und JPL (Jet Propulsion Laboratory).

Beiträge

• Entwicklung der Methode für ausführbares Systems Engineering - 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: Robert wurde für die Gründung und Leitung der OpenMBEE-Community von Praktikern, die eine Software für modellbasiertes Systems Engineering (MBSE) entwickelt haben, ausgezeichnet.
• JPL Principal: Er erhielt die Bezeichnung 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.
• JPL Voyager Awards: Robert erhielt 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: Er wurde für die branchenweite Auswirkung seiner Arbeit geehrt.
• INCOSE Working Group Awards: Robert leitete und trug zu Challenge-Teams innerhalb der INCOSE MBSE Initiative bei, um die Praktiken des modellbasierten Systems Engineerings voranzubringen.

Publikationen

Robert Karban hat zahlreiche Publikationen mitverfasst, darunter:

• "Pragmatic Verification and Validation of Industrial Executable SysML Models" (Wiley Systems Engineering Journal, 2023), DOI: 10.1002.sys.21679
• "Towards a Model-Based Product Development Process from Early Concepts to Engineering Implementation" (IEEE Aerospace Conference, 2023), ISSN: 1095-323X
• "A Model-Based Approach for Europa Lander Mission Concept Exploration" (IEEE Aerospace Conference, 2022), ISSN: 1095-323X
• "Goal oriented architecture for telescope control software" (SPIE Conference, 2020), DOI: 10.1117.12.2575434
• "Model checking as a service: towards pragmatic hidden formal methods", ACM, 2020), DOI: 10.1145.3417990.3421407
• "Assisted Authoring of Model-Based Systems Engineering Documents", (ACM, 2020), DOI: 10.1145.3417990.3421406
• "The OpenSE Cookbook: a practical, recipe based collection of patterns, procedures, and best practices for executable systems engineering for the Thirty Meter Telescope", SPIE 2018, DOI: 10.1117.12.2312281
• "Analyzing the operational behavior of the alignment and phasing system of the thirty meter telescope using SysML", (AOELT 2017)
• "Towards a Reference Architecture for Model-Based Engineering Environments", (AIAA SPACE, 2016), DOI: 10.2514/6.2016-5468
• "Creating system engineering products with executable models in a model-based engineering environment", (SPIE, 2016), DOI: 10.1117/12.2232785
• "ESEM: Automated System Analysis using Executable SysML Modeling Patterns", (INCOSE, 2016), DOI: 10.1002/j.2334-5837.2016.00142.x
• "Ontology and Modeling Patterns for State-Based Behavior Representation, (AIAA Infotec, 2015), DOI: 10.2514/6.2015-1115
• "Experiences in Applying Model Driven Engineering to the Telescope and Instrument Control System Domain", (Springer, 2014), ISBN: 978-3-319-11653-2_25
• "Model based systems engineering for astronomical projects", (SPIE, 2014), DOI: 10.1117/12.2055540
• "Abstraction for Executable and Checkable Fault Management Models", (Procedia, 2014), DOI: 10.1016/j.procs.2014.03.019
• "Formal Validation of Fault Management Design Solutions" (ACM, 2014), DOI: 10.1145/2557833.2560583
• "An Ontology For State Analysis: Formalizing the Mapping to SysML", (IEEE Aerospace Conference, 2012), DOI: 10.1109/AERO.2012.6187335
• "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
• "Towards a State Based Control Architecture for Large Telescopes: Laying a Foundation at the VLT", (ICALEPCS, 2011)
• "Towards Model Re-Usability for the Development of Telescope Control Systems", (ICALEPCS, 2009)
• "Exploring Model Based Engineering for Large Telescopes", (SPIE 2008), DOI: 10.1117.12.788739

Ausbildung

Er erwarb seinen Master-Abschluss in Informatik an der Technischen Universität Wien, Österreich.

Externe Links:

• OpenMBEE Community
• OpenMBEE OpenSE Cookbook
• ESEM
• Dragon Architecture