Robert Karban: Unterschied zwischen den Versionen

Aus Regiowiki
Zur Navigation springen Zur Suche springen
(→‎Publikationen (Auswahl): Doi Vorlage, Sprachparameter raus (ergibt sich aus Titel), Lückenhaft: Co-Autoren fehlen)
(→‎Publikationen (Auswahl): Co-Autoren erg. Teilbearb.)
Zeile 24: Zeile 24:
{{Lückenhaft|Ko-Autoren und präzise Namen der Fachzeitschriften fehlen
{{Lückenhaft|Ko-Autoren und präzise Namen der Fachzeitschriften fehlen
}}
}}
* {{Literatur |Autor=Robert Karban |Titel=Pragmatic Verification and Validation of Industrial Executable SysML Models |Sammelwerk=Systems Engineering |Verlag=Wiley |Datum=2023-05-10 |ISSN=1520-6858 |DOI=10.1002/sys.21679 |Typ=wl}}
 
* {{Literatur |Autor=Robert Karban |Titel=Towards a Model-Based Product Development Process from Early Concepts to Engineering Implementation |Hrsg= |Sammelwerk=IEEE Explore |Datum=2022 |ISBN=978-1-6654-9032-0 |Seiten= |Spalten= |ArtikelNr= |Fundstelle= |ISSN=1095-323X |DOI=10.1109/AERO55745.2023.10115550 |Typ=wl}}
* mit Benedek Horváth, Vince Molnár, Bence Graics, Ákos Hajdu, István Ráth et al.: {{Literatur |Autor=Robert Karban |Titel=Pragmatic Verification and Validation of Industrial Executable SysML Models |Sammelwerk=Systems Engineering |Verlag=Wiley |Datum=2023-05-10 |ISSN=1520-6858 |DOI=10.1002/sys.21679 |Typ=wl}}
* {{Literatur |Autor=Robert Karban |Titel=A Model-Based Approach for Europa Lander Mission Concept Exploration |Hrsg= |Sammelwerk=2022 IEEE Aerospace Conference (AERO) |Ort=Big Sky, MT |Datum=2022 |ISSN=1095-323X |DOI=10.1109/AERO53065.2022.9843241 |Typ=wl}}
* mit  Steven Ardito; Myra Lattimore; Todd Bayer; Marco Quadrelli; Aaron Black et al.: {{Literatur |Autor=Robert Karban |Titel=Towards a Model-Based Product Development Process from Early Concepts to Engineering Implementation |Hrsg= |Sammelwerk=IEEE Explore |Datum=2022 |ISBN=978-1-6654-9032-0 |Seiten= |Spalten= |ArtikelNr= |Fundstelle= |ISSN=1095-323X |DOI=10.1109/AERO55745.2023.10115550 |Typ=wl}}
* {{Literatur |Autor=Robert Karban |Titel=Goal oriented architecture for telescope control software |Sammelwerk=Proc. SPIE 11452, Software and Cyberinfrastructure for Astronomy VI |Verlag=SPIE Digital Library |Datum=2020 |DOI=10.1117/12.2575434 |Typ=wl}}
* mit Myra Lattimore; Marie Piette Gomez; Emilee Bovre; Glenn E. Reeves et al.: {{Literatur |Autor=Robert Karban |Titel=A Model-Based Approach for Europa Lander Mission Concept Exploration |Hrsg= |Sammelwerk=2022 IEEE Aerospace Conference (AERO) |Ort=Big Sky, MT |Datum=2022 |ISSN=1095-323X |DOI=10.1109/AERO53065.2022.9843241 |Typ=wl}}
* {{Literatur |Autor=Robert Karban |Titel=Model checking as a service: towards pragmatic hidden formal methods |Sammelwerk=MODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings |Nummer=Artikel Nr. 37 |Verlag=ACM Digital Library |Datum=2020-10 |DOI=10.1145/3417990.3421407 |Typ=wl}}
* mit L. Andolfato: {{Literatur |Autor=Robert Karban |Titel=Goal oriented architecture for telescope control software |Sammelwerk=Proc. SPIE 11452, Software and Cyberinfrastructure for Astronomy VI |Verlag=SPIE Digital Library |Datum=2020 |DOI=10.1117/12.2575434 |Typ=wl}}
* {{Literatur |Autor=Robert Karban |Titel=Assisted Authoring of Model-Based Systems Engineering Documents |Sammelwerk=MODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings |Nummer=Artikel Nr. 36 |Verlag=ACM Digital Library |Datum=2020-10 |DOI=10.1145/3417990.3421406 |Typ=wl}}
* mit Benedek Horváth, Bence Graics, Ákos Hajdu, István Ráth et al.: {{Literatur |Autor=Robert Karban |Titel=Model checking as a service: towards pragmatic hidden formal methods |Sammelwerk=MODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings |Nummer=Artikel Nr. 37 |Verlag=ACM Digital Library |Datum=2020-10 |DOI=10.1145/3417990.3421407 |Typ=wl}}
* {{Literatur |Autor=Robert Karban |Titel=The OpenSE Cookbook: a practical, recipe based collection of patterns, procedures, and best practices for executable systems engineering for the Thirty Meter Telescope |Sammelwerk=Proceedings Volume 10705, Modeling, Systems Engineering, and Project Management for Astronomy VIII |Verlag=SPIE Digital Library |Datum=2018 |DOI=10.1117/12.2312281 |Typ=wl}}
* mit Thomas Boyer Chammard, Blake Regalia, Ivan Gomes: {{Literatur |Autor=Robert Karban |Titel=Assisted Authoring of Model-Based Systems Engineering Documents |Sammelwerk=MODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings |Nummer=Artikel Nr. 36 |Verlag=ACM Digital Library |Datum=2020-10 |DOI=10.1145/3417990.3421406 |Typ=wl}}
* ''Towards a Reference Architecture for Model-Based Engineering Environments.'' AIAA SPACE, 2016,  {{DOI|10.2514/6.2016-5468}}
* mit Amanda G. Crawford, Gelys Trancho, Michele Zamparelli, Sebastian Herzig, Ivan Gomes et al.: {{Literatur |Autor=Robert Karban |Titel=The OpenSE Cookbook: a practical, recipe based collection of patterns, procedures, and best practices for executable systems engineering for the Thirty Meter Telescope |Sammelwerk=Proceedings Volume 10705, Modeling, Systems Engineering, and Project Management for Astronomy VIII |Verlag=SPIE Digital Library |Datum=2018 |DOI=10.1117/12.2312281 |Typ=wl}}
* ''Creating system engineering products with executable models in a model-based engineering environment.'' SPIE, 2016, {{DOI|10.1117/12.2232785}}
* mit Sebastian J. Herzig, Michel D. Ingham: ''Towards a Reference Architecture for Model-Based Engineering Environments.'' AIAA SPACE, 2016,  {{DOI|10.2514/6.2016-5468}}
* ''ESEM: Automated System Analysis using Executable SysML Modeling Patterns.'' INCOSE, 2016, {{DOI|10.1002/j.2334-5837.2016.00142.x}}
* mit  Frank G. Dekens'','' Sebastian Herzig'','' Maged Elaasar, Nerijus Jankevičius: ''Creating system engineering products with executable models in a model-based engineering environment.'' SPIE, 2016, {{DOI|10.1117/12.2232785}}
* mit Nerijus Jankevičius, Maged Elaasar: ''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}}
* ''Ontology and Modeling Patterns for State-Based Behavior Representation.'' AIAA Infotec, 2015, {{DOI|10.2514/6.2015-1115}}
* {{Literatur |Autor=Robert Karban |Titel=Experiences in Applying Model Driven Engineering to the Telescope and Instrument Control System Domain |Hrsg= Juergen Dingel, Wolfram Schulte, Isidro Ramos, Silvia Abrahão, Emilio Insfran |Sammelwerk=Model-Driven Engineering Languages and Systems |Verlag=Springer |Datum=2014 |Reihe=Lecture Notes in Computer Science (LNCS) |BandReihe=8767 |ISBN=978-3-319-11653-2 |Seiten=403-419 |DOI=10.1007/978-3-319-11653-2_25 |Typ=wl}}
* {{Literatur |Autor=Robert Karban |Titel=Experiences in Applying Model Driven Engineering to the Telescope and Instrument Control System Domain |Hrsg= Juergen Dingel, Wolfram Schulte, Isidro Ramos, Silvia Abrahão, Emilio Insfran |Sammelwerk=Model-Driven Engineering Languages and Systems |Verlag=Springer |Datum=2014 |Reihe=Lecture Notes in Computer Science (LNCS) |BandReihe=8767 |ISBN=978-3-319-11653-2 |Seiten=403-419 |DOI=10.1007/978-3-319-11653-2_25 |Typ=wl}}

