TY - CHAP A1 - Haberl, Wolfgang A1 - Herrmannsdoerfer, Markus A1 - Kugele, Stefan A1 - Tautschnig, Michael A1 - Wechs, Martin ED - Margaria, Tiziana ED - Steffen, Bernhard T1 - Seamless Model-Driven Development Put into Practice T2 - Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010: Proceedings, Part I UR - https://doi.org/10.1007/978-3-642-16558-0_4 KW - Modeling Language KW - Embed System KW - Hardware Architecture KW - Electronic Control Unit KW - Object Management Group Y1 - 2010 UR - https://doi.org/10.1007/978-3-642-16558-0_4 SN - 978-3-642-16558-0 SN - 978-3-642-16557-3 SP - 18 EP - 32 PB - Springer CY - Berlin ER - TY - CHAP A1 - Haberl, Wolfgang A1 - Kugele, Stefan A1 - Baumgarten, Uwe T1 - Reliable operating modes for distributed embedded systems T2 - Proceedings of the 2009 31st International Conference on Software Engineering and ICSE Workshops UR - https://doi.org/10.1109/MOMPES.2009.5069133 KW - Embedded system KW - Mathematical model KW - MATLAB KW - Distributed computing KW - Real time systems KW - Humans KW - Airplanes KW - Processor scheduling KW - Ignition KW - Hardware Y1 - 2009 UR - https://doi.org/10.1109/MOMPES.2009.5069133 SN - 978-1-4244-3721-4 SP - 11 EP - 21 PB - IEEE CY - Piscataway ER - TY - CHAP A1 - Kugele, Stefan A1 - Haberl, Wolfgang A1 - Tautschnig, Michael A1 - Wechs, Martin ED - Margaria, Tiziana ED - Steffen, Bernhard T1 - Optimizing Automatic Deployment Using Non-functional Requirement Annotations T2 - Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008: Proceedings UR - https://doi.org/10.1007/978-3-540-88479-8_28 KW - Embed System KW - Task Allocation KW - Electronic Control Unit KW - Target Platform KW - Platform Model Y1 - 2008 UR - https://doi.org/10.1007/978-3-540-88479-8_28 SN - 978-3-540-88479-8 SN - 978-3-540-88478-1 SP - 400 EP - 414 PB - Springer CY - Berlin ER - TY - CHAP A1 - Kugele, Stefan A1 - Haberl, Wolfgang ED - Arabnia, Hamid R. ED - Reza, Hassan T1 - Mapping Data-Flow Dependencies onto Distributed Embedded Systems T2 - Proceedings of the 2008 International Conference on Software Engineering Research & Practice, SERP 2008, July 14-17, 2008, Las Vegas Nevada, USA, 2 Volumes KW - model-based development KW - data-flow graphs KW - embedded systems KW - distributed systems KW - code generation Y1 - 2008 SN - 1-60132-088-4 SP - 272 EP - 278 PB - CSREA Press ER - TY - CHAP A1 - Wang, Zhonglei A1 - Haberl, Wolfgang A1 - Kugele, Stefan A1 - Tautschnig, Michael T1 - Automatic generation of SystemC models from component-based designs for early design validation and performance analysis T2 - WOSP'08: Proceedings of the Seventh International Workshop on Software and Performance UR - https://doi.org/10.1145/1383559.1383577 KW - COLA KW - Code Generation KW - Simulation KW - SystemC Y1 - 2008 UR - https://doi.org/10.1145/1383559.1383577 SN - 978-1-59593-873-2 SP - 139 EP - 143 PB - ACM CY - New York ER - TY - CHAP A1 - Haberl, Wolfgang A1 - Kugele, Stefan A1 - Baumgarten, Uwe ED - Arabnia, Hamid R. ED - Solo, Ashu M. G. T1 - Model-Based Generation of Fault-Tolerant Embedded Systems T2 - Proceedings of the 2010 International Conference on Embedded Systems & Applications: ESA 2010 KW - fault tolerance KW - code generation KW - real time systems KW - road vehicles Y1 - 2010 SN - 1-601-32141-4 SN - 978-1-601-32141-1 SP - 136 EP - 142 PB - CSREA Press ER -