Robert Karban: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
K
WP:WPSK (ISSN fehlerhaft) behoben
K (ISBN-Fehler behoben. Formatierung (WP:ZR#Allgemeine Regeln), da ist noch mehr zu tun) |
K (WP:WPSK (ISSN fehlerhaft) behoben) |
||
| Zeile 13: | Zeile 13: | ||
* Mitarbeit als Co-Autor an INCOSE's Systems Engineering Vision 2035. | * Mitarbeit als Co-Autor an INCOSE's Systems Engineering Vision 2035. | ||
* Mitarbeit als Co-Vorsitzender und NASA-Vertreter am [[Systems Modeling Language|SysML]] OMG-Standard und Beteiligung an der Standardisierung von PSSM. | * Mitarbeit als Co-Vorsitzender und NASA-Vertreter am [[Systems Modeling Language|SysML]] OMG-Standard und Beteiligung an der Standardisierung von PSSM. | ||
* Beitrag zur Entwicklung des | * Beitrag zur Entwicklung des [[Object Management Group|OMG]] OCSMP-Zertifizierungsprogramms. | ||
== Auszeichnungen und Anerkennungen == | == Auszeichnungen und Anerkennungen == | ||
| Zeile 25: | Zeile 25: | ||
Robert Karban hat zahlreiche Publikationen mitverfasst, darunter: | Robert Karban hat zahlreiche Publikationen mitverfasst, darunter: | ||
* {{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}} | * {{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}} | ||
* "Towards a Model-Based Product Development Process from Early Concepts to Engineering Implementation" | * [https://ieeexplore.ieee.org/document/10115550 "Towards a Model-Based Product Development Process from Early Concepts to Engineering Implementation"] IEEE Aerospace Conference, 2023, {{ISSN|1095-323X}} | ||
* [https://ieeexplore.ieee.org/document/9843241 "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), [ | * "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), [ | * "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), [ | * "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, [ | * "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) | * "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), [ | * "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), [ | * "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), [ | * "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), [ | * "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 |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}} | * {{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}} | ||
* "Model based systems engineering for astronomical projects", (SPIE, 2014), [ | * "Model based systems engineering for astronomical projects", (SPIE, 2014), [[DOI:10.1117/12.2055540]] | ||
* "Abstraction for Executable and Checkable Fault Management Models", (Procedia, 2014), [ | * "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), [ | * "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), [ | * "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), [ | * "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 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) | * "Towards Model Re-Usability for the Development of Telescope Control Systems", (ICALEPCS, 2009) | ||
* "Exploring Model Based Engineering for Large Telescopes", (SPIE 2008), [ | * "Exploring Model Based Engineering for Large Telescopes", (SPIE 2008), [[DOI:10.1117/12.788739]] | ||
== Ausbildung == | == Ausbildung == | ||