Version vom 13. September 2023, 12:41 Uhr

Qsicon Fokus2.svg Dieser Artikel wurde am 12. September 2023 auf den Seiten der Qualitätssicherung eingetragen. Bitte hilf mit, ihn zu verbessern, und beteilige dich bitte an der Diskussion!
Folgendes muss noch verbessert werden: SD mit den üblichen Problemen, Relevanz nicht ganz offensichtlich Flossenträger 10:12, 12. Sep. 2023 (CEST)
Dieser Artikel oder nachfolgende Abschnitt ist nicht hinreichend mit Belegen (beispielsweise Einzelnachweisen) ausgestattet. Die fraglichen Angaben werden daher möglicherweise demnächst entfernt. Bitte hilf der RegiowikiAT, indem du die Angaben recherchierst und gute Belege einfügst.
In diesem Artikel oder Abschnitt fehlen folgende wichtige Informationen: Wichtige Angaben zum Werdegang (Studium) fehlen


Du kannst RegiowikiAT helfen, indem du sie recherchierst und einfügst, aber kopiere bitte keine fremden Texte in diesen Artikel. Wie du mitschreiben kannst, findest du hier.

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)[1]

Leben und Wirken

Robert Karban 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)[2] imd Jet Propulsion Laboratory (JPL))[1]. Dabei war er u.a. an der Entwicklung des Very Large Telescope[3] sowie des Extremely Large Telescope (ELT) beteiligt.[4]

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: 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)

