Robert Karban: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
K
Vorlagen-fix
K (QS erledigt, in die LD überführt) |
K (Vorlagen-fix) |
||
Zeile 2: | Zeile 2: | ||
{{Löschantragstext|tag=14|monat=September|jahr=2023|titel=Robert Karban|text=Keine Relevanz gemäß [[Wikipedia:Relevanzkriterien#Wissenschaftler]] dargestellt. Keine Professur, keine Darstellung internationaler Anerkennung. Die ausschließlich US-Auszeichnungen sind keine anerkannten [[Liste von Wissenschaftspreisen|Wissenschaftspreise]]. In der [https://www.google.com/search?q=%22Robert+Karban%22&tbm=nws Öffentlichkeit] praktisch unbekannt. --[[User:Mirji|ɱ]] 20:57, 14. Sep. 2023 (CEST)}} | {{Löschantragstext|tag=14|monat=September|jahr=2023|titel=Robert Karban|text=Keine Relevanz gemäß [[Wikipedia:Relevanzkriterien#Wissenschaftler]] dargestellt. Keine Professur, keine Darstellung internationaler Anerkennung. Die ausschließlich US-Auszeichnungen sind keine anerkannten [[Liste von Wissenschaftspreisen|Wissenschaftspreise]]. In der [https://www.google.com/search?q=%22Robert+Karban%22&tbm=nws Öffentlichkeit] praktisch unbekannt. --[[User:Mirji|ɱ]] 20:57, 14. Sep. 2023 (CEST)}} | ||
</noinclude> | </noinclude> | ||
{{Belege}} | {{Belege fehlen}} | ||
'''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 Principal Systems Engineer am [[Jet Propulsion Laboratory]]/[[California Institute of Technology]].<ref name="Nachweis JPL">{{Internetquelle |url=https://www.spiedigitallibrary.org/profile/Robert.Karban-27907 |titel=Robert Karban |werk=SPIE Digital Library |sprache=en |abruf=2023-09-13}}</ref> | '''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 Principal Systems Engineer am [[Jet Propulsion Laboratory]]/[[California Institute of Technology]].<ref name="Nachweis JPL">{{Internetquelle |url=https://www.spiedigitallibrary.org/profile/Robert.Karban-27907 |titel=Robert Karban |werk=SPIE Digital Library |sprache=en |abruf=2023-09-13}}</ref> | ||
== Leben und Wirken == | == Leben und Wirken == | ||
Robert Karban erwarb seinen Master-Abschluss in Informatik an der [[Technische Universität Wien|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äische Südsternwarte|Europäischen Südsternwarte]] (bis 2014)<ref name="Nachweis ESO">{{Literatur |Titel=Personnel Movements |Sammelwerk=[[The Messenger (Fachzeitschrift)]] |Nummer=156 |Verlag=[[Europäische Südsternwarte|Europäische Südsternwarte (ESO)]] |Datum=2014-06 | Robert Karban erwarb seinen Master-Abschluss in Informatik an der [[Technische Universität Wien|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äische Südsternwarte|Europäischen Südsternwarte]] (bis 2014)<ref name="Nachweis ESO">{{Literatur |Titel=Personnel Movements |Sammelwerk=[[The Messenger (Fachzeitschrift)]] |Nummer=156 |Verlag=[[Europäische Südsternwarte|Europäische Südsternwarte (ESO)]] |Datum=2014-06 |ISSN=0722-6691 |Seiten=62 |Fundstelle=Abschnitt "Departures", Unterabschnitt "Europe" |Sprache=en |Online=https://www.eso.org/sci/publications/messenger/archive/no.156-jun14/messenger-no156.pdf |Format=PDF |KBytes=28194 |Abruf=2023-09-13}} Abrufbar unter {{Internetquelle |url=https://www.eso.org/sci/publications/messenger/ |titel=The Messenger |sprache=en |abruf=2023-09-13 |abruf-verborgen=1 <!-- Kein Abrufdatum, da dieses bereits bei der Literatur selbst gegeben ist -->}}</ref> und dem [[Jet Propulsion Laboratory]] (JPL)<ref name="Nachweis JPL" />. Dabei war er u.a. an der Entwicklung des [[Very Large Telescope]]<ref name="Nachweis VLT">{{Literatur |Titel=The First Steps of UT1 |Sammelwerk=[[The Messenger (Fachzeitschrift)]] |Nummer=93 |Verlag=[[Europäische Südsternwarte|Europäische Südsternwarte (ESO)]] |Datum=1998-09 |ISSN=0722-6691 |Seiten=4–8 |Fundstelle=hier S. 2, linke Spalte Mitte |Sprache=en |Online=https://www.eso.org/sci/publications/messenger/archive/no.93-sep98/messenger-no93.pdf |Format=PDF |KBytes=1528 |Abruf=2023-09-13}} Abrufbar unter {{Internetquelle |url=https://www.eso.org/sci/publications/messenger/ |titel=The Messenger |sprache=en |abruf=2023-09-13 |abruf-verborgen=1 <!-- Kein Abrufdatum, da dieses bereits bei der Literatur selbst gegeben ist -->}}</ref> sowie des [[Extremely Large Telescope|Extremely Large Telescope (ELT)]]<ref name="Nachweis ELT">{{Literatur |Titel=Recent Progress Towards the European Extremely Large Telescope (E-ELT) |Sammelwerk=[[The Messenger (Fachzeitschrift)]] |Nummer=148 |Verlag=[[Europäische Südsternwarte|Europäische Südsternwarte (ESO)]] |Datum=2012-06 |ISSN=0722-6691 |Seiten=2–8 |Fundstelle=hier S. 2, linke Spalte oben |Sprache=en |Online=https://www.eso.org/sci/publications/messenger/archive/no.148-jun12/messenger-no148.pdf |Format=PDF |KBytes=13376 |Abruf=2023-09-13}} Abrufbar unter {{Internetquelle |url=https://www.eso.org/sci/publications/messenger/ |titel=The Messenger |sprache=en |abruf=2023-09-13 |abruf-verborgen=1 <!-- Kein Abrufdatum, da dieses bereits bei der Literatur selbst gegeben ist -->}}</ref> und des [[Thirty Meter Telescope|Thirty Meter Telescopes]] <ref>Creating system engineering products with executable models in a model-based engineering environment https://doi.org/10.1117/12.2232785</ref> beteiligt. | ||
== Wissenschaftliche Beiträge == | == Wissenschaftliche Beiträge == | ||
Zeile 12: | Zeile 12: | ||
* Entwicklung der ''Dragon Architecture'' für die formale explizite Qualifikation in der Systementwicklung<ref>{{Internetquelle |url=https://openmbee.atlassian.net/wiki/spaces/_/pages/704708609?atlOrigin=eyJpIjoiNzc1YTkxNzM3ZDEwNDkzNGFjNDRlNzJkMTY0NDY0ZmQiLCJwIjoiYyJ9 |titel=Dragon Architecture |werk=OpenMBEE |sprache=en |abruf=2023-09-13}}</ref> | * Entwicklung der ''Dragon Architecture'' für die formale explizite Qualifikation in der Systementwicklung<ref>{{Internetquelle |url=https://openmbee.atlassian.net/wiki/spaces/_/pages/704708609?atlOrigin=eyJpIjoiNzc1YTkxNzM3ZDEwNDkzNGFjNDRlNzJkMTY0NDY0ZmQiLCJwIjoiYyJ9 |titel=Dragon Architecture |werk=OpenMBEE |sprache=en |abruf=2023-09-13}}</ref> | ||
* Mitarbeit als Co-Autor an INCOSE's Systems Engineering Vision 2035 <ref>{{Internetquelle |url=https://violin-strawberry-9kms.squarespace.com/contents |titel=The Systems Engineering Vision 2035 |werk=INCOSE |sprache=en |abruf=2023-09-13}}</ref> | * Mitarbeit als Co-Autor an INCOSE's Systems Engineering Vision 2035 <ref>{{Internetquelle |url=https://violin-strawberry-9kms.squarespace.com/contents |titel=The Systems Engineering Vision 2035 |werk=INCOSE |sprache=en |abruf=2023-09-13}}</ref> | ||
* Mitarbeit als Co-Vorsitzender und NASA-Vertreter am [[Systems Modeling Language|SysML]] OMG-Standard<ref>{{Literatur | * Mitarbeit als Co-Vorsitzender und NASA-Vertreter am [[Systems Modeling Language|SysML]] OMG-Standard<ref>{{Literatur |Titel=OMG Systems Modeling Language |Datum= |Seiten=6 |Online=https://www.omg.org/spec/SysML/1.6/PDF}}</ref> | ||
* Beitrag zur Entwicklung des [[Object Management Group|OMG]] OCSMP-Zertifizierungsprogramms <ref>https://www.omg.org/ocsmp/</ref> | * Beitrag zur Entwicklung des [[Object Management Group|OMG]] OCSMP-Zertifizierungsprogramms <ref>https://www.omg.org/ocsmp/</ref> | ||
* Beitrag zum ''Guide to the Systems Engineering Body of Knowledge (SEBoK)'' <ref>{{Internetquelle |url=https://sebokwiki.org/wiki/Applying_a_Model-Based_Approach_to_Support_Requirements_Analysis_on_the_Thirty-Meter_Telescope|titel=Applying a Model-Based Approach to Support Requirements Analysis on the Thirty-Meter Telescope |werk=SEBok |sprache=en |abruf=2023-09-13}}</ref> | * Beitrag zum ''Guide to the Systems Engineering Body of Knowledge (SEBoK)'' <ref>{{Internetquelle |url=https://sebokwiki.org/wiki/Applying_a_Model-Based_Approach_to_Support_Requirements_Analysis_on_the_Thirty-Meter_Telescope |titel=Applying a Model-Based Approach to Support Requirements Analysis on the Thirty-Meter Telescope |werk=SEBok |sprache=en |abruf=2023-09-13}}</ref> | ||
* Mitarbeit als Leiter des Telescope ''Challenge Teams'' im Rahmen der INCOSE MBSE Initiative <ref>https://www.omgwiki.org/MBSE/doku.php?id=start</ref><ref>https://www.omgwiki.org/MBSE/doku.php?id=mbse:telescope</ref> | * Mitarbeit als Leiter des Telescope ''Challenge Teams'' im Rahmen der INCOSE MBSE Initiative <ref>https://www.omgwiki.org/MBSE/doku.php?id=start</ref><ref>https://www.omgwiki.org/MBSE/doku.php?id=mbse:telescope</ref> | ||
Zeile 25: | Zeile 25: | ||
== Publikationen (Auswahl) == | == Publikationen (Auswahl) == | ||
* mit M. Zamparelli, B. Bauvir, B. Koehler, L. Noethe'','' A. Balestra: ''Exploring Model Based Engineering for Large Telescopes.'' SPIE 2008, | * 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, | * 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, | * 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: {{Literatur |Autor=Robert Karban |Titel=Experiences in Applying Model Driven Engineering to the Telescope and Instrument Control System Domain | * mit Luigi Andolfato, Marcus Schilling, Heiko Sommer, Michele Zamparelli, Gianluca Chiozzi: {{Literatur |Autor=Robert Karban |Hrsg=Juergen Dingel, Wolfram Schulte, Isidro Ramos, Silvia Abrahão, Emilio Insfran |Titel=Experiences in Applying Model Driven Engineering to the Telescope and Instrument Control System Domain |Sammelwerk=Model-Driven Engineering Languages and Systems |Reihe=Lecture Notes in Computer Science (LNCS) |BandReihe=8767 |Verlag=Springer |Datum=2014 |ISBN=978-3-319-11653-2 |Seiten=403-419 |DOI=10.1007/978-3-319-11653-2_25 |Typ=wl}} | ||
* 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, | * 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, | * 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, | * 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, | * 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: {{Literatur |Autor=Robert Karban |Titel=Towards a Reference Architecture for Model-Based Engineering Environments | * mit Sebastian J. Herzig, Michel D. Ingham: {{Literatur |Autor=Robert Karban |Hrsg=American Institute of Aeronautics and Astronautics |Titel=Towards a Reference Architecture for Model-Based Engineering Environments |Sammelwerk=AIAA SPACE, 2016 |Datum=2016 |ISBN=978-1-62410-427-5 |Sprache=en |DOI=10.2514/6.2016-5468 |Typ=wl}} | ||
* mit Frank G. Dekens, Sebastian Herzig, Maged Elaasar, Nerijus Jankevičius: {{Literatur |Autor=Robert Karban |Titel=Creating system engineering products with executable models in a model-based engineering environment |Sammelwerk=Proceedings Volume 9911, Modeling, Systems Engineering, and Project Management for Astronomy VII |Verlag=SPIE Digital Library |Datum=2016 |DOI=10.1117/12.2232785 |Typ=wl}} | * mit Frank G. Dekens, Sebastian Herzig, Maged Elaasar, Nerijus Jankevičius: {{Literatur |Autor=Robert Karban |Titel=Creating system engineering products with executable models in a model-based engineering environment |Sammelwerk=Proceedings Volume 9911, Modeling, Systems Engineering, and Project Management for Astronomy VII |Verlag=SPIE Digital Library |Datum=2016 |DOI=10.1117/12.2232785 |Typ=wl}} | ||
* mit Nerijus Jankevičius, Maged Elaasar: {{Literatur |Autor=Robert Karban |Titel=ESEM: Automated System Analysis using Executable SysML Modeling Patterns |Sammelwerk=INCOSE International Symposium |Band=16 |Nummer=1 |Datum=2016 |Sprache=en |DOI=10.1002/j.2334-5837.2016.00142.x |Typ=wl}} | * mit Nerijus Jankevičius, Maged Elaasar: {{Literatur |Autor=Robert Karban |Titel=ESEM: Automated System Analysis using Executable SysML Modeling Patterns |Sammelwerk=INCOSE International Symposium |Band=16 |Nummer=1 |Datum=2016 |Sprache=en |DOI=10.1002/j.2334-5837.2016.00142.x |Typ=wl}} | ||
Zeile 40: | Zeile 40: | ||
* 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}} | * 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}} | ||
* 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}} | * 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}} | ||
* 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 | * 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 |Sammelwerk=IEEE Explore |Datum=2022 |ISBN=978-1-66549-032-0 |ISSN=1095-323X |DOI=10.1109/AERO55745.2023.10115550 |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 | * 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 |Sammelwerk=2022 IEEE Aerospace Conference (AERO) |Ort=Big Sky, MT |Datum=2022 |ISSN=1095-323X |DOI=10.1109/AERO53065.2022.9843241 |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}} | * 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}} | ||
== Weblinks== | == Weblinks == | ||
* {{Researchgate|Robert-Karban|NUMMER=2115358356}} | * {{Researchgate|Robert-Karban|NUMMER=2115358356}} | ||
Zeile 53: | Zeile 53: | ||
<references /> | <references /> | ||
{{Normdaten|TYP=p|GNDfehlt=ja|GNDCheck=2023-09-12}} | {{Normdaten|TYP=p|GND=|GNDfehlt=ja|GNDCheck=2023-09-12}} | ||
{{SORTIERUNG:Karban, Robert}} | {{SORTIERUNG:Karban, Robert}} |