Autor der Publikation

Ein Modellierungsansatz für eine Systemarchitekturbeschreibung von Automotive-Systemen mit MARTE und SysML.

, , , und . Automatisierungstechnik, 67 (6): 490-501 (2019)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Towards a Rigorous Modeling Formalism for Systems of Systems., , , und . ISORC Workshops, Seite 204-211. IEEE Computer Society, (2012)An Approach for Self-Reconfiguring and Fault-Tolerant Distributed Real-Time Systems., , und . ISORC Workshops, Seite 196-203. IEEE Computer Society, (2012)Hierarchical real-time scheduling in the multi-core era - An overview., , , und . ISORC, Seite 1-10. IEEE Computer Society, (2013)Exploiting Segregation in Bus-Based MPSoCs to Improve Scalability of Model-Checking-Based Performance Analysis for SDFAs., , , und . IESS, Volume 403 von IFIP Advances in Information and Communication Technology, Seite 205-217. Springer, (2013)Approach for a Formal Verification of a Bit-serial Pipelined Architecture., , und . IESS, Volume 231 von IFIP Advances in Information and Communication Technology, Seite 47-56. Springer, (2007)The Specification Language SpecC within the PARADISE Design Environment., , , , , und . DIPES, Volume 189 von IFIP Conference Proceedings, Seite 111-120. Kluwer, (2000)Communication-Aware Component Allocation Algorithm for a Hybrid Architecture., , und . DIPES, Volume 225 von IFIP, Seite 175-184. Springer, (2006)Model and Methodology for the Synthesis of Heterogeneous and Partially Reconfigurable Systems., , und . IPDPS, Seite 1-8. IEEE, (2007)A Model-Based Design Methodology with Contracts to Enhance the Development Process of Safety-Critical Systems., , , , , und . SEUS, Volume 6399 von Lecture Notes in Computer Science, Seite 59-70. Springer, (2010)SPES Methodology and MARTE Constraints in Architectural Design., , , , und . ISCC, Seite 377-383. IEEE, (2018)