In diesem Artikel oder Abschnitt fehlen folgende wichtige Informationen: Ko-Autoren und präzise Namen der Fachzeitschriften fehlen


Du kannst RegiowikiAT helfen, indem du sie recherchierst und einfügst, aber kopiere bitte keine fremden Texte in diesen Artikel. Wie du mitschreiben kannst, findest du hier.

  • 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, .
  • 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 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 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 Sebastian J. Herzig, Michel D. Ingham: Towards a Reference Architecture for Model-Based Engineering Environments. AIAA SPACE, 2016, doi:10.2514/6.2016-5468
  • mit Frank G. Dekens, Sebastian Herzig, Maged Elaasar, Nerijus Jankevičius: Creating system engineering products with executable models in a model-based engineering environment. SPIE, 2016, doi:10.1117/12.2232785
  • mit Nerijus Jankevičius, Maged Elaasar: 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. In: Model-Driven Engineering Languages and Systems (= Lecture Notes in Computer Science (LNCS)). Springer, 2014, ISBN 978-3-319-11653-2, S. 403-419, .
  • Model based systems engineering for astronomical projects. In: SPIE, 2014, doi:10.1117/12.2055540
  • Abstraction for Executable and Checkable Fault Management Models. In: Procedia, 2014, doi:10.1016/j.procs.2014.03.019
  • Formal Validation of Fault Management Design Solutions. In: 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
  • mit M. Zamparelli, B. Bauvir et al.: 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.

Weblinks

Einzelnachweise

  1. 1,0 1,1 Robert Karban. In: SPIE Digital Library. Abgerufen am 13. September 2023 (english).
  2.  Personnel Movements. In: The Messenger (Fachzeitschrift). Nr. 156, Europäische Südsternwarte (ESO), 2014, ISSN 0722-6691, S. 62 (https://www.eso.org/sci/publications/messenger/archive/no.156-jun14/messenger-no156.pdf). Abrufbar unter The Messenger. Abgerufen am 13. September 2023 (english).
  3.  The First Steps of UT1. In: The Messenger (Fachzeitschrift). Nr. 93, Europäische Südsternwarte (ESO), 1998, ISSN 0722-6691, S. 4–8 (https://www.eso.org/sci/publications/messenger/archive/no.93-sep98/messenger-no93.pdf). Abrufbar unter The Messenger. Abgerufen am 13. September 2023 (english).
  4.  Recent Progress Towards the European Extremely Large Telescope (E-ELT). In: The Messenger (Fachzeitschrift). Nr. 148, Europäische Südsternwarte (ESO), 2012, ISSN 0722-6691, S. 2–8 (https://www.eso.org/sci/publications/messenger/archive/no.148-jun12/messenger-no148.pdf). Abrufbar unter The Messenger. Abgerufen am 13. September 2023 (english).