Robert Karban: Unterschied zwischen den Versionen

Aus ÖsterreichWiki
Zur Navigation springen Zur Suche springen
(Satzbau, Struktur, Bio lückenhaft)
(→‎Publikationen (Auswahl): Doi Vorlage, Sprachparameter raus (ergibt sich aus Titel), Lückenhaft: Co-Autoren fehlen)
Zeile 22: Zeile 22:


== Publikationen (Auswahl) ==
== Publikationen (Auswahl) ==
* {{Literatur |Autor=Robert Karban |Titel=Pragmatic Verification and Validation of Industrial Executable SysML Models |Sammelwerk=Systems Engineering |Verlag=Wiley |Datum=2023-05-10 |Sprache=en |ISSN=1520-6858 |DOI=10.1002/sys.21679 |Typ=wl}}
{{Lückenhaft|Ko-Autoren und präzise Namen der Fachzeitschriften fehlen
* {{Literatur |Autor=Robert Karban |Titel=Towards a Model-Based Product Development Process from Early Concepts to Engineering Implementation |Hrsg= |Sammelwerk=IEEE Explore |Datum=2022 |Sprache=en |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=A Model-Based Approach for Europa Lander Mission Concept Exploration |Hrsg= |Sammelwerk=2022 IEEE Aerospace Conference (AERO) |Ort=Big Sky, MT |Datum=2022 |Sprache=en |ISSN=1095-323X |DOI=10.1109/AERO53065.2022.9843241 |Typ=wl}}
* {{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=Goal oriented architecture for telescope control software |Sammelwerk=Proc. SPIE 11452, Software and Cyberinfrastructure for Astronomy VI |Verlag=SPIE Digital Library |Datum=2020 |Sprache=en |DOI=10.1117/12.2575434 |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}}
* {{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 |Sprache=en |DOI=10.1145/3417990.3421407 |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}}
* {{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 |Sprache=en |DOI=10.1145/3417990.3421406 |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}}
* {{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 |Sprache=en |DOI=10.1117/12.2312281 |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}}
* "Analyzing the operational behavior of the alignment and phasing system of the thirty meter telescope using SysML", (AOELT 2017)
* {{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}}
* {{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]]
* ''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]]
* ''Creating system engineering products with executable models in a model-based engineering environment.'' SPIE, 2016, {{DOI|10.1117/12.2232785}}
* "Ontology and Modeling Patterns for State-Based Behavior Representation, (AIAA Infotec, 2015), [[DOI:10.2514/6.2015-1115]]
* ''ESEM: Automated System Analysis using Executable SysML Modeling Patterns.'' INCOSE, 2016, {{DOI|10.1002/j.2334-5837.2016.00142.x}}
* {{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 |Sprache=en |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}}
* ''Ontology and Modeling Patterns for State-Based Behavior Representation.'' AIAA Infotec, 2015, {{DOI|10.2514/6.2015-1115}}
* "Model based systems engineering for astronomical projects", (SPIE, 2014), [[DOI:10.1117/12.2055540]]
* {{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}}
* "Abstraction for Executable and Checkable Fault Management Models", (Procedia, 2014), [[DOI:10.1016/j.procs.2014.03.019]]
* ''Model based systems engineering for astronomical projects.'' In: SPIE, 2014, {{DOI|10.1117/12.2055540}}
* "Formal Validation of Fault Management Design Solutions" (ACM, 2014), [[DOI:10.1145/2557833.2560583]]
* ''Abstraction for Executable and Checkable Fault Management Models.'' In: Procedia, 2014, {{DOI|10.1016/j.procs.2014.03.019}}
* "An Ontology For State Analysis: Formalizing the Mapping to SysML", (IEEE Aerospace Conference, 2012), [[DOI:10.1109/AERO.2012.6187335]]
* ''Formal Validation of Fault Management Design Solutions.'' In: ACM, 2014, {{DOI|10.1145/2557833.2560583}}
* "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]]
* ''An Ontology For State Analysis: Formalizing the Mapping to SysML''. IEEE Aerospace Conference, 2012, {{DOI|10.1109/AERO.2012.6187335}}
* "Towards a State Based Control Architecture for Large Telescopes: Laying a Foundation at the VLT", (ICALEPCS, 2011)
* ''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 Model Re-Usability for the Development of Telescope Control Systems", (ICALEPCS, 2009)
* mit M. Zamparelli, B. Bauvir et al.: ''Exploring Model Based Engineering for Large Telescopes.'' SPIE 2008, {{DOI|10.1117/12.788739}}
* "Exploring Model Based Engineering for Large Telescopes", (SPIE 2008), [[DOI:10.1117/12.788739]]


== Ausbildung ==
== Ausbildung ==

Version vom 13. September 2023, 10:31 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 dem ÖsterreichWiki, 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 ÖsterreichWiki 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 ÖsterreichWiki helfen, indem du sie recherchierst und einfügst, aber kopiere bitte keine fremden Texte in diesen Artikel. Wie du mitschreiben kannst, findest du hier.

  •  Pragmatic Verification and Validation of Industrial Executable SysML Models. In: Systems Engineering. Wiley, 10. Mai 2023, ISSN 1520-6858, .
  •  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, .
  •  A Model-Based Approach for Europa Lander Mission Concept Exploration. In: 2022 IEEE Aerospace Conference (AERO). Big Sky, MT 2022, ISSN 1095-323X, .
  •  Goal oriented architecture for telescope control software. In: Proc. SPIE 11452, Software and Cyberinfrastructure for Astronomy VI. SPIE Digital Library, 2020, .
  •  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, .
  •  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, .
  •  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, .
  • 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. 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).
Personendaten
NAME Karban, Robert
KURZBESCHREIBUNG österreichischer Informatiker und Systemingenieur
GEBURTSDATUM 1967
GEBURTSORT Wien
Abgerufen von „https://oesterreichwiki.org/w/index.php?title=Robert_Karban&oldid=485166“